Sciweavers

1105 search results - page 159 / 221
» Timed Automata Model for Component-Based Real-Time Systems
Sort
View
119
Voted
CODES
2004
IEEE
15 years 7 months ago
RTOS-centric hardware/software cosimulator for embedded system design
This paper presents an RTOS-centric hardwareisoftware cosimulator which we have developed for embedded system design. One of the most remarkable features in our cosimulator is tha...
Shinya Honda, Takayuki Wakabayashi, Hiroyuki Tomiy...
144
Voted
IEEEICCI
2008
IEEE
15 years 10 months ago
The computational manifold approach to consciousness and symbolic processing in the cerebral cortex
—A new abstract model of computation, the computational manifold, provides a framework for approaching the problems of consciousness, awareness, cognition and symbolic processing...
Douglas S. Greer
129
Voted
IPPS
2007
IEEE
15 years 9 months ago
The Design and Implementation of Real-time Event-based Applications with RTSJ
This paper presents a framework to design real-time event-based applications using Java. The Real-Time Specification for Java (RTSJ) is well designed for hard periodic real-time ...
Damien Masson, Serge Midonnet
RTSS
2005
IEEE
15 years 9 months ago
Trading End-to-End Latency for Composability
The periodic resource model for hierarchical, compositional scheduling abstracts task groups by resource requirements. We study this model in the presence of dataflow constraints...
Slobodan Matic, Thomas A. Henzinger
RTAS
2008
IEEE
15 years 9 months ago
Optimizing the Implementation of Communication in Synchronous Reactive Models
A fundamental asset of a model-based development process is the capability of providing an automatic implementation of the model that preserves its semantics and, at the same time...
Marco Di Natale, Guoqiang Wang, Alberto L. Sangiov...