Sciweavers

658 search results - page 22 / 132
» Slicing Methods Using Static and Dynamic Analysis Informatio...
Sort
View
126
Voted
CVPR
2011
IEEE
14 years 11 months ago
Learning Better Image Representations Using 'Flobject Analysis'
Unsupervised learning can be used to extract image representations that are useful for various and diverse vision tasks. After noticing that most biological vision systems for int...
Inmar Givoni, Patrick Li, Brendan Frey
104
Voted
TLDI
2009
ACM
142views Formal Methods» more  TLDI 2009»
15 years 10 months ago
Static extraction of sound hierarchical runtime object graphs
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
Marwan Abi-Antoun, Jonathan Aldrich
PLDI
2010
ACM
15 years 11 months ago
Breadcrumbs: Efficient Context Sensitivity for Dynamic Bug Detection Analyses
Calling context--the set of active methods on the stack--is critical for understanding the dynamic behavior of large programs. Dynamic program analysis tools, however, are almost ...
Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer
94
Voted
WCET
2007
15 years 3 months ago
Analysis of path exclusion at the machine code level
We present a method to find static path exclusions in a control flow graph in order to refine the WCET analysis. Using this information, some infeasible paths can be discarded ...
Ingmar Stein, Florian Martin
ASPDAC
2006
ACM
157views Hardware» more  ASPDAC 2006»
15 years 7 months ago
Delay modeling and static timing analysis for MTCMOS circuits
- One of the critical issues in MTCMOS design is how to estimate a circuit delay quickly. In this paper, we propose a delay modeling and static timing analysis (STA) methodology ta...
Naoaki Ohkubo, Kimiyoshi Usami