169 search results - page 2 / 34 » Verification of Dynamically Reconfigurable Logic |
85
Voted
DAC
2007
ACM
16 years 2 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...
128
Voted
CORR
2010
Springer
14 years 10 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 ...
117
Voted
CSREAESA
2006
15 years 2 months ago
2006
Abstract
126
Voted
ICSE
2011
IEEE-ACM
14 years 4 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 ...
82
Voted
CADE
2006
Springer
16 years 1 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 (...