10848 search results - page 416 / 2170 » Programming in Biomolecular Computation |
177
click to vote
COREGRID
2007
Springer
16 years 1 months ago
2007
Springer
Abstract Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications w...
187
click to vote
PPOPP
2006
ACM
16 years 26 days ago
2006
ACM
As multi-core architectures with Thread-Level Speculation (TLS) are becoming better understood, it is important to focus on TLS compilation. TLS compilers are interesting in that,...
194
click to vote
IEEESCC
2005
IEEE
16 years 15 days ago
2005
IEEE
Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artifacts and...
162
click to vote
PPOPP
2005
ACM
16 years 14 days 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...
214
click to vote
EDOC
2002
IEEE
15 years 12 months ago
2002
IEEE
While SOAP/XML is perceived as the appropriate interoperability level for web-services, companies compete to provide workflow-based tools for web-service integration. This paper p...