1264 search results - page 48 / 253 » Designing Safe, Reliable Systems using Scade |
131
Voted
PEPM
1999
ACM
15 years 6 months ago
1999
ACM
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...
158
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
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...
74
Voted
ACSAC
2000
IEEE
15 years 6 months ago
2000
IEEE
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...
102
click to vote
ICCAD
2006
IEEE
15 years 10 months ago
2006
IEEE
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...
ICCV
2007
IEEE
15 years 8 months ago
2007
IEEE
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...