4513 search results - page 647 / 903 » Logic programming with satisfiability |
139
click to vote
SEFM
2003
IEEE
15 years 9 months ago
2003
IEEE
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...
127
click to vote
SLIP
2003
ACM
15 years 9 months ago
2003
ACM
Aggressive process scaling and increasing clock rates have made crosstalk noise an important issue in VLSI design. Switching on adjacent wires on long bus lines can increase delay...
142
click to vote
COOPIS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper makes two main contributions towards establishing support for application-specific factors in middleware security mechanisms. First, it develops a simple classification...
127
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Scheduling is widely recognized as a very important step in highlevel synthesis. Nevertheless, it is usually done without taking into account the effects on the actual hardware im...
130
click to vote
ISVLSI
2002
IEEE
15 years 9 months ago
2002
IEEE
An Early Completion technique is developed to significantly increase the throughput of NULL Convention self-timed digital systems without impacting latency or compromising their s...