4451 search results - page 399 / 891 » On Random Ordering Constraints |
220
click to vote
VLSID
2008
IEEE
16 years 7 months ago
2008
IEEE
Today's customizable processors allow the designer to augment the base processor with custom accelerators. By choosing appropriate set of accelerators, designer can significa...
150
click to vote
WABI
2007
Springer
16 years 28 days ago
2007
Springer
In comparing genomic maps, it is often difficult to distinguish mapping errors and incorrectly resolved paralogies from genuine rearrangements of the genomes. A solution to this ...
162
click to vote
MICRO
2006
IEEE
16 years 25 days ago
2006
IEEE
VLIW and EDGE (Explicit Data Graph Execution) architectures rely on compilers to form high-quality hyperblocks for good performance. These compilers typically perform hyperblock f...
198
Voted
LPAR
2005
Springer
16 years 10 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
175
click to vote
WAC
2004
Springer
16 years 5 days ago
2004
Springer
The Internet network technology today does not allow a sufficient degree of autonomy to express user choices, constraints and preferences in order to dynamically obtain the most su...