655 search results - page 75 / 131 » Coinduction in Concurrent Timed Systems |
127
click to vote
ICFP
2012
ACM
13 years 2 months ago
2012
ACM
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...
107
click to vote
ISCA
2007
IEEE
15 years 6 months ago
2007
IEEE
Hardware transactional memory has great potential to simplify the creation of correct and efficient multithreaded programs, allowing programmers to exploit more effectively the s...
105
click to vote
COORDINATION
2009
Springer
16 years 13 days ago
2009
Springer
This paper presents a transactional framework for low-latency, high-performance, concurrent event processing in Java. At the heart of our framework lies Reflexes, a restricted prog...
156
click to vote
VLDB
2007
ACM
16 years 3 days ago
2007
ACM
This paper analyzes the performance of concurrent (index) scan operations in both record (NSM/PAX) and column (DSM) disk storage models and shows that existing scheduling policies...
VR
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a system that enables, for the first time, effective transatlantic cooperative haptic manipulation of objects whose motion is computed using a physically-based model. ...