5693 search results - page 864 / 1139 » Socially relevant computing |
170
click to vote
FOCS
2006
IEEE
16 years 8 days ago
2006
IEEE
We convert cell-probe lower bounds for polynomial space into stronger lower bounds for near-linear space. Our technique applies to any lower bound proved through the richness meth...
172
click to vote
ICCAD
2006
IEEE
16 years 7 days ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
137
click to vote
ICDCS
2006
IEEE
16 years 7 days ago
2006
IEEE
Content-based dissemination of data using pub/sub systems is an effective means to deliver relevant data to interested data consumers. With the emergence of XML as the standard f...
164
click to vote
ICPADS
2006
IEEE
16 years 7 days ago
2006
IEEE
Peer-to-Peer (P2P) systems are characterized by direct access between peer computers, rather than through a centralized server. File sharing is the dominant P2P application on the...
189
click to vote
ISCN
2006
IEEE
16 years 7 days ago
2006
IEEE
— In this study, Voice over IP (VoIP) performance in multi-layered satellite IP networks with on-board processing (OBP) capability is investigated. With on-board processing, a sa...