1895 search results - page 231 / 379 » Modular Functional Descriptions |
96
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
136
Voted
IUI
2005
ACM
15 years 7 months ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
116
click to vote
VLSI
2005
Springer
15 years 7 months ago
2005
Springer
This work addresses the problem of application mapping in networks-on-chip (NoCs) having as goal to minimize the total dynamic energy consumption of a complex system-on-a-chip (So...
135
Voted
CEC
2003
IEEE
15 years 7 months ago
2003
IEEE
AbstractRecent advances in gene-expression proļ¬ling technologies provide large amounts of gene expression data. This raises the possibility for a functional understanding of geno...
127
click to vote
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
Chomskyās theory of syntax came after criticism of probabilistic associative models of word order in sentences. Immediate constituent structures are plausible but their descripti...