4150 search results - page 310 / 830 » A Practical Approach to Model Extension |
139
click to vote
ITP
2010
15 years 8 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...
135
Voted
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
The specification, design and implementation of embedded systems demands new approaches which go beyond traditional hardware-based notations such as HDLs. The growing dominance of...
139
Voted
LSSC
2001
Springer
15 years 9 months ago
2001
Springer
The problen of the backscattering of electrons from metal targets is subject of extensive theoreticel and experimental work in surface analysis. We are interested in the angular di...
135
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
Features identify core characteristics of software in order to produce families of programs. Through configuration, different variants of a program can be composed. Our approach...
150
click to vote
SARA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This article introduces a technique for improving the efficiency of diagnosis through approximate compilation. We extend the approach of compiling a diagnostic model, as...