2858 search results - page 263 / 572 » Logics with Aggregate Operators |
159
click to vote
QEST
2007
IEEE
16 years 26 days ago
2007
IEEE
—Performance Trees are a recently-proposed mechanism for the specification of performance properties and measures. They represent an attractive alternative to stochastic logics,...
160
click to vote
MKM
2007
Springer
16 years 21 days ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
173
click to vote
DATE
2006
IEEE
16 years 19 days ago
2006
IEEE
Quantum information processing technology is in its pioneering stage and no proficient method for synthesizing quantum circuits has been introduced so far. This paper introduces a...
105
click to vote
ISCAS
2006
IEEE
16 years 18 days ago
2006
IEEE
— Recently, there has been renewed interest in structured logic arrays due to a number of inherent advantages. However, before they will be more widely adopted, structured logic ...
150
click to vote
IWANN
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. In this paper we analyse a serial (ripple carry) and a parallel (Kogge-Stone) adder when operating in subthreshold at 100nm and 70nm. These are targeted for ultra low pow...