1015 search results - page 23 / 203 » Syntactic Control of Concurrency |
SOSP
2007
ACM
14 years 5 months ago
2007
ACM
Energy management is a critical concern in wireless sensornets. Despite its importance, sensor network operating systems today provide minimal energy management support, requiring...
CEC
2010
IEEE
13 years 9 months ago
2010
IEEE
Evolving a robot's sensor morphology along with its control program has the potential to significantly improve its effectiveness in completing the assigned task, plus accommod...
TKDE
2002
13 years 8 months ago
2002
ESOP
2007
Springer
14 years 2 months ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...