9832 search results - page 1679 / 1967 » An Object Model for Multiprogramming |
335
click to vote
DNA
2011
Springer
14 years 6 months ago
2011
Springer
Several molecular systems form large-scale objects. One would like to understand their assembly and how this assembly is regulated. As a first step, we investigate the phase trans...
217
click to vote
EMSOFT
2011
Springer
14 years 6 months ago
2011
Springer
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
191
click to vote
TEI
2012
ACM
14 years 2 months ago
2012
ACM
Graspable tangibles are now being explored on the current generation of capacitive touch surfaces, such as the iPad and the Android tablet. Because the size and form factor is rel...
227
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
261
click to vote
PAMI
2012
13 years 9 months ago
2012
—Social media networks contain both content and context-specific information. Most existing methods work with either of the two for the purpose of multimedia mining and retrieva...