6020 search results - page 1060 / 1204 » A New Approach to Model Counting |
176
click to vote
INFOCOM
2006
IEEE
16 years 9 days ago
2006
IEEE
— Peer-to-peer systems are becoming increasingly popular, with millions of simultaneous users and a wide range of applications. Understanding existing systems and devising new pe...
191
click to vote
IPPS
2006
IEEE
16 years 9 days ago
2006
IEEE
Modern FPGA platforms provide the hardware and software infrastructure for building a bus-based System on Chip (SoC) that meet the applications requirements. The designer can cust...
183
click to vote
ISORC
2006
IEEE
16 years 8 days ago
2006
IEEE
Dynasoar is an infrastructure for dynamically deploying Web Services over a Grid or the Internet. It enables an approach to Grid computing in which distributed applications are bu...
284
click to vote
PDP
2006
IEEE
16 years 8 days ago
2006
IEEE
Mobile ad hoc networks (MANETs) raise new challenges in designing protocols for solving the consensus problem. Among the others, how to design message efficient protocols so as to...
152
click to vote
VTC
2006
IEEE
16 years 8 days ago
2006
IEEE
— We present a solution to the problem of identifying clusters from MIMO measurement data in a data window, with a minimum of user interaction. Conventionally, visual inspection ...