5180 search results - page 854 / 1036 » Concurrency, Time, and Constraints |
170
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Autonomous estimation of the altitude of an Unmanned Aerial Vehicle (UAV) is extremely important when dealing with flight maneuvers like landing, steady flight, etc. ...
174
click to vote
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...
182
click to vote
MICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
The increasing power dissipation of current processors and processor cores constrains design options, increases packaging and cooling costs, increases power delivery costs, and de...
161
click to vote
COCOON
2009
Springer
16 years 1 months ago
2009
Springer
A graph class is sandwich monotone if, for every pair of its graphs G1 = (V, E1) and G2 = (V, E2) with E1 ⊂ E2, there is an ordering e1, . . . , ek of the edges in E2 \ E1 such ...
155
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...