2470 search results - page 177 / 494 » Liveness-Preserving Simulation Relations |
147
click to vote
INFOCOM
1999
IEEE
15 years 8 months ago
1999
IEEE
Recently, networks have increased rapidly both in scale and speed. Problems related to the control and management are of increasing interest. The average throughput and end-to-end ...
166
click to vote
PRESENCE
1998
15 years 4 months ago
1998
We propose a general framework for the simulation of sounds produced by colliding physical objects in a virtual reality environment. The framework is based on the vibration dynami...
114
click to vote
ICDM
2008
IEEE
15 years 11 months ago
2008
IEEE
We present and discuss several spatiotemporal kernels designed to mine real-life and simulated data in support of drought prediction. We implement and empirically validate these k...
118
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a mathematical analysis of the ripple voltage caused by a mismatch in parasitic capacitances in multi-phase, clocked charge pumps. Through detailed circuit mod...
146
click to vote
TACS
2001
Springer
15 years 9 months ago
2001
Springer
Lossy channel systems are systems of finite state automata that communicate via unreliable unbounded fifo channels. Today the main open question in the theory of lossy channel sy...