169 search results - page 2 / 34 » Verification of Dynamically Reconfigurable Logic |
DAC
2007
ACM
14 years 5 months ago
2007
ACM
This paper describes a family of novel dynamically reconfigurable logic gates based on double-gate carbon nanotube field-effect transistors which demonstrate p-type or n-type switc...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
CSREAESA
2006
13 years 6 months ago
2006
Abstract
ICSE
2011
IEEE-ACM
12 years 8 months ago
2011
IEEE-ACM
—Dynamic reconfiguration – the ability to hot swap a component, or to introduce a new component into the system – is essential to supporting evolutionary change in long-live ...
CADE
2006
Springer
14 years 5 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...