1914 search results - page 257 / 383 » Verification by Abstract Interpretation |
105
click to vote
TPHOL
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
103
Voted
WORDS
2003
IEEE
15 years 6 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...
WORDS
2003
IEEE
15 years 6 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...
101
click to vote
AIME
2003
Springer
15 years 6 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...
107
click to vote
EUSAI
2003
Springer
15 years 6 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 ...