6020 search results - page 656 / 1204 » A New Approach to Model Counting |
203
Voted
WFLP
2009
Springer
15 years 12 months ago
2009
Springer
Numerous computational and deductive frameworks use the notion of strategy to guide reduction and search space exploration, making the macro scale control of micro operations an ex...
197
click to vote
DATE
2000
IEEE
15 years 12 months ago
2000
IEEE
This paper presents a methodology to retarget the technique of compiled simulation for Digital Signal Processors DSPs using the modeling language LISA. In the past, the principl...
162
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
We present LEOPARD, a fanout optimization algorithm based on the effort delay model for near-continuous size buffer libraries. Our algorithm minimizes area under required timing a...
189
click to vote
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
When defining an object-oriented extension to VHDL, the necessary message passing is one of the most complex issues and has a large impact on the whole language. This paper identi...
171
click to vote
IH
1998
Springer
15 years 11 months ago
1998
Springer
Software piracy is a major economic problem: it leads to revenue losses, it favors big software houses that are less hurt by these losses and it prevents new software economy model...