1895 search results - page 231 / 379 » Modular Functional Descriptions |
DATE
2006
IEEE
14 years 2 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ļ¬...
IUI
2005
ACM
14 years 1 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...
VLSI
2005
Springer
14 years 1 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...
CEC
2003
IEEE
14 years 1 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...
BIRTHDAY
2003
Springer
14 years 1 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...