22 search results - page 1 / 5 » Control reduction theories: the benefit of structural substi... |
JFP
2008
13 years 5 months ago
2008
The historical design of the call-by-value theory of control relies on the reification of evaluation contexts as regular functions and on the use of ordinary term application for ...
CDC
2010
IEEE
13 years 11 days ago
2010
IEEE
Abstract-- We consider the concept of Stokes-Dirac structures in boundary control theory proposed by van der Schaft and Maschke. We introduce Poisson reduction in this context and ...
FPGA
2008
ACM
13 years 7 months ago
2008
ACM
Pattern-based synthesis has drawn wide interest from researchers who tried to utilize the regularity in applications for design optimizations. In this paper we present a general p...
DAC
2003
ACM
14 years 6 months ago
2003
ACM
The impact of technology scaling on three run-time leakage reduction techniques (Input Vector Control, Body Bias Control and Power Supply Gating) is evaluated by determining limit...
TCAD
2008
13 years 5 months ago
2008
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...