1027 search results - page 87 / 206 » Callgraph properties of executables |
95
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Despite the recent advances in planning with MDPs, the problem of generating good policies is still hard. This paper describes a way to generate policies in MDPs by (1) determiniz...
109
click to vote
JFP
2000
15 years 18 days ago
2000
Indeterminism is typical for concurrent computation. If several concurrent actors compete for the same resource then at most one of them may succeed, whereby the choice of the suc...
186
click to vote
ICDE
2003
IEEE
16 years 2 months ago
2003
IEEE
A Web repository is a large special-purpose collection of Web pages and associated indexes. Many useful queries and computations over such repositories involve traversal and navig...
190
Voted
POPL
2007
ACM
16 years 1 months ago
2007
ACM
In aspect-oriented programming, one can intercept events by writing patterns called pointcuts. The pointcut language of the most popular aspect-oriented programming language, Aspe...
89
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
Serializability is a commonly used correctness condition in concurrent programming. When a concurrent module is serializable, certain other properties of the module can be verifie...