Sciweavers

4047 search results - page 98 / 810
» The Discrete Basis Problem
Sort
View
SIAMNUM
2010
103views more  SIAMNUM 2010»
13 years 4 months ago
Error Estimates for Space-Time Discretizations of a Rate-Independent Variational Inequality
This paper deals with error estimates for space-time discretizations in the context of nary variational inequalities of rate-independent type. After introducing a general abstract ...
Alexander Mielke, Laetitia Paoli, Adrien Petrov, U...
ATVA
2007
Springer
115views Hardware» more  ATVA 2007»
14 years 4 months ago
A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoe...
ICIP
2009
IEEE
14 years 11 months ago
Discrete Curvature Calculation For Fast Level Set Segmentation
Fast level set methods replace continuous PDEs by a discrete formulation, improving the execution times. The regularization in fast level set methods was so far handled indirectly...
DATE
2009
IEEE
129views Hardware» more  DATE 2009»
14 years 4 months ago
Energy minimization for real-time systems with non-convex and discrete operation modes
—We present an optimal methodology for dynamic voltage scheduling problem in the presence of realistic assumption such as leakage-power and intra-task overheads. Our contribution...
Foad Dabiri, Alireza Vahdatpour, Miodrag Potkonjak...
ATVA
2004
Springer
87views Hardware» more  ATVA 2004»
14 years 3 months ago
Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems
— This paper considers the state feedback control of parameterized discrete event systems consisting of N similar processes for the problem of maintaining a predicate on the stat...
Hans Bherer, Jules Desharnais, Marc Frappier, Rich...