2227 search results - page 96 / 446 » Reversibility and Models for Concurrency |
194
click to vote
LMO
2000
15 years 7 months ago
2000
The development of flexible and reusable concurrent object-oriented programming ions has suffered from the inherent problem that reusability and extensibility is limited due to pos...
151
click to vote
IROS
2007
IEEE
16 years 8 days ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
141
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
The theme of this paper is profunctors, and their centrality and ubiquity in understanding concurrent computation. Profunctors (a.k.a. distributors, or bimodules) are a generalisa...
149
click to vote
IICS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...
166
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...