881 search results - page 144 / 177 » Solving satisfiability problems with preferences |
134
click to vote
VLSID
2002
IEEE
16 years 3 months ago
2002
IEEE
: In this paper, we present a point-to-point (P2P) communication synthesis methodology for SystemOn-Chip (SOC) design. We consider real-time systems where IP selection, mapping and...
125
click to vote
CADE
2006
Springer
16 years 3 months ago
2006
Springer
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
134
Voted
EDBT
2004
ACM
16 years 3 months ago
2004
ACM
Due to the large difference between seek time and transfer time in current disk technology, it is advantageous to perform large I/O using a single sequential access rather than mu...
110
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
We study how to automatically extract tourist trips from large volumes of geo-tagged photographs. Working with more than 8 million of these photographs that are publicly available...
128
click to vote
ICC
2009
IEEE
15 years 10 months ago
2009
IEEE
— In this paper, a distributed power control algorithm is proposed for wireless relay networks in interference-limited environments. The objective is to minimize the total transm...