Sciweavers

2248 search results - page 321 / 450
» Using Bayesian networks to analyze expression data
Sort
View
SIGCOMM
2009
ACM
15 years 10 months ago
A programmable, generic forwarding element approach for dynamic network functionality
Communication networks are growing exponentially, and new services and applications are being introduced unceasingly. To meet the demands of these services and applications, curre...
Ran Giladi, Niv Yemini
ICDE
2003
IEEE
157views Database» more  ICDE 2003»
16 years 5 months ago
Profile-Driven Cache Management
Modern distributed information systems cope with disconnection and limited bandwidth by using caches. In communicationconstrained situations, traditional demand-driven approaches ...
Mitch Cherniack, Eduardo F. Galvez, Michael J. Fra...
127
Voted
ICTAC
2004
Springer
15 years 9 months ago
A Proof of Weak Termination Providing the Right Way to Terminate
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
Olivier Fissore, Isabelle Gnaedig, Hél&egra...
TMC
2008
219views more  TMC 2008»
15 years 3 months ago
COACS: A Cooperative and Adaptive Caching System for MANETs
This paper introduces a cooperation-based database caching system for Mobile Ad Hoc Networks (MANETs). The heart of the system is the nodes that cache submitted queries. The querie...
Hassan Artail, Haïdar Safa, Khaleel W. Mersha...
LCTRTS
2007
Springer
15 years 10 months ago
Generalizing parametric timing analysis
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...
Joel Coffman, Christopher A. Healy, Frank Mueller,...