Sciweavers

5962 search results - page 288 / 1193
» Working with Patterns and Code
Sort
View
SAS
2005
Springer
134views Formal Methods» more  SAS 2005»
15 years 10 months ago
Using Dependent Types to Certify the Safety of Assembly Code
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
Matthew Harren, George C. Necula
ESERNET
2003
Springer
15 years 10 months ago
Functional Testing, Structural Testing, and Code Reading: What Fault Type Do They Each Detect?
The origin of the study described here is the experiment performed by Basili and Selby, further replicated by Kamsties and Lott, and once again by Wood et al. These experiments inv...
Natalia Juristo Juzgado, Sira Vegas
IEEEPACT
1998
IEEE
15 years 9 months ago
Data Dependence Analysis of Assembly Code
Determination of data dependences is a task typically performed with high-level language source code in today's optimizing and parallelizing compilers. Very little work has b...
Wolfram Amme, Peter Braun, Eberhard Zehendner, Fra...
CCS
2008
ACM
15 years 6 months ago
Towards experimental evaluation of code obfuscation techniques
While many obfuscation schemes proposed, none of them satisfy any strong definition of obfuscation. Furthermore secure generalpurpose obfuscation algorithms have been proven to be...
Mariano Ceccato, Massimiliano Di Penta, Jasvir Nag...
WSCG
2003
155views more  WSCG 2003»
15 years 6 months ago
Recovering Registered Geometry and High Dynamic Range Texture with Coded Structured Light
In the last two decades the problem of accurately capturing the geometry of an object was extensively studied, while the acquisition of high-quality textures only in recent years ...
Asla Medeiros Sá, Paulo Cezar Pinto Carvalh...