Sciweavers

1186 search results - page 191 / 238
» On Designing an Experiment to Evaluate a Reverse Engineering...
Sort
View
PARA
1998
Springer
14 years 2 months ago
Technologies for Teracomputing: A European Option
Abstract. Ahardware and software environment with performance above 1 Tera ops (teracomputing) is presently required to face the leading computational challenges not only in fundam...
Agostino Mathis
KBSE
2005
IEEE
14 years 3 months ago
Locating faulty code using failure-inducing chops
Software debugging is the process of locating and correcting faulty code. Prior techniques to locate faulty code either use program analysis techniques such as backward dynamic pr...
Neelam Gupta, Haifeng He, Xiangyu Zhang, Rajiv Gup...
ICCD
2004
IEEE
115views Hardware» more  ICCD 2004»
14 years 7 months ago
Generating Monitor Circuits for Simulation-Friendly GSTE Assertion Graphs
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...
Kelvin Ng, Alan J. Hu, Jin Yang
CHI
2010
ACM
14 years 5 months ago
pCubee: a perspective-corrected handheld cubic display
In this paper, we describe the design of a personal cubic display that offers novel interaction techniques for static and dynamic 3D content. We extended one-screen Fish Tank VR b...
Ian Stavness, Billy Lam, Sidney Fels
ICDE
2008
IEEE
106views Database» more  ICDE 2008»
14 years 4 months ago
DIPBench: An independent benchmark for Data-Intensive Integration Processes
— The integration of heterogeneous data sources is one of the main challenges within the area of data engineering. Due to the absence of an independent and universal benchmark fo...
Matthias Böhm, Dirk Habich, Wolfgang Lehner, ...