3307 search results - page 262 / 662 » The meaning of concurrent programs |
184
click to vote
CF
2004
ACM
16 years 2 days ago
2004
ACM
Many parallel applications from scientiï¬c computing use MPI global communication operations to collect or distribute data. Since the execution times of these communication opera...
159
click to vote
ASPLOS
2012
ACM
14 years 2 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 ï...
196
click to vote
POPL
2012
ACM
14 years 2 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...
182
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
189
click to vote
NMR
2004
Springer
16 years 11 hour ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as ï¬xpoints of the one-step provability operator or of operators that can...