10 search results - page 1 / 2 » Runtime validation of memory ordering using constraint graph... |
HPCA
2008
IEEE
14 years 5 months ago
2008
IEEE
IPPS
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
ASWEC
2006
IEEE
13 years 10 months ago
2006
IEEE
Web services are designed for composition and use by third parties through dynamic discovery. As such, the issue of interoperability between services is of great importance to ens...
CARDIS
2006
Springer
13 years 8 months ago
2006
Springer
Ahead-of-Time and Just-in-Time compilation are common ways to improve runtime performances of restrained systems like Java Card by turning critical Java methods into native code. H...
RV
2010
Springer
13 years 3 months ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...