3713 search results - page 278 / 743 » Constructing a Calculus of Programs |
129
click to vote
AUIC
2005
IEEE
15 years 9 months ago
2005
IEEE
In both commercial and academic environments, software development frameworks are an important tool in the construction of industrial strength software solutions. Despite the role...
125
click to vote
PPOPP
2005
ACM
15 years 9 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...
126
Voted
EUROPAR
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes a monitoring environment that enables the analysis of memory access behavior of applications in a selective way with a potentially very high degree of detail. ...
120
click to vote
WETICE
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper, we explore some of the new opportunities for distributed collaborative applications that emerge from the use of XML as a data specification language. We present two...
161
click to vote
DAC
2007
ACM
15 years 8 months ago
2007
ACM
We have reprogrammed the genomes of living cells to construct massively parallel biological computers capable of processing two-dimensional images at a theoretical resolution of g...