16883 search results - page 2839 / 3377 » Generalized Non-Reducible Descriptors |
218
click to vote
EMSOFT
2007
Springer
16 years 1 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
213
click to vote
EMSOFT
2007
Springer
16 years 1 months ago
2007
Springer
Design space exploration of embedded systems typically focuses on classical design goals such as cost, timing, buffer sizes, and power consumption. Robustness criteria, i.e. sensi...
196
click to vote
EMSOFT
2007
Springer
16 years 1 months ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
210
click to vote
EMSOFT
2007
Springer
16 years 1 months ago
2007
Springer
The emergence of standards for programming real-time systems in Java has encouraged many developers to consider its use for systems previously only built using C, Ada, or assembly...
177
click to vote
FPGA
2007
ACM
16 years 1 months ago
2007
ACM
Boolean matching (BM) is a widely used technique in FPGA resynthesis and architecture evaluation. In this paper we present several improvements to the recently proposed SAT-based ...