2466 search results - page 175 / 494 » Concurrent Clustered Programming |
134
Voted
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
We propose a two-layered approach for exploiting different forms of concurrency in complex systems: We specify computational components in our functional array language SaC, whic...
134
click to vote
PPOPP
2006
ACM
15 years 8 months 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,...
148
click to vote
EDOC
2002
IEEE
15 years 7 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...
109
click to vote
GI
2009
Springer
15 years 7 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
111
click to vote
FMCO
2008
Springer
15 years 4 months ago
2008
Springer
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...