5239 search results - page 449 / 1048 » Model-Integrated Embedded Systems |
271
click to vote
Publication
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...
211
click to vote
RTCSA
2006
IEEE
16 years 1 months ago
2006
IEEE
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
188
click to vote
AINA
2010
IEEE
16 years 10 days ago
2010
IEEE
Intelligent connected devices become a more vital part of our lives. In contrast to prior years, today embedded systems and devices are loosely coupled and cooperate with each oth...
173
click to vote
DATE
2002
IEEE
16 years 5 days ago
2002
IEEE
With the term flexibility, we introduce a new design dimension of an embedded system that quantitatively characterizes its feasibility in implementing not only one, but possibly ...
168
click to vote
ADAEUROPE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Ada 95 has been the first standardized language to include distribution in the core language itself. However, the set of features required by the Distributed Systems Ann...