2786 search results - page 458 / 558 » A Practical Technique for Process Abstraction |
165
click to vote
ISCAS
2007
IEEE
16 years 16 days ago
2007
IEEE
Abstract— We study leakage-power reduction in standby random access memories (SRAMs) during data-retention. An SRAM cell requires a minimum critical supply voltage (DRV) above wh...
180
click to vote
PREMI
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. This paper presents an architecture that enables the recognizer to learn incrementally and, thereby adapt to document image collections for performance improvement. We ar...
174
click to vote
SPIN
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
151
click to vote
LICS
2006
IEEE
16 years 8 days ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
166
click to vote
ML
2006
ACM
16 years 6 days ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...