4385 search results - page 57 / 877 » Abstraction for Concurrent Objects |
195
click to vote
ICDE
2006
IEEE
16 years 7 days ago
2006
IEEE
for Dynamic Abstract Regions Joxan Jaffar Roland H.C. Yap School of Computing National University of Singapore 3 Science Drive 2, 117543, Singapore {joxan, ryap}@comp.nus.edu.sg Ke...
103
Voted
SIGMOD
1995
ACM
15 years 2 months ago
1995
ACM
This paper describes an efficient optimistic concurrency control scheme for use in distributed database systems in which objects are cached and manipulated at client machines whil...
CVPR
2005
IEEE
16 years 27 days ago
2005
IEEE
A representative subspace is significant for image analysis, while the corresponding techniques often suffer from the curse of dimensionality dilemma. In this paper, we propose a ...
FOSSACS
2004
Springer
15 years 4 months ago
2004
Springer
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
97
Voted
BIRTHDAY
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...