Sciweavers

3667 search results - page 284 / 734
» Software Rejuvenation - Modeling and Analysis
Sort
View
ISORC
2008
IEEE
16 years 28 days ago
Usability Aspects of WCET Analysis
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. A critical timing measure is the worst-case execution time (...
Jan Gustafsson
CC
2007
Springer
208views System Software» more  CC 2007»
16 years 22 days ago
A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees
Abstract. We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n2 ...
Bernhard Scholz, Johann Blieberger
172
Voted
CLEF
2007
Springer
16 years 22 days ago
TALP at GeoQuery 2007: Linguistic and Geographical Analysis for Query Parsing
This paper describes our experiments on the Geographical Query Parsing pilot-task for English at GeoCLEF 2007. Our system uses some modules of a Geographical Information Retrieval...
Daniel Ferrés, Horacio Rodríguez
CVPR
2006
IEEE
16 years 18 days ago
A Modular Approach to the Analysis and Evaluation of Particle Filters for Figure Tracking
This paper presents the first systematic empirical study of the particle filter (PF) algorithms for human figure tracking in video. Our analysis and evaluation follows a modula...
Ping Wang, James M. Rehg
175
Voted
CC
2004
Springer
142views System Software» more  CC 2004»
15 years 12 months ago
A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization
Abstract. Several mathematical frameworks for static analysis of programs have been developed in the past decades. Although these tools are quite useful, they have still many limit...
Philippe Clauss, Irina Tchoupaeva