4385 search results - page 347 / 877 » Abstraction for Concurrent Objects |
183
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— In multi-robot systems, task allocation and coordination are two fundamental problems that share high synergy. Although multi-robot architectures typically separate them into d...
191
click to vote
NCA
2007
IEEE
16 years 1 months ago
2007
IEEE
The advancement of optical networking technologies has enabled e-science applications that often require transport of large volumes of scientific data. In support of such data-in...
197
click to vote
SECON
2007
IEEE
16 years 1 months ago
2007
IEEE
—Recent progress in Wireless Sensor Networks technology has enabled many complicated real-world applications. Some of the applications demand a non-trivial amount of computation;...
197
click to vote
SOFSEM
2007
Springer
16 years 26 days ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
168
click to vote
PLDI
2006
ACM
16 years 21 days ago
2006
ACM
Atomic blocks allow programmers to delimit sections of code as ‘atomic’, leaving the language’s implementation to enforce atomicity. Existing work has shown how to implement...