Sciweavers

1264 search results - page 48 / 253
» Designing Safe, Reliable Systems using Scade
Sort
View
131
Voted
PEPM
1999
ACM
15 years 6 months ago
Certifying Compilation and Run-Time Code Generation
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
Luke Hornof, Trevor Jim
CVPR
2010
IEEE
15 years 9 months ago
Rapid Selection of Reliable Templates for Visual Tracking
We propose a method that rates the suitability of given templates for template-based tracking in real-time. This is important for applications with online template selection, such...
Nicolas Alt, Stefan Hinterstoisser, Nassir Navab
74
Voted
ACSAC
2000
IEEE
15 years 6 months ago
A Reliable, Scalable General-Purpose Certificate Store
Although there have been various proposals to build large-scale PKIs, there appears to be no research publicly available on the underlying certificate store which will be required...
Peter Gutmann
ICCAD
2006
IEEE
99views Hardware» more  ICCAD 2006»
15 years 10 months ago
Information theoretic approach to address delay and reliability in long on-chip interconnects
With shrinking feature size and growing integration density in the Deep Sub-Micron technologies, the global buses are fast becoming the “weakest-links” in VLSI design. They ha...
Rohit Singhal, Gwan S. Choi, Rabi N. Mahapatra
ICCV
2007
IEEE
15 years 8 months ago
A reliable skin mole localization scheme
Mole pattern changes are important cues in detecting melanoma at an early stage. As a first step to automatically register mole pattern changes from skin images, this paper prese...
Taeg Sang Cho, William T. Freeman, Hensin Tsao