1054 search results - page 182 / 211 » Models for automatic generation of safety-critical real-time... |
143
click to vote
SEKE
2010
Springer
15 years 6 days ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
106
click to vote
ICRA
2000
IEEE
15 years 6 months ago
2000
IEEE
We present an approach for automatically generating complete process plans, including xturing and CNC code, from high level shape feature part descriptions. The demonstration syst...
137
Voted
PATMOS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Reduction of chip packaging and cooling costs for deep sub-micron SystemOn-Chip (SOC) designs is an emerging issue. We present a simulation-based methodology able to real...
118
click to vote
SI3D
1995
ACM
15 years 5 months ago
1995
ACM
A visual navigation system is described which uses texture mapped primitives to represent clusters of objects to maintain high and approximately constant frame rates. In cases whe...
142
Voted
PAMI
2011
14 years 8 months ago
2011
—This paper presents an automatic segmentation algorithm for video frames captured by a (monocular) webcam that closely approximates depth segmentation from a stereo camera. The ...