1137 search results - page 51 / 228 » Partial Program Admission |
TSP
2010
13 years 2 months ago
2010
Wireless amplify-and-forward relay networks in which the source communicates with the relays and destination in the first phase and the relays forward signals to the destination in...
TPLP
2008
13 years 7 months ago
2008
This paper presents a Prolog interface to the MiniSat satisfiability solver. Logic programming with satisfiability combines the strengths of the two paradigms: logic programming f...
EUROMICRO
2007
IEEE
14 years 2 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
Reconfigurable computing systems have developed the capability of changing the configuration of the reconfigurable coprocessor multiple times during the course of a program. Howev...
ICPP
2003
IEEE
14 years 27 days ago
2003
IEEE
Hardware prefetching is a simple and effective technique for hiding cache miss latency and thus improving the overall performance. However, it comes with addition of prefetch buff...