5608 search results - page 861 / 1122 » Structure description tools |
121
Voted
ICCAD
2006
IEEE
16 years 20 days ago
2006
IEEE
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...
134
Voted
ICCAD
2004
IEEE
16 years 20 days ago
2004
IEEE
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
124
Voted
IUI
2009
ACM
16 years 19 days ago
2009
ACM
For blind web users, completing tasks on the web can be frustrating. Each step can require a time-consuming linear search of the current web page to find the needed interactive e...
134
click to vote
AAECC
2009
Springer
15 years 10 months ago
2009
Springer
We show that an affine-invariant code C of length pm is not permutation equivalent to a cyclic code except in the obvious cases: m = 1 or C is either {0}, the repetition code or it...
130
Voted
ICFEM
2009
Springer
15 years 10 months ago
2009
Springer
Fault-tolerant (FT) distributed protocols (such as group membership, consensus, etc.) represent fundamental building blocks for many practical systems, e.g., the Google File System...