Sciweavers

275 search results - page 40 / 55
» A Practical Approach of Diffusion Load Balancing Algorithms
Sort
View
ACTA
2010
191views more  ACTA 2010»
13 years 7 months ago
Automata-based verification of programs with tree updates
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
Peter Habermehl, Radu Iosif, Tomás Vojnar
DAC
1995
ACM
13 years 11 months ago
Direct Performance-Driven Placement of Mismatch-Sensitive Analog Circuits
This paper presents a direct performance-driven placement algorithm for analog integrated circuits. The performance specications directly drive the layout tools without intermedi...
Koen Lampaert, Georges G. E. Gielen, Willy M. C. S...
NETWORKING
2008
13 years 9 months ago
Adaptive Multi-topology IGP Based Traffic Engineering with Near-Optimal Network Performance
In this paper we present an intelligent multi-topology IGP (MT-IGP) based intra-domain traffic engineering (TE) scheme that is able to handle unexpected traffic fluctuations with n...
Ning Wang, Kin-Hon Ho, George Pavlou
IPPS
2010
IEEE
13 years 5 months ago
Decentralized resource management for multi-core desktop grids
The majority of CPUs now sold contain multiple computing cores. However, current desktop grid computing systems either ignore the multiplicity of cores, or treat them as distinct,...
Jaehwan Lee, Peter J. Keleher, Alan Sussman
JCP
2006
128views more  JCP 2006»
13 years 7 months ago
A Service Oriented Framework for Multimedia Radio Networks
- In order to enable fast deployment of new emerging services over multimedia radio networks, it is important to design an efficient service-based platform with necessary traffic m...
Asma Ben Letaifa, Sami Tabbane, Zièd Chouka...