2501 search results - page 266 / 501 » Logics with Rank Operators |
136
click to vote
ASAP
2004
IEEE
15 years 9 months ago
2004
IEEE
In this paper, we present the design of a carry skip adder that achieves low power dissipation and high-performance operation. The carry skip adder's delay and power dissipat...
149
click to vote
CADE
2006
Springer
15 years 9 months ago
2006
Springer
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...
176
click to vote
FATES
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
168
click to vote
FOSSACS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
192
click to vote
INFOSCALE
2007
ACM
15 years 7 months ago
2007
ACM
It is important to provide adaptive data processing in wireless sensor networks in order to deal with various applications. In this paper,we propose a WIreless Sensor Networks Ont...