Sciweavers

3565 search results - page 272 / 713
» Modeling a system controller for timing analysis
Sort
View
FOSSACS
2009
Springer
15 years 11 months ago
Interrupt Timed Automata
Abstract. In this work, we introduce the class of Interrupt Timed Automata (ITA), which are well suited to the description of multi-task systems with interruptions in a single proc...
Béatrice Bérard, Serge Haddad
IPPS
1998
IEEE
15 years 8 months ago
Predicting the Running Times of Parallel Programs by Simulation
Predicting the running time of a parallel program is useful for determining the optimal values for the parameters of the implementation and the optimal mapping of data on processo...
Radu Rugina, Klaus E. Schauser
ICRA
2007
IEEE
138views Robotics» more  ICRA 2007»
15 years 10 months ago
Output Feedback Control of Wind Display in a Virtual Environment
—This research focuses on development of a haptic system to create controlled air flow acting on a user in the Treadport virtual environment. The Treadport Active Wind Tunnel (TP...
Sandip D. Kulkarni, Mark A. Minor, Mark W. Deaver,...
NAACL
2004
15 years 5 months ago
Optimizing Automated Call Routing by Integrating Spoken Dialog Models with Queuing Models
Organizations are increasingly turning to spoken dialog systems for automated call routing to reduce call center costs. To maintain quality service even in cases of failure, these...
Tim Paek, Eric Horvitz
FORMATS
2006
Springer
15 years 8 months ago
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
Carlo A. Furia, Matteo Rossi