1554 search results - page 41 / 311 » A New Simulation Tool for the Modeling and Control of Distri... |
CDC
2009
IEEE
14 years 16 days ago
2009
IEEE
— We consider the control of impulsive systems with jumps triggered by a renewal process, that is, the intervals between jumps are independent and identically distributed. The co...
RTSS
1995
IEEE
13 years 11 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
TVCG
2010
13 years 2 months ago
2010
Multiple simulation runs using the same simulation model with different values of control parameters usually generate large data sets that capture the variational aspects of the be...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
In this paper, we present, through simulations of the coffee market of the state of Veracruz, how emergence of specialized roles in participatory simulations could be used to desi...
DAC
2002
ACM
14 years 8 months ago
2002
ACM
In the last decade, instruction-set simulators have become an essential development tool for the design of new programmable architectures. Consequently, the simulator performance ...