112 search results - page 23 / 23 » A Concurrent Semantics of Static Exceptions in a Parallel Pr... |
MICRO
2010
IEEE
13 years 3 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...
AI
2011
Springer
13 years 20 days ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...