Sciweavers

302 search results - page 11 / 61
» Sequential circuits for program analysis
Sort
View
SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
14 years 2 days ago
Analysis of Multithreaded Programs
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Martin C. Rinard
ICCAD
1999
IEEE
75views Hardware» more  ICCAD 1999»
13 years 12 months ago
Functional timing optimization
A common approach to performance optimization of circuits focuses on re-synthesis to reduce the length of all paths greater than the desired delay . We describe a new delay optimi...
Alexander Saldanha
ISCAS
2005
IEEE
131views Hardware» more  ISCAS 2005»
14 years 1 months ago
Timing yield estimation using statistical static timing analysis
—As process variations become a significant problem in deep sub-micron technology, a shift from deterministic static timing analysis to statistical static timing analysis for hig...
Min Pan, Chris C. N. Chu, Hai Zhou
ICCD
2003
IEEE
109views Hardware» more  ICCD 2003»
14 years 4 months ago
Independent Test Sequence Compaction through Integer Programming
We discuss the compaction of independent test sequences for sequential circuits. Our first contribution is the formulation of this problem as an integer program, which we then so...
Petros Drineas, Yiorgos Makris
ICSE
2009
IEEE-ACM
14 years 8 months ago
Refactoring sequential Java code for concurrency via concurrent libraries
Parallelizing existing sequential programs to run efficiently on multicores is hard. The Java 5 package java.util.concurrent (j.u.c.) supports writing concurrent programs: much of...
Danny Dig, John Marrero, Michael D. Ernst