3338 search results - page 279 / 668 » Assigning Papers to Referees |
157
Voted
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
154
click to vote
ASPDAC
1999
ACM
15 years 11 months ago
1999
ACM
A Pin-Grid-Array (PGA) package router is presented in this paper. Given a chip cavity with a number of I/O pads around its boundary and an equivalent number of pins distributed on...
152
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
Different logic synthesis tasks have been formulated as input encoding problems but restricted to use a minimum number of binary variables. This paper presents an original column ...
154
click to vote
ISPD
1999
ACM
15 years 11 months ago
1999
ACM
—This paper studies a natural formulation of the timing-driven maze routing problem. A multigraph model appropriate for global routing applications is adopted; the model naturall...
158
click to vote
ECRTS
1999
IEEE
15 years 11 months ago
1999
IEEE
The paper considers the implementation of digital controllers as real-time tasks in priority-preemptive systems. The performance of a digital feedback control system depends criti...