1784 search results - page 221 / 357 » Formal Models for Embedded System Design |
FPL
2003
Springer
15 years 3 months ago
2003
Springer
This paper introduces the notion of a software decelerator, to be used in logic-centric system architectures. Functions are offloaded from logic to a processor, accepting a speed ...
AUTOMATICA
2004
14 years 10 months ago
2004
In this paper we propose an innovative way of dealing with the design of fault-tolerant control systems. We show how the nonlinear output regulation theory can be successfully ado...
FPGA
2003
ACM
15 years 3 months ago
2003
ACM
FPGAs are one of the essential components in platform-based embedded systems. Such systems are customized and applied only to a limited set of applications. Also some applications...
SFM
2005
Springer
15 years 3 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
SPRINGSIM
2007
14 years 11 months ago
2007
DEVS is a Modeling and Simulation formalism that has been used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines the cell space as ...