804 search results - page 107 / 161 » On the Termination of the Chase Algorithm |
INFOCOM
2005
IEEE
15 years 6 months ago
2005
IEEE
— We consider wireless sensor networks with multiple gateways and multiple classes of traffic carrying data generated by different sensory inputs. The objective is to devise joi...
114
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
110
Voted
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
- Routing is one of the important steps in VLSI/ULSI physical design. The rectilinear Steiner minimum tree (RSMT) construction is an essential part of routing. Since macro cells, I...
129
click to vote
PRICAI
2000
Springer
15 years 4 months ago
2000
Springer
This paper presents the CQ algorithm which decomposes and solves a Markov Decision Process (MDP) by automatically generating a hierarchy of smaller MDPs using state variables. The ...
151
click to vote
TACAS
2000
Springer
15 years 4 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...