Sciweavers

2523 search results - page 195 / 505
» Correct Development of Embedded Systems
Sort
View
ICFEM
2009
Springer
15 years 24 days ago
A Compositional Approach on Modal Specifications for Timed Systems
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
Nathalie Bertrand, Axel Legay, Sophie Pinchinat, J...
ASAP
2008
IEEE
145views Hardware» more  ASAP 2008»
15 years 9 months ago
An MPSoC architecture for the Multiple Target Tracking application in driver assistant system
This article discusses the design of an application specific MPSoC architecture dedicated to Multiple Target Tracking (MTT). This application has its utility in driver assistant s...
Jehangir Khan, Smaïl Niar, Atika Rivenq, Yass...

Publication
3459views
15 years 9 months ago
VirtFS--A virtualization aware File System pass-through
This paper describes the design and implementation of a paravirtualized file system interface for Linux in the KVM environment. Today’s solution of sharing host files on the gues...
Venkateswararao Jujjuri, Eric Van Hensbergen, Anth...
ICRA
1998
IEEE
95views Robotics» more  ICRA 1998»
15 years 7 months ago
Stabilization of Systems with Changing Dynamics by Means of Switching
We present a framework for designing stable control schemes for systems whose dynamics change. The idea is to develop a controller for each of the regions defined by different dyn...
Milos Zefran, Joel W. Burdick
EUROMICRO
2006
IEEE
15 years 6 months ago
A UML Profile and a Methodology for Real-Time Systems Design
Modern real-time systems are increasingly complex and pervasive. Model Driven Engineering (MDE) is the emerging approach for the design of complex systems, strongly the usage of a...
Cesare Bartolini, Antonia Bertolino, Guglielmo De ...