21094 search results - page 4036 / 4219 » An experiment using DLV-K |
147
click to vote
DATE
2008
IEEE
16 years 27 days ago
2008
IEEE
We compare 12 new encodings for representing of FPGA detailed routing problems as equivalent Boolean Satisfiability (SAT) problems against the only 2 previously used encodings. We...
188
click to vote
FDL
2008
IEEE
16 years 27 days ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
161
click to vote
GLOBECOM
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract—Peer-to-Peer (P2P) file sharing applications use multiple TCP connections between peers to transfer data. The aggressiveness and robustness of P2P technology remarkably...
218
click to vote
ICDCS
2008
IEEE
16 years 27 days ago
2008
IEEE
Distributed stream processing systems (DSPSs) have many important applications such as sensor data analysis, network security, and business intelligence. Failure management is ess...
158
click to vote
ICPP
2008
IEEE
16 years 27 days ago
2008
IEEE
Dual-core processors (and, to an extent, multicore processors) have been adopted in recent years to provide platforms that satisfy the performance requirements of popular multimed...