260 search results - page 11 / 52 » Range and Set Abstraction using SAT |
ICS
2009
Tsinghua U.
14 years 3 days ago
2009
Tsinghua U.
ABSTRACT Because of technology advances power consumption has emerged up as an important design issue in modern high-performance microprocessors. As a consequence, research on redu...
DAC
2006
ACM
14 years 8 months ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
NIPS
2008
13 years 9 months ago
2008
We present an algorithm for solving a broad class of online resource allocation . Our online algorithm can be applied in environments where abstract jobs arrive one at a time, and...
ISER
1999
Springer
13 years 11 months ago
1999
Springer
Abstract: In November of 1998, an expedition from Carnegie Mellon University travelled to the Patriot Hills, Antarctica. The purpose of the expedition was to demonstrate autonomous...
SAT
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...