1523 search results - page 90 / 305 » Partially ordered secretaries |
114
Voted
BIRTHDAY
2008
Springer
15 years 2 months ago
2008
Springer
The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...
111
click to vote
PTS
2003
15 years 2 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
73
Voted
ENTCS
2010
15 years 23 days ago
2010
The global states of complex systems often form pospaces, topological spaces equipped with compatible partial orders reflecting causal relationships between the states. The calcul...
69
Voted
CORR
2000
Springer
15 years 15 days ago
2000
Springer
stract setting. Then we instantiate this algorithm with specific partial orderings and functions to obtain specific constraint propagation algorithms. In particular, using the noti...
126
Voted
PEPM
1992
ACM
15 years 4 months ago
1992
ACM
A partial evaluator is an automatic program transformation tool. Given as input a general program and part of its input, it can produce a specialized version. If the partial evalu...