1301 search results - page 134 / 261 » Specifications via Realizability |
120
click to vote
PAKDD
2010
ACM
15 years 8 months ago
2010
ACM
We present a novel graph ranking model to extract a diverse set of answers for complex questions via random walks over a negative-edge graph. We assign a negative sign to edge weig...
150
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
Resource management for dynamic, distributed real-time systems requires handling of unknown arrival rates for data and events; additional desiderata include: accommodation of heter...
114
click to vote
CODES
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we present our approach to automate the development process of co-design tools. We demonstrate with a non-trivial real world example how we can accelerate the tool ...
145
click to vote
ISPAN
1999
IEEE
15 years 8 months ago
1999
IEEE
For an effective Internet-based distributed parallel computing platform, Java-Internet Computing Environment (JICE) is designed and implemented with multithreading and remote meth...
194
click to vote
ICCCN
1998
IEEE
15 years 8 months ago
1998
IEEE
We evaluate several routing protocols for mobile, wireless, ad hoc networks via packet level simulations. The protocol suite includes routing protocols specifically designed for a...