6456 search results - page 326 / 1292 » Constraint Solving on Terms |
168
click to vote
IEEEPACT
2006
IEEE
16 years 22 days ago
2006
IEEE
Code restructuring compilers rely heavily on program analysis techniques to automatically detect data dependences between program statements. Dependences between statement instanc...
202
Voted
KBSE
2005
IEEE
16 years 8 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
237
click to vote
ICS
2005
Tsinghua U.
16 years 4 days ago
2005
Tsinghua U.
The Replica Placement Problem (RPP) aims at creating a set of duplicated data objects across the nodes of a distributed system in order to optimize certain criteria. Typically, RP...
174
click to vote
CASES
2004
ACM
16 years 3 days ago
2004
ACM
Application specific processors offer the potential of rapidly designed logic specifically constructed to meet the performance and area demands of the task at hand. Recently, t...
193
click to vote
ISPD
2004
ACM
16 years 3 days ago
2004
ACM
VLSI placement tools usually work in two steps: First, the cells that have to be placed are roughly spread out over the chip area ignoring disjointness (global placement). Then, i...