6155 search results - page 264 / 1231 » A language for multiple models of computation |
152
click to vote
DATE
2006
IEEE
16 years 21 days 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ļ¬...
162
click to vote
PCI
2005
Springer
16 years 4 days ago
2005
Springer
Nowadays, the number of protein sequences being stored in central protein databases from labs all over the world is constantly increasing. From these proteins only a fraction has b...
170
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
This paper discusses the use of networks-on-chip (NoCs) consisting of multiple voltage-frequency islands to cope with power consumption, clock distribution and parameter variation...
176
click to vote
TABLETOP
2007
IEEE
16 years 28 days ago
2007
IEEE
A growing body of research is investigating the use of tabletop displays, in particular to support collaborative work. People often interact directly with these displays, typicall...
189
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The capacity of the Gaussian wiretap channel model is analyzed when there are multiple antennas at the sender, intended receiver and eavesdropper. The associated channel matrices a...