2466 search results - page 109 / 494 » Concurrent Clustered Programming |
CAV
2006
Springer
14 years 18 days ago
2006
Springer
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
RTAS
2010
IEEE
13 years 7 months ago
2010
IEEE
This paper describes the design and implementation of a pervasive computing framework, named Physicalnet. Essentially, Physicalnet is a generic paradigm for managing and programmi...
ACSE
2000
ACM
14 years 1 months ago
2000
ACM
Object-oriented programming and concurrency are increasingly popular in computing education. Both are difficult topics in themselves, and the combination of both introduces subtle...
LICS
1994
IEEE
14 years 29 days ago
1994
IEEE
abstract semantics for concurrent graph reduction ALAN JEFFREY This paper presents a fully abstract semantics for a variant of the untyped -calculus with recursive declarations. We...
IWOMP
2010
Springer
14 years 26 days ago
2010
Springer
