Sciweavers

4047 search results - page 98 / 810
» The Discrete Basis Problem
Sort
View
121
Voted
SIAMNUM
2010
103views more  SIAMNUM 2010»
14 years 7 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»
15 years 6 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
16 years 1 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...
123
Voted
DATE
2009
IEEE
129views Hardware» more  DATE 2009»
15 years 7 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...
101
Voted
ATVA
2004
Springer
87views Hardware» more  ATVA 2004»
15 years 6 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...