46 search results - page 7 / 10 » Quantum Logic Implementation of Unary Arithmetic Operations |
CADE
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
TACAS
2007
Springer
14 years 5 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper presents a technique for memory optimization for a class of computations that arises in the field of correlated electronic structure methods such as coupled cluster and...
ISMVL
2003
IEEE
14 years 4 months ago
2003
IEEE
The complexity of todays hardware systems steadily increases. Due to this fact new ways of efficiently describing systems are investigated. A very promising approach in this area...
FAST
2010
14 years 1 months ago
2010
is a unifying abstraction that simplifies data management by encapsulating different physical representations of the same logical data. Similar to a quBit (quantum bit), the parti...