Sciweavers

1472 search results - page 158 / 295
» An approach to the integration of peer-to-peer systems with ...
Sort
View
FDL
2005
IEEE
14 years 2 months ago
SystemC-Based Communication and Performance Analysis
In today’s electronic system-level (ESL) design processes, an early analysis of a system’s communication and nce characteristics is becoming a key challenge. The availability ...
Axel G. Braun, Joachim Gerlach, Wolfgang Rosenstie...
QOSA
2007
Springer
14 years 3 months ago
Extending the Capabilities of Component Models for Embedded Systems
Component-based development helps to improve the modularity and reusability of embedded systems. Component models devised for embedded systems are typically restricted due to the l...
Ihor Kuz, Yan Liu
IVC
2006
171views more  IVC 2006»
13 years 9 months ago
Motion detection and tracking using belief indicators for an automatic visual-surveillance system
A motion detection and tracking algorithm for human and car activity surveillance is presented and evaluated by using the Pets'2000 test sequence. Proposed approach uses a te...
Cina Motamed
ICRA
2002
IEEE
148views Robotics» more  ICRA 2002»
14 years 2 months ago
Perception Errors in Vision Guided Walking: Analysis, Modeling, and Filtering
This article deals with specific aspects concerning the visual perception process of a humanoid walking machine. An active vision system provides the information about the enviro...
Oliver Lorch, Javier F. Seara, Klaus H. Strobl, Uw...
ATVA
2006
Springer
153views Hardware» more  ATVA 2006»
14 years 1 months ago
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
Wonhong Nam, Rajeev Alur