413 search results - page 10 / 83 » A formalism for functionality preserving system level transf... |
FAC
2008
13 years 8 months ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
ADAEUROPE
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
FDL
2006
IEEE
14 years 2 months ago
2006
IEEE
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
DAC
2002
ACM
14 years 9 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
ICIP
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper proposes a new type of layered video coding especially for the use of monitoring a river or a water channel. A sensor node of the system decomposes a video signal into ...