13500 search results - page 6 / 2700 » Improved analysis of D |
109
Voted
EMSOFT
2008
Springer
15 years 2 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
PLDI
1995
ACM
15 years 3 months ago
1995
ACM
d Abstract) Alexander Aiken Manuel F¨ahndrich Raph Levieny Computer Science Division University of California, Berkeleyz Static memory managementreplaces runtime garbage collecti...
TROB
2002
14 years 12 months ago
2002
This paper concerns the stability analysis of a new class of model-free visual servoing methods. These methods are "model-free" since they are based on the estimation of ...
103
Voted
3DPVT
2002
IEEE
15 years 5 months ago
2002
IEEE
We seek to extract the three-dimensional motion of articulated objects by passive sensing. We first developed a multi-view system that segments objects from the background before...
115
Voted
BIRTHDAY
2012
Springer
13 years 8 months ago
2012
Springer
3-D integration presents many new opportunities for architects and embedded systems designers. However, 3-D integration has not yet been explored by the cryptographic hardware com...