489 search results - page 65 / 98 » On the Execution of ODP Computational Specifications |
CONCUR
2010
Springer
13 years 10 months ago
2010
Springer
Optimistic concurrency algorithms provide good performance for parallel programs but they are extremely hard to reason about. Program logics such as concurrent separation logic and...
PERCOM
2010
ACM
13 years 7 months ago
2010
ACM
In this paper, we explore how to effectively create and use "instant mesh networks", i.e., wireless mesh networks that are dynamically deployed in temporary circumstances...
ECCV
2010
Springer
13 years 6 months ago
2010
Springer
We investigate the spatio-temporal alignment of videos or features/signals extracted from them. Specifically, we formally define an alignment manifold and formulate the alignment p...
IPPS
2010
IEEE
13 years 6 months ago
2010
IEEE
This paper presents and validates methods to extend reuse distance analysis of application locality characteristics to shared-memory multicore platforms by accounting for invalidat...
PERCOM
2009
ACM
14 years 9 months ago
2009
ACM
Effective security mechanisms are essential to the widespread deployment of pervasive systems. Much of the research focus on security in pervasive computing has revolved around dis...