523 search results - page 16 / 105 » On the Signal Bounding Problem in Timing Analysis |
CDC
2008
IEEE
15 years 24 days ago
2008
IEEE
Abstract— We study asymptotic stability of an infinite dimensional system that switches between a finite set of modes. Each mode is governed by a system of one-dimensional, lin...
RTAS
1996
IEEE
15 years 3 months ago
1996
IEEE
Real-time programmers have to deal with the problem of relating timing constraints associated with source code to sequences of machine instructions. This paper describes an enviro...
103
click to vote
ECRTS
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper presents a new approach to understand the event stream model. Additionally a new approximation algorithm for the feasibility test of the sporadic and the generalized mu...
FOSSACS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
122
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...