193 search results - page 30 / 39 » A New Redundancy Reducing Cipher |
ICIP
2007
IEEE
14 years 2 months ago
2007
IEEE
Nowadays, video playback devices have only limited fastforward/backward playback and even they cannot provide backward playback. The limitation is due to the motion compensated pr...
ICCAD
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
SC
2005
ACM
14 years 1 months ago
2005
ACM
As device scales shrink, higher transistor counts are available while soft-errors, even in logic, become a major concern. A new class of architectures, such as Merrimac and the IB...
CSB
2003
IEEE
14 years 1 months ago
2003
IEEE
The oligo microarray (DNA chip) technology in recent years has a significant impact on genomic study. Many fields such as gene discovery, drug discovery, toxicological research ...
AOSD
2003
ACM
14 years 1 months ago
2003
ACM
The FreeBSD operating system more than doubled in size between version 2 and version 4. Many changes to primary modularity are easy to spot at a high-level. For example, new devic...