12115 search results - page 64 / 2423 » Bisimulation of Dynamical Systems |
ENTCS
2006
13 years 8 months ago
2006
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
ICCAD
2001
IEEE
14 years 5 months ago
2001
IEEE
Dynamic voltage scaling (DVS) is a technique that varies the supply voltage and clock frequency based on the computation load to provide desired performance with the minimal amoun...
ICRA
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper we present a novel formulation for the optimal control of discrete event dynamic processes which represent production systems with unreliable machines and buffers of...
CLUSTER
2002
IEEE
13 years 8 months ago
2002
IEEE
This paper presents the design and evaluation of an adaptive system sensitive partitioning and load balancing framework for distributed adaptive mesh re nement applications on het...
IANDC
2010
13 years 6 months ago
2010
We consider the dynamical behavior of Martin-L