628 search results - page 65 / 126 » Compositional design of isochronous systems |
ITC
2003
IEEE
15 years 3 months ago
2003
IEEE
Composite microsystems that integrate mechanical and fluidic components are fast emerging as the next generation of system-on-chip designs. As these systems become widespread in s...
TASE
2009
IEEE
15 years 4 months ago
2009
IEEE
Interrupts are important aspects of real-time embedded systems to handle events in time. When there exist nested interrupts in a real-time system, and an urgent interrupt is allow...
TSMC
2002
14 years 9 months ago
2002
Abstract--This paper presents a new nonlinear adaptive tracking controller for a class of general time-variant nonlinear systems. The control system consists of an inner loop and a...
ENTCS
2010
14 years 10 months ago
2010
Credo offers tools and techniques to model and analyze highly reconfigurable distributed systems. In this paper, we present an integrated methodology to use the Credo tool suite. ...
TGC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...