Sciweavers

1022 search results - page 110 / 205
» The Modelling of Embedded Systems Using HASoC
Sort
View
WORDS
2003
IEEE
14 years 3 months ago
An Adaptive Fault-Tolerant Component Model
This paper presents a component model for building distributed applications with fault-tolerance requirements. The AFT-CCM model selects the configuration of replicated services d...
Joni da Silva Fraga, Frank Siqueira, Fábio ...
RTCSA
2005
IEEE
14 years 3 months ago
RTPS Middleware for Real-Time Distributed Industrial Vision Systems
Designing and constructing Real-Time Distributed Industrial Vision Systems (RT-DIVS) from scratch is very complicated task. RT-DIVS has Conflicting requirements such as reasonable...
Basem Almadani
E4MAS
2005
Springer
14 years 3 months ago
Environments for Situated Multi-agent Systems: Beyond Infrastructure
There is a lot of confusion on what the environment of a multi-agent system (MAS) comprises. Sometimes, researchers refer to the environment as the logical entity of a MAS in which...
Danny Weyns, Giuseppe Vizzari, Tom Holvoet
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
14 years 2 months ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...
MTV
2003
IEEE
109views Hardware» more  MTV 2003»
14 years 3 months ago
A Methodology for Validation of Microprocessors using Equivalence Checking
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Nikil D. Dutt