Sciweavers

131 search results - page 20 / 27
» Critical gameplay: software studies in computer gameplay
Sort
View
EDO
2005
Springer
14 years 1 months ago
Experiences in coverage testing of a Java middleware
This paper addresses the issues of test coverage analysis of J2EE servers. These middleware are nowadays at the core of the modern information technology’s landscape. They provi...
Mehdi Kessis, Yves Ledru, Gérard Vandome
FM
2003
Springer
115views Formal Methods» more  FM 2003»
14 years 25 days ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn
CVPR
2007
IEEE
14 years 9 months ago
Robust Metric Reconstruction from Challenging Video Sequences
Although camera self-calibration and metric reconstruction have been extensively studied during the past decades, automatic metric reconstruction from long video sequences with va...
Guofeng Zhang, Xueying Qin, Wei Hua, Tien-Tsin Won...
HIPC
2004
Springer
14 years 1 months ago
Parallel Performance of Hierarchical Multipole Algorithms for Inductance Extraction
Parasitic extraction techniques are used to estimate signal delay in VLSI chips. Inductance extraction is a critical component of the parasitic extraction process in which on-chip ...
Hemant Mahawar, Vivek Sarin, Ananth Grama
DSN
2007
IEEE
14 years 2 months ago
Failure Resilience for Device Drivers
Studies have shown that device drivers and extensions contain 3–7 times more bugs than other operating system code and thus are more likely to fail. Therefore, we present a fail...
Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Ho...