2165 search results - page 383 / 433 » Cooperative Software Development: Concepts, Model and Tools |
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Supercomputers are increasingly complex systems merging conventional microprocessors with system on a chip level designs that provide the network interface and router. At Sandia N...
120
click to vote
ACSD
2005
IEEE
15 years 7 months ago
2005
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...
127
click to vote
PDP
2003
IEEE
15 years 7 months ago
2003
IEEE
Over the last decade, a dramatic increase has been observed in the need for generating and organising data in the course of large parameter studies, performance analysis, and soft...
100
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
111
click to vote
WDAG
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...