519 search results - page 40 / 104 » Symmetries and Dynamics of Discrete Systems |
ECRTS
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper presents a general framework for analyzing and designing embedded systems with energy and timing requirements. A set of realistic assumptions is considered in the model...
CAV
1997
Springer
14 years 2 months ago
1997
Springer
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The use of hybrid dynamical systems to model gene regulation is impelled by the switch-like behaviour of the latter. Piecewise affine differential equations is one of the...
GG
2004
Springer
14 years 3 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
TEI
2010
ACM
14 years 4 months ago
2010
ACM
In this paper we introduce the TessalTable, a collaborative play system for learning about tessellations and symmetry through augmented pattern blocks. Children use tiles to pick ...