146 search results - page 20 / 30 » Automated Abstractions for Contract Validation |
ITP
2010
13 years 11 months ago
2010
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. During an architectural evolution of a component-based software, certain quality attributes may be weakened. This is due to the lack of an explicit definition of the link...
DDECS
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract-- Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counterintuitive...
BILDMED
2009
13 years 8 months ago
2009
Abstract. The tracking of individual cells in time-lapse microscopy facilitates the assessment of certain characteristics of different cell types. Since manual tracking of an adequ...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract— A core challenge in probabilistic mapping is to extract meaningful uncertainty information from data registration methods. While this has been investigated in ICP-based...