15754 search results - page 2791 / 3151 » Programs are Knowledge Bases |
147
Voted
ISCA
2003
IEEE
16 years 24 days ago
2003
IEEE
Clustered microarchitectures are an attractive alternative to large monolithic superscalar designs due to their potential for higher clock rates in the face of increasingly wire-d...
191
Voted
ISCA
2003
IEEE
16 years 24 days ago
2003
IEEE
Debuggers have been proven indispensable in improving software reliability. Unfortunately, on most real-life software, debuggers fail to deliver their most essential feature — a...
183
click to vote
ISQED
2003
IEEE
16 years 24 days 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...
222
click to vote
RTSS
2003
IEEE
16 years 24 days 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...
190
click to vote
VL
2003
IEEE
16 years 24 days 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 ...