497 search results - page 88 / 100 » Essentials of the Java Programming Language, Part 1 |
PPOPP
1990
ACM
14 years 7 days ago
1990
ACM
Toprogrammassivelyconcurrent MIMDmachines, programmersneed tools for managingcomplexity. One important tool that has been used in the sequential programmingworld is hierarchies of...
FLOPS
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
PPOPP
2010
ACM
14 years 5 months ago
2010
ACM
To achieve high-performance on multicore systems, sharedmemory parallel languages must efficiently implement atomic operations. The commonly used and studied paradigms for atomici...
ICAIL
2005
ACM
14 years 1 months ago
2005
ACM
d on Dung’s [4] abstract argumentation system • arguments: trees of chained defeasible inferences • aim: determine the status of a query given a belief base • incorporation...
CC
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents a new method for computing the integer hull of a parameterized rational polyhedron by introducing the concept of periodic polyhedron. Besides concerning general...