571 search results - page 71 / 115 » A principled approach to operating system construction in Ha... |
132
click to vote
BIRTHDAY
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. A long-running transaction is an interactive component of a distributed system which must be executed as if it were a single atomic action. In principle, it should not be...
101
click to vote
LPNMR
2007
Springer
15 years 7 months ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
135
click to vote
ICDE
2009
IEEE
14 years 11 months ago
2009
IEEE
Many real world applications such as sensor networks and other monitoring applications naturally generate probabilistic streams that are highly correlated in both time and space. ...
122
click to vote
IFL
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...
128
click to vote
RTA
2007
Springer
15 years 7 months ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...