1015 search results - page 191 / 203 » Syntactic Control of Concurrency |
MICRO
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--Many shared-memory parallel systems use lockbased synchronization mechanisms to provide mutual exclusion or reader-writer access to memory locations. Software locks are i...
MICCAI
2006
Springer
14 years 8 months ago
2006
Springer
Abstract. The quantitative assessment of neck lymph nodes in the context of malign tumors requires an ecient segmentation technique for lymph nodes in tomographic 3D datasets. We p...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
Because of the growing complexity of wireless sensor network applications (WSNs), traditional software development tools are being developed that are specifically designed for the...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
ICFP
2009
ACM
14 years 8 months ago
2009
ACM
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...