2943 search results - page 176 / 589 » Software Implementation of Synchronous Programs |
128
click to vote
CANPC
1999
Springer
15 years 7 months ago
1999
Springer
Streamlining communication is key to achieving good performance in shared-memory parallel programs. While full hardware support for cache coherence generally offers the best perfo...
165
click to vote
AOSD
2006
ACM
15 years 9 months ago
2006
ACM
The relationships between objects in object-oriented programs are as important as the objects themselves. Unfortunately, most objectoriented programming languages provide little s...
135
click to vote
ICECCS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Transactional Memory (TM) is a promising technique that addresses the difficulty of parallel programming. Since TM takes responsibility for all concurrency control, TM ...
135
click to vote
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
125
click to vote
DCW
2000
Springer
15 years 7 months ago
2000
Springer
Intensional Programming involves the programming of expressions placed in an inherent multidimensional context space. It is an emerging and highly dynamic domain of general applica...