43264 search results - page 8358 / 8653 » Comparing models of computation |
DATE
2009
IEEE
15 years 5 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
110
click to vote
ICRA
2009
IEEE
15 years 5 months ago
2009
IEEE
— This paper presents a system capable of recovering the trajectory of a vehicle from the video input of a single camera at a very high frame-rate. The overall frame-rate is limi...
102
click to vote
ICST
2009
IEEE
15 years 5 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
INFOCOM
2009
IEEE
15 years 5 months ago
2009
IEEE
— Optical packet switches of the foreseeable future are expected to have severely limited buffering capability, since storage of optical signals remains a difficult and expensiv...
114
Voted
IROS
2009
IEEE
15 years 5 months ago
2009
IEEE
— Programming a humanoid robot to perform an action that takes the robot’s complex dynamics into account is a challenging problem. Traditional approaches typically require high...