3256 search results - page 566 / 652 » Applications of Formal Methods to System Design and Verifica... |
132
click to vote
CGF
2004
15 years 4 months ago
2004
Light source animation is a particularly hard field of real-time global illumination algorithms since moving light sources result in drastic illumination changes and make coherenc...
115
Voted
PVLDB
2008
15 years 4 months ago
2008
Immortal DB is a transaction time database system designed to enable high performance for temporal applications. It is built into a commercial database engine, Microsoft SQL Serve...
166
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
- Vulnerabilities related to weak passwords are a pressing global economic and security issue. We report a novel, simple, and effective approach to address the weak password probl...
153
Voted
BIRTHDAY
2012
Springer
14 years 10 days ago
2012
Springer
3-D integration presents many new opportunities for architects and embedded systems designers. However, 3-D integration has not yet been explored by the cryptographic hardware com...
148
Voted
DAC
2007
ACM
16 years 5 months ago
2007
ACM
We discover significant value-dependent programming energy variations in multi-level cell (MLC) flash memories, and introduce an energy-aware data compression method that minimize...