2573 search results - page 424 / 515 » Combinations of Modal Logics |
135
click to vote
GLVLSI
2010
IEEE
15 years 9 months ago
2010
IEEE
NBTI is one of the most important silicon reliability problems facing processor designers today. The impact of NBTI can be mitigated at both the circuit and microarchitecture leve...
151
click to vote
DAC
2007
ACM
15 years 8 months ago
2007
ACM
Mixed Vt has been widely used to control leakage without affecting circuit performance. However, current approaches target the combinational circuits even though sequential elemen...
128
click to vote
PPDP
2000
Springer
15 years 8 months ago
2000
Springer
an abstract domain developed by D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of tech...
128
click to vote
ISCA
1997
IEEE
15 years 8 months ago
1997
IEEE
Portable systems demand energy efficiency in order to maximize battery life. IRAM architectures, which combine DRAM and a processor on the same chip in a DRAM process, are more en...
127
click to vote
FMICS
2008
Springer
15 years 6 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...