1140 search results - page 153 / 228 » Progress on Certifying Algorithms |
ICCD
2002
IEEE
14 years 7 months ago
2002
IEEE
Boolean functions are fundamental to synthesis and verification of digital logic, and compact representations of Boolean functions have great practical significance. Popular repre...
ICCAD
2005
IEEE
14 years 7 months ago
2005
IEEE
Many commercially available embedded processors are capable of extending their base instruction set for a specific domain of applications. While steady progress has been made in t...
DCC
2010
IEEE
14 years 4 months ago
2010
IEEE
Channel-optimized index assignment of source codewords is arguably the simplest way of improving transmission error resilience, while keeping the source and/or channel codes intac...
ASUNAM
2009
IEEE
14 years 4 months ago
2009
IEEE
In order to understand the evolution of online identities, we measured the correlation between past and current representations of self on the MySpace social network. We applied s...
ICDE
2009
IEEE
14 years 4 months ago
2009
IEEE
— Existing stream processing systems are optimized for a specific metric, which may limit their applicability to diverse applications and environments. This paper presents XFlow...