Sciweavers

24554 search results - page 185 / 4911
» Dependable distributed systems
Sort
View
179
Voted
CORR
2011
Springer
174views Education» more  CORR 2011»
15 years 1 months ago
Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity
We study the complexity of rewrite systems shown terminating via the dependency pair framework using processors for reduction pairs, dependency graphs, or the subterm criterion. T...
Georg Moser, Andreas Schnabl
MM
2004
ACM
142views Multimedia» more  MM 2004»
15 years 11 months ago
Learning query-class dependent weights in automatic video retrieval
Combining retrieval results from multiple modalities plays a crucial role for video retrieval systems, especially for automatic video retrieval systems without any user feedback a...
Rong Yan, Jun Yang 0003, Alexander G. Hauptmann
JSSPP
2001
Springer
15 years 10 months ago
Metrics for Parallel Job Scheduling and Their Convergence
The arrival process of jobs submitted to a parallel system is bursty, leading to fluctuations in the load at many time scales. In particular, rare events of extreme load may occu...
Dror G. Feitelson
EWSPT
2001
Springer
15 years 10 months ago
A Mobile Agent Approach to Process-Based Dynamic Adaptation of Complex Software Systems
We describe an approach based upon software process technology to on-the-fly monitoring, redeployment, reconfiguration, and in general dynamic adaptation of distributed software ap...
Giuseppe Valetto, Gail E. Kaiser, Gaurav S. Kc
TSE
1998
93views more  TSE 1998»
15 years 5 months ago
Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers
An important step in the development of dependable systems is the validation of their fault tolerance properties. Fault injection has been widely used for this purpose, however wi...
Joao Carreira, Henrique Madeira, João Gabri...