8109 search results - page 99 / 1622 » A Model of Component-Based Programming |
221
Voted
POPL
2005
ACM
16 years 2 months ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
141
Voted
PPOPP
2010
ACM
15 years 12 months ago
2010
ACM
This poster is a case study on the application of a novel programming model, called Concurrent Collections (CnC), to the implementation of an asynchronous-parallel algorithm for c...
120
click to vote
PDCAT
2005
Springer
15 years 8 months ago
2005
Springer
Grid and service computing technologies have been explored by enterprises to promote integration, sharing, and collaboration. However, quick response to business environment chang...
122
click to vote
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
This paper describes how two runtime analysis algorithms, an existing data race detection algorithm and a new deadlock detection algorithm, have been implemented to analyze Java pr...
118
Voted
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
In this note we consider the following decision problems. Let be a fixed first-order signature. (i) Given a first-order theory or ground theory T over of Turing degree , a program...