Sciweavers

2088 search results - page 287 / 418
» Formal Approach to Integrating Feature and Architecture Mode...
Sort
View
DATE
2006
IEEE
112views Hardware» more  DATE 2006»
16 years 12 days ago
On the verification of automotive protocols
Verification quality is a must for functional safety in electronic systems. In automotive, the verification flow is historically based on a layered approach, where each level (mod...
G. Zarri, F. Colucci, F. Dupuis, R. Mariani, M. Pa...
DATE
2005
IEEE
140views Hardware» more  DATE 2005»
15 years 12 months ago
Quality-Driven Proactive Computation Elimination for Power-Aware Multimedia Processing
We present a novel, quality-driven, architectural-level approach that trades-off the output quality to enable power-aware processing of multimedia streams. The error tolerance of ...
Shrirang M. Yardi, Michael S. Hsiao, Thomas L. Mar...
ER
2006
Springer
121views Database» more  ER 2006»
15 years 10 months ago
Method Chunks for Interoperability
Interoperability is a key property of enterprise applications, which is hard to achieve due to the large number of interoperating components and semantic heterogeneity. Platform-ba...
Jolita Ralyté, Per Backlund, Harald Kü...
ICIP
2009
IEEE
16 years 7 months ago
Combining Multimodal And Temporal Contextual Information For Semantic Video Analysis
In this paper, a graphical modeling-based approach to semantic video analysis is presented for jointly realizing modality fusion and temporal context exploitation. Overall, the ex...
ICRA
1993
IEEE
152views Robotics» more  ICRA 1993»
15 years 10 months ago
The USC Autonomous Flying Vehicle: An Experiment in Real Time Behavior-Based Control
A control system architecture is described for an autonomous flying vehicle. The vehicle, equipped with fourteen sensors, uses a model helicopter as an airframe. The control syste...
M. Anthony Lewis, Andrew H. Fagg, George A. Bekey