3221 search results - page 443 / 645 » Termination of Linear Programs |
171
click to vote
CHARME
2001
Springer
15 years 11 months ago
2001
Springer
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...
168
click to vote
LCTRTS
2001
Springer
15 years 11 months ago
2001
Springer
The IA-64 architecture has been designed as a synthesis of VLIW and superscalar design principles. It incorporates typical functionality known from embedded processors as multiply...
246
click to vote
SPIN
2001
Springer
15 years 11 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...
165
click to vote
ASPDAC
1999
ACM
15 years 10 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...
145
click to vote
DAC
1999
ACM
15 years 10 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, ...