1159 search results - page 174 / 232 » Adding Concurrency to a Programming Language |
POPL
2012
ACM
12 years 3 months ago
2012
ACM
Data races are among the most reliable indicators of programming errors in concurrent software. For at least two decades, Lamportās happens-before (HB) relation has served as th...
ASPLOS
2012
ACM
12 years 3 months ago
2012
ACM
Even though most data races are harmless, the harmful ones are at the heart of some of the worst concurrency bugs. Alas, spotting just the harmful data races in programs is like ļ...
WOTUG
2008
13 years 9 months ago
2008
Abstract. Distributing process-oriented programs across a cluster of machines requires careful attention to the effects of network latency. The MPI standard, widely used for cluste...
ENTCS
2007
13 years 7 months ago
2007
Narrowing was originally introduced to solve equational E-uniļ¬cation problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
ENTCS
2006
13 years 7 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...