1204 search results - page 121 / 241 » Termination of Polynomial Programs |
116
Voted
VL
1996
IEEE
15 years 4 months ago
1996
IEEE
ToonTalkTM is a general-purpose concurrent programming system in which the source code is animated and the programming environment is like a me. Every abstract computational aspec...
109
click to vote
JFP
2000
15 years 16 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...
111
Voted
WDAG
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
111
Voted
IWPEC
2004
Springer
15 years 6 months ago
2004
Springer
We propose to look at the computational complexity of 2-dimensional geometric optimization problems on a finite point set with respect to the number of inner points (that is, poi...
86
Voted
ICALP
2010
Springer
15 years 2 months ago
2010
Springer
Given a connected graph G and a failure probability pe for each edge e in G, the reliability of G is the probability that G remains connected when each edge e is removed independe...