42230 search results - page 158 / 8446 » Algorithms and Complexity Results for |
113
click to vote
ADL
2000
Springer
15 years 2 months ago
2000
Springer
A mediator system is a kind of a meta-search engine that provides a seamlessly integrated search service for diverse search engines (collections). Since collections of a mediator ...
DSD
2009
IEEE
14 years 7 months ago
2009
IEEE
Abstract--The implementation of an efficient result forwarding unit for asynchronous processors faces the problem of the inherent lack of synchronisation between result producer an...
ICECCS
2000
IEEE
15 years 2 months ago
2000
IEEE
The goal of result-verificationis toprove that one execution run of a program satisjes its speciJcation. Compared with iniplenzentation-verification,result-verification has a larg...
MSV
2008
14 years 11 months ago
2008
- People are increasingly relying on visualizations on the Internet mass media as their primary source of election results. It is thus crucial for the media to provide accurate, in...
WOSP
2010
ACM
15 years 4 months ago
2010
ACM
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...