Sciweavers

4079 search results - page 679 / 816
» Differential Testing for Software
Sort
View
117
Voted
CC
2007
Springer
108views System Software» more  CC 2007»
15 years 2 months ago
Communication vs. Computation
We initiate a study of tradeoffs between communication and computation in well-known communication models and in other related models. The fundamental question we investigate is t...
Prahladh Harsha, Yuval Ishai, Joe Kilian, Kobbi Ni...
143
Voted
CC
2002
Springer
145views System Software» more  CC 2002»
15 years 2 months ago
Forwarding in Attribute Grammars for Modular Language Design
Abstract. Forwarding is a technique for providing default attribute definitions in attribute grammars that is helpful in the modular implementation of programming languages. It com...
Eric Van Wyk, Oege de Moor, Kevin Backhouse, Paul ...
148
Voted
CORR
2002
Springer
117views Education» more  CORR 2002»
15 years 2 months ago
Contextual Normalization Applied to Aircraft Gas Turbine Engine Diagnosis
Diagnosing faults in aircraft gas turbine engines is a complex problem. It involves several tasks, including rapid and accurate interpretation of patterns in engine sensor data. W...
Peter D. Turney, Michael Halasz
133
Voted
DTJ
1998
171views more  DTJ 1998»
15 years 2 months ago
Measurement and Analysis of C and C++ Performance
ir increasing use of abstraction, modularity, delayed binding, polymorphism, and source reuse, especially when these attributes are used in combination. Modern processor architectu...
Hemant G. Rotithor, Kevin W. Harris, Mark W. Davis
VIROLOGY
2010
179views more  VIROLOGY 2010»
15 years 28 days ago
Automatic binary deobfuscation
Abstract. This paper gives an overview of our research in the automation of the process of software protection analysis. We will focus more particularly on the problem of obfuscati...
Yoann Guillot, Alexandre Gazet