695 search results - page 134 / 139 » Symbolic Simulation of Hybrid Systems |
QEST
2007
IEEE
15 years 3 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
VTC
2007
IEEE
15 years 3 months ago
2007
IEEE
— A very promising way to achieve high spectral efficiency in wireless communication is the use of multiple transmit and receive antennas. However, in combination with multicarr...
AIIDE
2008
14 years 11 months ago
2008
Systems that provide automated game-design support-whether fully automated game generators, or tools to assist human designers--must be able to maintain a representation of a game...
104
click to vote
SP
2008
IEEE
14 years 9 months ago
2008
IEEE
Abstract. Understanding the functioning of a neural system in terms of its underlying circuitry is an important problem in neuroscience. Recent developments in electrophysiology an...
106
click to vote
JSAC
2007
14 years 9 months ago
2007
— Most of the real deployed peer-to-peer streaming systems adopt pull-based streaming protocol. In this paper, we demonstrate that, besides simplicity and robustness, with proper...