3441 search results - page 398 / 689 » Parallel Logic Programming Systems |
138
click to vote
WWW
2006
ACM
15 years 10 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
137
click to vote
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
156
click to vote
SAS
2009
Springer
16 years 5 months ago
2009
Springer
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
173
click to vote
CCGRID
2003
IEEE
15 years 8 months ago
2003
IEEE
Interprocess communication (IPC) is ubiquitous in today's computing world. One of the simplest mechanisms for IPC is shared memory. We present a system that enhances the Syst...
142
click to vote
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
Thread-level speculation (TLS) allows potentially dependent threads to speculatively execute in parallel, thus making it easier for the compiler to extract parallel threads. Howeve...