2649 search results - page 378 / 530 » Temporal Theories of Reasoning |
ICCD
2002
IEEE
14 years 6 months ago
2002
IEEE
With technology advancing toward deep submicron, leakage energy is of increasing concern, especially for large onchip array structures such as caches and branch predictors. Recent...
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
GLVLSI
2009
IEEE
14 years 3 months ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
BIBM
2008
IEEE
14 years 3 months ago
2008
IEEE
Even after an experimentally prepared gene expression data set has been pre-processed to account for variations in the microarray technology, there may be inconsistencies between ...