2466 search results - page 109 / 494 » Concurrent Clustered Programming |
CAV
2006
Springer
15 years 6 months 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...
142
click to vote
RTAS
2010
IEEE
15 years 19 days 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...
139
click to vote
ACSE
2000
ACM
15 years 6 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...
121
click to vote
LICS
1994
IEEE
15 years 6 months 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
15 years 6 months ago
2010
Springer
