2136 search results - page 176 / 428 » A Game-Theoretic Operational Semantics |
138
Voted
SOSP
1993
ACM
15 years 5 months ago
1993
ACM
Research can rarely be performed on large-scale, distributed systems at the level of thousands of workstations. In this paper, we describe the motivating constraints, design princ...
123
Voted
ACTA
2005
15 years 3 months ago
2005
It is known that LTL formulae without the `next' operator are invariant under the so-called stutter-equivalence of words. In this paper we extend this principle to general LTL...
137
click to vote
DATAMINE
1998
15 years 3 months ago
1998
Data mining evolved as a collection of applicative problems and efficient solution algorithms relative to rather peculiar problems, all focused on the discovery of relevant infor...
104
Voted
SIGOPS
2010
15 years 2 months ago
2010
A computer system often has multiple power management modules controlling different power knobs. Uncoordinated operation of these knobs not only leads to suboptimal operation but ...
137
Voted
PPOPP
2012
ACM
13 years 11 months ago
2012
ACM
The virtues of deterministic parallelism have been argued for decades and many forms of deterministic parallelism have been described and analyzed. Here we are concerned with one ...