184 search results - page 36 / 37 » Monitoring Atomicity in Concurrent Programs |
DFT
2006
IEEE
13 years 11 months ago
2006
IEEE
Control flow checking (CFC) is a well known concurrent checking technique for ensuring that a program’s instruction execution sequence follows permissible paths. Almost all CFC...
ISPASS
2006
IEEE
13 years 11 months ago
2006
IEEE
Fast, accurate, and effective performance analysis is essential for the design of modern processor architectures and improving application performance. Recent trends toward highly...
CLOUDCOM
2010
Springer
13 years 3 months ago
2010
Springer
Abstract--The cloud computing model aims to make largescale data-intensive computing affordable even for users with limited financial resources, that cannot invest into expensive i...
CONCUR
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
SIGSOFT
2009
ACM
13 years 10 months ago
2009
ACM
Runtime adaptation is recognized as a viable way for a serviceoriented system to meet QoS requirements in its volatile operating environment. In this paper we propose a methodolog...