2595 search results - page 235 / 519 » Addressing Computational Viewpoint Design |
131
Voted
IEEESCC
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents Abacus, a service-oriented programming language designed for the development of grid applications. Abacus considers that all the grid resources constitute a un...
GROUP
2005
ACM
15 years 8 months ago
2005
ACM
Although pair programming is becoming more prevalent in software development, and a number of reports have been written about it [4] [6], few have addressed the manner in which pa...
113
Voted
PPOPP
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we present a new form of revocable lock that streamlines the construction of higher level concurrency abstractions such as atomic multi-word heap updates. The key id...
130
Voted
PASTE
2004
ACM
15 years 8 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
108
Voted
RTA
2004
Springer
15 years 8 months ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...