9626 search results - page 1654 / 1926 » Invariant Based Programming |
163
click to vote
ISQED
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
190
click to vote
ISQED
2003
IEEE
15 years 12 months ago
2003
IEEE
The nature of IC design has is necessarily evolving to a more data-centric design flow in which EDA tools share a common information in a design database without the negative cost...
182
click to vote
RTSS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents a quantification of the timing effects that advanced processor features like data and instruction cache, pipelines, branch prediction units and out-oforder ex...
162
click to vote
VL
2003
IEEE
15 years 12 months ago
2003
IEEE
An idea of automatic generation of Web applications from templates has been proposed [1, 2, 3, 4]. A software system called T-Web system has been implemented based on the idea to ...
168
click to vote
WCRE
2003
IEEE
15 years 12 months ago
2003
IEEE
In reverse engineering, parsing may be partially done to extract lightweight source models. Parsing code containing preprocessing directives, syntactical errors and embedded langu...