774 search results - page 23 / 155 » On Timed Alternating Simulation for Concurrent Timed Games |
ISCAS
2007
IEEE
15 years 4 months ago
2007
IEEE
— In this study, two chaotic circuits coupled by a time-varying resistor are investigated. We assume that the timevarying resistor is realized by switching a positive and a negat...
AB
2007
Springer
15 years 3 months ago
2007
Springer
We present SpiCO, a new modeling and simulation language for systems biology. SpiCO is based on the stochastic π-calculus. It supports higher level modeling via multi-profile con...
MFCS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...
MICCAI
2009
Springer
15 years 10 months ago
2009
Springer
Obtaining detailed, patient-specific blood flow information would be very useful in detecting and monitoring cardio-vascular diseases. Current approaches rely on computational flui...
163
click to vote
ICDE
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a general model for estimating access times of serpentine tape drives. The model is used to schedule I/O requests in order to minimize the total access time. W...