Sciweavers

5962 search results - page 372 / 1193
» Working with Patterns and Code
Sort
View
IPPS
2007
IEEE
16 years 1 months ago
SimX meets SCIRun: A Component-based Implementation of a Computational Study System
This paper describes the ongoing implementation of the SimX system for multi-experiment computational studies within the SCIRun problem solving environment. The modular, component...
Siu-Man Yau, Eitan Grinspun, Vijay Karamcheti, Den...
CAV
2007
Springer
121views Hardware» more  CAV 2007»
16 years 1 months ago
Low-Level Library Analysis and Summarization
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
Denis Gopan, Thomas W. Reps
201
Voted
IH
2007
Springer
16 years 1 months ago
Exploiting Security Holes in Lattice Data Hiding
Abstract. This paper presents a security analysis for data hiding methods based on nested lattice codes, extending the analysis provided by previous works. The security is quantiï¬...
Luis Pérez-Freire, Fernando Pérez-Go...
VISSOFT
2005
IEEE
16 years 1 months ago
Support for Static Concept Location with sv3D
The paper presents a new visualization approach to support static concept location in source code. The approach is realized through the combination of two existing tools: IRiSS, w...
Xinrong Xie, Denys Poshyvanyk, Andrian Marcus
CC
2004
Springer
127views System Software» more  CC 2004»
16 years 29 days ago
Analyzing Memory Accesses in x86 Executables
This paper concerns static-analysis algorithms for analyzing x86 executables. The aim of the work is to recover intermediate representations that are similar to those that can be c...
Gogul Balakrishnan, Thomas W. Reps