164 search results - page 17 / 33 » Primitives for Contract-based Synchronization |
95
Voted
CCGRID
2009
IEEE
15 years 4 months ago
2009
IEEE
As high-end computing systems continue to grow in scale, the performance that applications can achieve on such large scale systems depends heavily on their ability to avoid explic...
ICSE
2009
IEEE-ACM
15 years 2 months ago
2009
IEEE-ACM
Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...
HIPS
1998
IEEE
15 years 2 months ago
1998
IEEE
This paper describes Rthreads (Remote threads), a software distributed shared memory system that supports sharing of global variables on clusters of computers with physically dist...
87
Voted
CL
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
89
Voted
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Sosemanuk is a new synchronous software-oriented stream cipher, corresponding to Profile 1 of the ECRYPT call for stream cipher primitives. Its key length is variable between 128 ...