1499 search results - page 125 / 300 » Chopping Concurrent Programs |
180
click to vote
PPOPP
2012
ACM
14 years 1 months ago
2012
ACM
We introduce the first binary search tree algorithm designed for speculative executions. Prior to this work, tree structures were mainly designed for their pessimistic (non-specu...
200
click to vote
PPOPP
2005
ACM
15 years 11 months ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
141
click to vote
CSFW
2008
IEEE
16 years 21 days ago
2008
IEEE
Zdancewic and Myers introduced observational determinism as a scheduler independent notion of security for concurrent programs. This paper proposes a type system for verifying obs...
150
click to vote
ATVA
2005
Springer
15 years 11 months ago
2005
Springer
Esterel is an imperative synchronous programming language for the design of reactive systems. Esterel extends Esterel with a noninstantaneous jump instruction (compatible with conc...
173
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
This paper describes Kilim, a framework that employs a combination of techniques to help create robust, massively concurrent systems in mainstream languages such as Java: (i) ultra...