1161 search results - page 99 / 233 » Kinetic Dependence Graphs |
114
Voted
PEPM
2007
ACM
15 years 6 months ago
2007
ACM
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
85
Voted
VLDB
1995
ACM
15 years 4 months ago
1995
ACM
: This paper defines a framework for explaining redo recovery after a system crash. In this framework, an installation graph explains the order in which operations must be install...
96
Voted
GG
2008
Springer
15 years 1 months ago
2008
Springer
We present a new, high-level approach for the specification of model-to-model transformations based on declarative patterns. These are (atomic or composite) constraints on triple ...
102
click to vote
CORR
2008
Springer
15 years 21 days ago
2008
Springer
We consider a product X of n finite intervals of integers, a map F from X to itself, the asynchronous state transition graph (F) on X that Thomas proposed as a model for the dynam...
121
click to vote
TCS
2008
15 years 16 days ago
2008
1 Elimination Game is a well known algorithm that simulates Gaussian elimination of matrices on graphs, and it computes a triangulation of the input graph. The number of fill edge...