Sciweavers

2379 search results - page 209 / 476
» Modeling, scheduling, and simulation of switched processing ...
Sort
View
UML
2004
Springer
15 years 11 months ago
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
Luciano Lavagno, Marco Di Natale, Alberto Ferrari,...
FORMATS
2003
Springer
15 years 11 months ago
Analysis of Real Time Operating System Based Applications
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
Libor Waszniowski, Zdenek Hanzálek
COMSWARE
2007
IEEE
16 years 22 days ago
Real-time End-to-end Network Monitoring in Large Distributed Systems
— Measuring real-time end-to-end network path performance metrics is important for several distributed applications such as media streaming systems (e.g., for switching to paths ...
Han Hee Song, Praveen Yalagandula
HCI
2007
15 years 7 months ago
A System for Adaptive Multimodal Interaction in Crisis Environments
In the recent years multimodal interfaces have acquired an important role in human computer interaction applications. Subsequently these interfaces become more and more human-orien...
Dragos Datcu, Zhenke Yang, Léon J. M. Rothk...
CF
2007
ACM
15 years 10 months ago
Massively parallel processing on a chip
MppSoC is a SIMD architecture composed of a grid of processors and memories connected by a X-Net neighbourhood network and a general purpose global router. MppSoC is an evolution ...
Philippe Marquet, Simon Duquennoy, Sébastie...