193 search results - page 30 / 39 » A New Redundancy Reducing Cipher |
143
click to vote
ICIP
2007
IEEE
15 years 11 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...
165
click to vote
ICCAD
2006
IEEE
15 years 11 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...
236
click to vote
SC
2005
ACM
15 years 11 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...
133
click to vote
CSB
2003
IEEE
15 years 10 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 ...
146
click to vote
AOSD
2003
ACM
15 years 10 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...