Sciweavers

33 search results - page 5 / 7
» Adaptive Embedded Subgraph Algorithms using Walk-Sum Analysi...
Sort
View
85
Voted
POPL
2011
ACM
14 years 8 days ago
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Pe...
ECRTS
2005
IEEE
15 years 3 months ago
Cache Contents Selection for Statically-Locked Instruction Caches: An Algorithm Comparison
Cache memories have been extensively used to bridge the gap between high speed processors and relatively slower main memories. However, they are sources of predictability problems...
Antonio Martí Campoy, Isabelle Puaut, Angel...
88
Voted
TOOLS
2000
IEEE
15 years 1 months ago
Testing-for-Trust: The Genetic Selection Model Applied to Component Qualification
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
Benoit Baudry, Vu Le Hanh, Yves Le Traon
TIP
2008
302views more  TIP 2008»
14 years 9 months ago
Adaptive Pseudo Dilation for Gestalt Edge Grouping and Contour Detection
We consider the problem of detecting object contours in natural images. In many cases, local luminance changes turn out to be stronger in textured areas than on object contours. Th...
Giuseppe Papari, Nicolai Petkov
SCIA
2007
Springer
118views Image Analysis» more  SCIA 2007»
15 years 3 months ago
Reconstruction of 3D Curves for Quality Control
In the area of quality control by vision, the reconstruction of 3D curves is a convenient tool to detect and quantify possible anomalies. Whereas other methods exist that allow us ...
Hanna Martinsson, François Gaspard, Adrien ...