Sciweavers

14382 search results - page 38 / 2877
» Time in Connectionist Models
Sort
View
MANSCI
2008
96views more  MANSCI 2008»
15 years 1 months ago
Staffing of Time-Varying Queues to Achieve Time-Stable Performance
Continuing research by Jennings, Mandelbaum, Massey and Whitt (1996), we investigate methods to perform time-dependent staffing for many-server queues. Our aim is to achieve time-...
Zohar Feldman, Avishai Mandelbaum, William A. Mass...
ENTCS
2006
125views more  ENTCS 2006»
15 years 1 months ago
On Timed Models and Full Abstraction
models and full abstraction Gavin Lowe and Jo
Gavin Lowe, Joël Ouaknine
RTAS
2007
IEEE
15 years 7 months ago
Stochastic Metrics for Debugging the Timing Behaviour of Real-Time Systems
Stochastic analysis techniques for real-time systems model the execution time of tasks as random variables. These techniques constitute a very powerful tool to study the behaviour...
Joaquín Entrialgo, Javier García, Jo...
ACSD
2006
IEEE
129views Hardware» more  ACSD 2006»
15 years 7 months ago
Extended Timed Automata and Time Petri Nets
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...
Patricia Bouyer, Pierre-Alain Reynier, Serge Hadda...