4693 search results - page 894 / 939 » Verifying Hybrid Systems |
110
Voted
TSMC
2008
15 years 12 days ago
2008
In this paper, we study distributed failure diagnosis under k-bounded communication delay, where each local site transmits its observations to other sites immediately after each o...
110
click to vote
JSAC
2007
15 years 12 days ago
2007
— We consider the design of Tomlinson-Harashima (TH) precoders for broadcast channels in the presence of channel uncertainty. For systems in which uplink-downlink reciprocity is ...
CORR
2004
Springer
15 years 11 days ago
2004
Springer
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...
119
Voted
JODL
2000
15 years 9 days ago
2000
Z39.50 is a client/server protocol widely used in digital libraries and museums for searching and retrieving information spread over a number of heterogeneous sources. To overcome ...
112
click to vote
SIGMETRICS
2002
ACM
15 years 5 days ago
2002
ACM
Computer system designers often evaluate future design alternatives with detailed simulators that strive for functional fidelity (to execute relevant workloads) and performance fi...