532 search results - page 22 / 107 » Optimal Control Using Bisimulations: Implementation |
ICCAD
2007
IEEE
14 years 1 months ago
2007
IEEE
—In latency-insensitive design shell modules are used to encapsulate system components (pearls) in order to interface them with the given latency-insensitive protocol and dynamic...
CGO
2004
IEEE
13 years 11 months ago
2004
IEEE
Static Single Assignment form is an intermediate representation that uses instructions to merge values at each confluent point of the control flow graph. instructions are not ma...
LISP
2008
13 years 7 months ago
2008
We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a datab...
ICECCS
2008
IEEE
14 years 1 months ago
2008
IEEE
Traditionally shared data areas have been used to efficiently communicate between embedded system tasks, such as periodically executing control system tasks. Such implementations ...
CDC
2009
IEEE
14 years 1 days ago
2009
IEEE
Abstract— A broad class of problems in circuits, electromagnetics, and optics can be expressed as finding some parameters of a linear system with a specific type. This paper is...