Sciweavers

5962 search results - page 372 / 1193
» Working with Patterns and Code
Sort
View
IPPS
2007
IEEE
16 years 16 days 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 12 days 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
IH
2007
Springer
16 years 11 days 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...
160
Voted
VISSOFT
2005
IEEE
15 years 11 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»
15 years 11 months 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