3342 search results - page 331 / 669 » Symbolic Robustness Analysis |
183
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...
225
click to vote
AB
2008
Springer
16 years 1 months ago
2008
Springer
A specific class of ODEs has been shown to be adequate to describe the essential features of the complex dynamics of Gene-Regulatory Networks (GRN). But, the effective exploitatio...
174
click to vote
CODES
2003
IEEE
16 years 12 hour ago
2003
IEEE
Multitasked real-time systems often employ caches to boost performance. However the unpredictable dynamic behavior of caches makes schedulability analysis of such systems difficul...
168
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: The number of available genome sequences is increasing, and easy-to-use software that enables efficient comparative analysis is needed. Results: We developed GenomeMat...
172
click to vote
JUCS
2008
15 years 6 months ago
2008
: In the representation approach to computable analysis (TTE) [Grz55, i00], abstract data like rational numbers, real numbers, compact sets or continuous real functions are represe...