Sciweavers

5777 search results - page 1067 / 1156
» The palladio component model
Sort
View
ENTCS
2007
143views more  ENTCS 2007»
15 years 5 months ago
Formal Fault Tree Analysis - Practical Experiences
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
Frank Ortmeier, Gerhard Schellhorn
FGCS
2007
95views more  FGCS 2007»
15 years 5 months ago
On incorporating differentiated levels of network service into GridSim
Grid computing technologies are increasingly being used to aggregate computing resources that are geographically distributed. Commercial networks are being used to connect these r...
Anthony Sulistio, Gokul Poduval, Rajkumar Buyya, C...
PAMI
2006
111views more  PAMI 2006»
15 years 5 months ago
Stereo Matching with Linear Superposition of Layers
In this paper, we address stereo matching in the presence of a class of non-Lambertian effects, where image formation can be modeled as the additive superposition of layers at diff...
Yanghai Tsin, Sing Bing Kang, Richard Szeliski
AC
2005
Springer
15 years 5 months ago
Power Analysis and Optimization Techniques for Energy Efficient Computer Systems
Reducing power consumption has become a major challenge in the design and operation of today's computer systems. This chapter describes different techniques addressing this c...
Wissam Chedid, Chansu Yu, Ben Lee
TCAD
2008
75views more  TCAD 2008»
15 years 5 months ago
An Efficient Graph-Based Algorithm for ESD Current Path Analysis
Abstract--The electrostatic discharge (ESD) problem has become a challenging reliability issue in nanometer-circuit design. High voltages that resulted from ESD might cause high cu...
Chih-Hung Liu, Hung-Yi Liu, Chung-Wei Lin, Szu-Jui...
« Prev « First page 1067 / 1156 Last » Next »