Sciweavers

14382 search results - page 38 / 2877
» Time in Connectionist Models
Sort
View
MANSCI
2008
96views more  MANSCI 2008»
14 years 10 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»
14 years 10 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 4 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 4 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...