2652 search results - page 328 / 531 » Privacy-preserving linear programming |
166
click to vote
SPIN
2001
Springer
15 years 7 months ago
2001
Springer
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...
123
click to vote
ASPDAC
1999
ACM
15 years 7 months ago
1999
ACM
Certain manufacturing steps in very deep submicron VLSI involve chemical-mechanical polishing CMP which has varying e ects on device and interconnect features, depending on loca...
110
Voted
DAC
1999
ACM
15 years 7 months ago
1999
ACM
In this paper, we present a new method to the built-in selftestable data path synthesis based on integer linear programming (ILP). Our method performs system register assignment, ...
141
click to vote
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper investigates retiming and clock skew scheduling for improving the tolerance of synchronous circuits to delay variations. It is shown that when both long and short paths...
117
click to vote
ICCAD
1999
IEEE
15 years 7 months ago
1999
IEEE
We present optimal solutions to the test scheduling problem for core-based systems. We show that test scheduling is equivalent to the m-processor open-shop scheduling problem and ...