4810 search results - page 215 / 962 » Modeling Value Speculation |
169
click to vote
QEST
2008
IEEE
16 years 27 days ago
2008
IEEE
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...
147
click to vote
ACSC
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper presents a method of estimating the availability of fault-tolerant computer systems with several recovery procedures. A segregated failures model has been proposed rece...
188
click to vote
VTS
2005
IEEE
16 years 3 days ago
2005
IEEE
— A closed-form model for simulation and analysis of voltage transients caused by single-event upsets (SEUs) in logic circuits is described. A linear RC model, derived using a SP...
146
click to vote
ATVA
2005
Springer
16 years 2 days ago
2005
Springer
This work extends the game-based framework of µ-calculus model checking to the multi-valued setting. In multi-valued model checking a formula is interpreted over a Kripke structur...
174
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Aim of the paper is to develop a concise but comprehensive analytical model for the well-known Grace Hash Join algorithm on cost effective cluster architectures. This approach is ...