Sciweavers

970 search results - page 159 / 194
» Reliability Analysis of Concurrent Systems Using LTSA
Sort
View
GLVLSI
2007
IEEE
194views VLSI» more  GLVLSI 2007»
14 years 1 months ago
Probabilistic maximum error modeling for unreliable logic circuits
Reliability modeling and evaluation is expected to be one of the major issues in emerging nano-devices and beyond 22nm CMOS. Such devices would have inherent propensity for gate f...
Karthikeyan Lingasubramanian, Sanjukta Bhanja
CEEMAS
2001
Springer
14 years 1 months ago
UML for Behavior-Oriented Multi-agent Simulations
Developing multi-agent simulations seems to be rather straight forward, as active entities in the original correspond to active agents in the model. Thus plausible behaviors can be...
Christoph Oechslein, Franziska Klügl, Rainer ...
ICWE
2004
Springer
14 years 2 months ago
An Empirical Study of Web Quality: Measuring the Web from Wroclaw University of Technology Campus
This work presents an empirical study on Web quality measurement. We evaluate the performance and reliability of Web as perceived by the end users located at the Wroclaw University...
Leszek Borzemski, Ziemowit Nowak
EMSOFT
2006
Springer
14 years 26 days ago
Software partitioning for effective automated unit testing
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
Arindam Chakrabarti, Patrice Godefroid
MVA
2007
211views Computer Vision» more  MVA 2007»
13 years 10 months ago
Shadow Elimination in Traffic Video Segmentation
Shadow detection is critical for robust and reliable vision-based systems for traffic vision analysis. Shadow points are often misclassified as object points causing errors in loc...
Hong Liu, Jintao Li, Qun Liu, Yueliang Qian