3342 search results - page 333 / 669 » Automating Abstract Interpretation |
193
Voted
UIALL
2004
Springer
16 years 24 days ago
2004
Springer
At present, various types of car navigation systems are progressively entering the market. Simultaneously, mobile outdoor navigation systems for pedestrians and electronic tourist ...
158
click to vote
ICALT
2003
IEEE
16 years 22 days ago
2003
IEEE
Analysis of collaborative problem solving involves analysis of dialogue and interaction, analysis of tasks and social roles through ethnographic and other field studies. Use of to...
189
Voted
WORDS
2003
IEEE
16 years 21 days 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...
164
click to vote
WORDS
2003
IEEE
16 years 21 days 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...
192
click to vote
AIME
2003
Springer
16 years 21 days 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...