Sciweavers

6197 search results - page 1011 / 1240
» Sandbridge Software Tools
Sort
View
MM
2005
ACM
147views Multimedia» more  MM 2005»
16 years 5 days ago
Video inpainting and restoration techniques
Aged films may contain defects such as spikes or dirt, as well as long vertical defect lines. These defects were produced in file development or due to improper maintenance of fil...
Rong-Chi Chang, Louis H. Lin, Chia-Ton Tian, Timot...
SACMAT
2005
ACM
16 years 5 days ago
Role mining with ORCA
With continuously growing numbers of applications, enterprises face the problem of efficiently managing the assignment of access permissions to their users. On the one hand, secur...
Jürgen Schlegelmilch, Ulrike Steffens
CC
2005
Springer
323views System Software» more  CC 2005»
16 years 4 days ago
CodeSurfer/x86-A Platform for Analyzing x86 Executables
CodeSurfer/x86 is a prototype system for analyzing x86 executables. It uses a static-analysis algorithm called value-set analysis (VSA) to recover intermediate representations that...
Gogul Balakrishnan, Radu Gruian, Thomas W. Reps, T...
FMCO
2005
Springer
143views Formal Methods» more  FMCO 2005»
16 years 4 days ago
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
Dennis Dams, Kedar S. Namjoshi
HVC
2005
Springer
97views Hardware» more  HVC 2005»
16 years 4 days ago
An Extensible Open-Source Compiler Infrastructure for Testing
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...
Daniel J. Quinlan, Shmuel Ur, Richard W. Vuduc
« Prev « First page 1011 / 1240 Last » Next »