Sciweavers

1469 search results - page 129 / 294
» Discretization of a Continuous Curve
Sort
View
SIAMNUM
2011
161views more  SIAMNUM 2011»
15 years 1 months ago
A Convergent Finite Volume Scheme for Diffusion on Evolving Surfaces
Abstract. A finite volume scheme for transport and diffusion problems on evolving hypersurfaces is discussed. The underlying motion is assumed to be described by a fixed, not ne...
Martin Lenz, Simplice Firmin Nemadjieu, Martin Rum...
ICCAD
2006
IEEE
189views Hardware» more  ICCAD 2006»
16 years 3 months ago
Allocation cost minimization for periodic hard real-time tasks in energy-constrained DVS systems
Energy-efficiency and power-awareness for electronic systems have been important design issues in hardware and software implementations. We consider the scheduling of periodic ha...
Jian-Jia Chen, Tei-Wei Kuo
SARA
2009
Springer
16 years 1 months ago
Some Interval Approximation Techniques for MINLP
MINLP problems are hard constrained optimization problems, with nonlinear constraints and mixed discrete continuous variables. They can be solved using a Branch-and-Bound scheme c...
Nicolas Berger, Laurent Granvilliers
ECRTS
2005
IEEE
16 years 14 days ago
Speed Modulation in Energy-Aware Real-Time Systems
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...
Enrico Bini, Giorgio C. Buttazzo, Giuseppe Lipari
CAV
1997
Springer
202views Hardware» more  CAV 1997»
15 years 11 months ago
HYTECH: A Model Checker for Hybrid Systems
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...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi