3656 search results - page 119 / 732 » Parallel programming in Split-C |
171
click to vote
SCAM
2005
IEEE
15 years 8 months ago
2005
IEEE
Most software for embedded systems, including digital signal processing systems, is coded in assembly language. For both understanding the software and for reverse compiling it to...
112
click to vote
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...
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...
103
click to vote
IPPS
2002
IEEE
15 years 7 months ago
2002
IEEE
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...
104
click to vote
ICCS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Current development processes for parallel software often fail to deliver portable software. This is because these processes usually require a tedious tuning phase to del...