Sciweavers

33 search results - page 3 / 7
» Automatically identifying critical input regions and code in...
Sort
View
ISPD
2004
ACM
92views Hardware» more  ISPD 2004»
13 years 10 months ago
A predictive distributed congestion metric and its application to technology mapping
Due to increasing design complexity, routing congestion has become a critical problem in VLSI designs. This paper introduces a distributed metric to predict routing congestion for...
Rupesh S. Shelar, Sachin S. Sapatnekar, Prashant S...
ICIP
2010
IEEE
13 years 3 months ago
Quantization optimized H.264 encoding for traffic video tracking applications
The compression of video can reduce the accuracy of post-compression tracking algorithms. This is problematic for centralized applications such as traffic surveillance systems, wh...
Eren Soyak, Sotirios A. Tsaftaris, Aggelos K. Kats...
SIGSOFT
2009
ACM
14 years 6 months ago
Automatic steering of behavioral model inference
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
David Lo, Leonardo Mariani, Mauro Pezzè
CCS
2007
ACM
13 years 11 months ago
Multi-module vulnerability analysis of web-based applications
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
Davide Balzarotti, Marco Cova, Viktoria Felmetsger...
SOSP
2009
ACM
14 years 2 months ago
Automatically patching errors in deployed software
We present ClearView, a system for automatically patching errors in deployed software. ClearView works on stripped Windows x86 binaries without any need for source code, debugging...
Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman...