| 
|
QuoteRef: emmiM1_2007
Topic:
updating information with locking
Reference
Emmi, M., Fischer, J.S., Jhala, R., Majamdar, R., "Lock allocation", Conference Record of POPL 2007: The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Nice, France, January 2007, pp. 291-296. Google
abstract ;;Quote: automatic lock allocation by instrumentation and 0-1 integer linear programming; use with Autolocker
Topic: updating information with locking (20 items)