1000 search results - page 190 / 200 » order 2011 |
PLDI
2011
ACM
14 years 10 days ago
2011
ACM
The most intuitive memory consistency model for shared-memory multi-threaded programming is sequential consistency (SC). However, current concurrent programming languages support ...
117
click to vote
PLDI
2011
ACM
14 years 10 days ago
2011
ACM
MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typ...
108
click to vote
PLDI
2011
ACM
14 years 10 days ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
114
click to vote
PODS
2011
ACM
14 years 10 days ago
2011
ACM
In deletion propagation, tuples from the database are deleted in order to reflect the deletion of a tuple from the view. Such an operation may result in the (often necessary) del...
141
click to vote
PPL
2011
14 years 10 days ago
2011
Petascale parallel computers with more than a million processing cores are expected to be available in a couple of years. Although MPI is the dominant programming interface today ...