Sciweavers

15254 search results - page 366 / 3051
» A k
Sort
View
139
Voted
ATS
2000
IEEE
101views Hardware» more  ATS 2000»
15 years 11 months ago
A new framework for static timing analysis, incremental timing refinement, and timing simulation
Liang-Chi Chen, Sandeep K. Gupta, Melvin A. Breuer
CSMR
2000
IEEE
15 years 11 months ago
The Prediction Ability of Experienced Software Maintainers
Magne Jørgensen, Dag I. K. Sjøberg, ...
DATE
2000
IEEE
103views Hardware» more  DATE 2000»
15 years 11 months ago
Analysis of High-Level Address Code Transformations for Programmable Processors
Sumit Gupta, Rajesh K. Gupta, Miguel Miranda, Fran...
GLVLSI
2000
IEEE
83views VLSI» more  GLVLSI 2000»
15 years 11 months ago
Formal hardware verification by integrating HOL and MDG
V. K. Pisini, Sofiène Tahar, Paul Curzon, O...