2452 search results - page 145 / 491 » On Reduction of Lagrange Systems |
164
click to vote
COMCOM
1998
15 years 5 months ago
1998
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...
156
click to vote
TVLSI
2002
15 years 5 months ago
2002
We propose a technique for reducing the energy spent in the memory-processor interface of an embedded system during the execution of firmware code. The method is based on the idea ...
185
click to vote
TCOM
2011
15 years 29 days ago
2011
—An iterative algorithm employing decision feedback provided by either an equalizer or a channel decoder is proposed in order to compensate for the phase noise resulting from imp...
134
click to vote
TCAD
2010
15 years 23 days ago
2010
Abstract--An efficient passivity test based on canonical projector techniques is proposed for descriptor systems (DSs) widely encountered in circuit and system modeling. The test f...
149
click to vote
VLSID
2005
IEEE
16 years 6 months ago
2005
IEEE
This paper presents an RTL generation scheme for a SimpleScalar / PISA Instruction set architecture with system calls to implement C programs. The scheme utilizes ASIPmeister, a p...