1179 search results - page 100 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
137
click to vote
CATS
2006
15 years 5 months ago
2006
A complete description and proof of correctness are given for a new polynomial time algorithm for a class of codes based on directed graphs and involving construction well known i...
166
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
Many real-time applications are designed to work in different operating modes each characterized by different functionality and resource demands. With each mode change, resource d...
125
click to vote
ISCAS
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we consider the synthesis of a bandpass signal from complex-envelope samples using a polyphase conversion structure based on periodically nonuniform output samples. ...
113
click to vote
ISQED
2009
IEEE
15 years 10 months ago
2009
IEEE
An outstanding challenge for realizing nanoelectronic systems is nano-interface design, i.e., how to precisely access a nanoscale wire in an array for communication between a nano...
121
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— This paper deals with output feedback impulse control under set-membership uncertainty where the control realization consists of a sequence of δ-impulses. It indicates solutio...