24 search results - page 1 / 5 » Bisimulation on Speed: A Unified Approach |
FOSSACS
2005
Springer
13 years 11 months ago
2005
Springer
ENTCS
2002
13 years 5 months ago
2002
In this paper we propose a new equivalence relation for dynamical and control systems called bisimulation. As the name implies this definition is inspired by the fundamental notio...
EMSOFT
2007
Springer
13 years 9 months ago
2007
Springer
This paper deals with energy-aware real-time system scheduling using dynamic voltage scaling (DVS) for energy-constrained embedded systems that execute variable and unpredictable ...
ARITH
2009
IEEE
14 years 5 days ago
2009
IEEE
Moduli of the form 2n ± 1, which greatly simplify certain arithmetic operations in residue number systems (RNS), have been of longstanding interest. A steady stream of designs fo...
ICCV
2007
IEEE
14 years 7 months ago
2007
IEEE
We propose a novel numerical approach for solving the free-form deformable registration problem. The central idea is to utilize the well understood techniques from variational def...