302 search results - page 2 / 61 » Sequential circuits for program analysis |
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. In this article, we address the problem of statically determining an approximation of the communication topology of concurrent programs. These programs may contain dynami...
ISQED
2010
IEEE
13 years 9 months ago
2010
IEEE
Circuit design under process variation can be formulated mathematically as a robust optimization problem with a yield constraint. Existing methods force designers to either resort...
ARC
2009
Springer
14 years 2 months ago
2009
Springer
The parallel branching program machine (PBM128) consists of 128 branching program machines (BMs) and a programmable interconnection. To represent logic functions on BMs, we use qua...
IEICET
2010
13 years 6 months ago
2010
DATE
2007
IEEE
14 years 2 months ago
2007
IEEE
Due to reduction in device feature size and supply voltage, the sensitivity to radiation induced transient faults (soft errors) of digital systems increases dramatically. Intensiv...