1491 search results - page 161 / 299 » Resource-Passing Concurrent Programming |
211
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
A concurrent data-structure implementation is considered nonblocking if it meets one of three following liveness criteria: waitfreedom, lock-freedom, or obstruction-freedom. Devel...
130
click to vote
COORDINATION
2009
Springer
16 years 3 months ago
2009
Springer
A future is a well-known programming construct used to introduce concurrency to sequential programs. Computations annotated as futures are executed asynchronously and run concurren...
105
click to vote
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
nt programs require high-level abstractions in order to manage complexity and enable compositional reasoning. In this paper, we introduce a novel concurrency abstraction, dubbed t...
111
click to vote
ASPLOS
2000
ACM
15 years 7 months ago
2000
ACM
Processors execute the full dynamic instruction stream to arrive at the final output of a program, yet there exist shorter instruction streams that produce the same overall effec...
113
click to vote
LCTRTS
2004
Springer
15 years 8 months ago
2004
Springer
Java Card technology simplifies the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...