Sciweavers

3730 search results - page 318 / 746
» Robust design of embedded systems
Sort
View
ICFEM
2009
Springer
15 years 4 months 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...

Publication
3459views
16 years 26 days 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 11 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
JSI
1998
125views more  JSI 1998»
15 years 6 months ago
The Algebraic Framework for Object-Oriented Systems
Abstract. Category Theory is introduced as the mathematical model for object-oriented systems which are distributed, heterogeneous, real-time, embedded, and open-ended. Each object...
D. H. H. Yoon
WORDS
2003
IEEE
16 years 12 hour ago
An Interactive Object Based Multimedia System for IP Networks
In this paper, we present the design of a flexible framework for an IP-based network that will support an interactive multimedia (MM) system. The system will enable end users to: ...
Magda El Zarki, Liang Cheng, Haining Liu, Xiaoping...