5790 search results - page 379 / 1158 » Distributed programming with distributed authorization |
129
click to vote
SPAA
1997
ACM
15 years 7 months ago
1997
ACM
A parallel multithreaded program that is ostensibly deterministic may nevertheless behave nondeterministically due to bugs in the code. These bugs are called determinacy races, an...
159
click to vote
IASTEDSEA
2004
15 years 5 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
118
click to vote
PPOPP
1997
ACM
15 years 8 months ago
1997
ACM
Some of the most common parallel programming idioms include locks, barriers, and reduction operations. The interaction of these programming idioms with the multiprocessor's c...
143
click to vote
HASKELL
2008
ACM
15 years 5 months ago
2008
ACM
The quality of a programming language itself is only one component in the ability of application writers to get the job done. Programming languages can succeed or fail based on th...
139
click to vote
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...