Sciweavers

7486 search results - page 76 / 1498
» The Limits of Quantum Computers
Sort
View
DAC
2000
ACM
14 years 9 months ago
A design of and design tools for a novel quantum dot based microprocessor
Michael T. Niemier, Michael J. Kontz, Peter M. Kog...
WOLLIC
2009
Springer
14 years 3 months ago
The Arrow Calculus as a Quantum Programming Language
Juliana Kaizer Vizzotto, André Rauber Du Bo...
FM
2006
Springer
172views Formal Methods» more  FM 2006»
14 years 15 days ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
IPPS
2008
IEEE
14 years 3 months ago
Programmability of the HPCS Languages: A case study with a quantum chemistry kernel
As high-end computer systems present users with rapidly increasing numbers of processors, possibly also incorporating attached co-processors, programmers are increasingly challeng...
Aniruddha G. Shet, Wael R. Elwasif, Robert J. Harr...
VLSID
2006
IEEE
145views VLSI» more  VLSID 2006»
14 years 2 months ago
Novel BCD Adders and Their Reversible Logic Implementation for IEEE 754r Format
IEEE 754r is the ongoing revision to the IEEE 754 floating point standard and a major enhancement to the standard is the addition of decimal format. This paper proposes two novel ...
Himanshu Thapliyal, Saurabh Kotiyal, M. B. Sriniva...