1689 search results - page 226 / 338 » Refining abstract interpretations |
133
click to vote
WORDS
2003
IEEE
15 years 9 months ago
2003
IEEE
The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be com...
116
click to vote
WORDS
2003
IEEE
15 years 9 months ago
2003
IEEE
Timing analysis is a crucial test for dependable hard real-time systems (DHRTS). The calculation of the worst-case execution time (WCET) is mandatory. As modern compilers are capa...
139
click to vote
AIME
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper presents the application of a method for mining data in a multi-relational database that contains some information about patients strucked down by chronic hepa...
145
click to vote
EUSAI
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We present a concept called ‘ubiquitous attentiveness’: Context information concerning the user and his environment is aggregated, exchanged and constitutes triggers ...
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—This paper describes a robust and accurate blackbox macromodeling technique, in which the constitutive equations combine both closed-form delay operators and low-order r...