2470 search results - page 262 / 494 » Liveness-Preserving Simulation Relations |
173
click to vote
QEST
2007
IEEE
16 years 10 days ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
173
click to vote
ISCAS
2006
IEEE
16 years 3 days ago
2006
IEEE
—This paper introduces a technique to measure and adjust the relative phase of on-chip high speed digital signals using a random sampling technique of inferential statistics. The...
173
Voted
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
We investigate two important, common fluid flow patterns from computational fluid dynamics (CFD) simulations, namely, swirl and tumble motion typical of automotive engines. We stu...
183
click to vote
MOBIHOC
2001
ACM
16 years 5 months ago
2001
ACM
In most studies on mobile ad hoc networks (MANET), simulation models are used for the evaluation of devices and protocols. Typically, such simulations focus on the specific higher...
150
click to vote
DNA
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. Laboratory investigations have shown that a formal theory of fault-tolerance will be essential to harness nanoscale self-assembly as a medium of computation. Several rese...