2062 search results - page 371 / 413 » Derivatives of Logical Formulas |
77
Voted
EMSOFT
2007
Springer
15 years 5 months ago
2007
Springer
Flash memory is a storage medium that is becoming more and more popular. Though not yet fully embraced in traditional computing systems, Flash memory is prevalent in embedded syst...
SAT
2007
Springer
15 years 5 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...
INFOCOM
2005
IEEE
15 years 4 months ago
2005
IEEE
— Packet buffers in router/switch interfaces constitute a central element of packet networks. The appropriate sizing of these buffers is an important and open research problem. M...
104
click to vote
CIKM
2005
Springer
15 years 4 months ago
2005
Springer
Search engines process queries conjunctively to restrict the size of the answer set. Further, it is not rare to observe a mismatch between the vocabulary used in the text of Web p...
80
Voted
ASPDAC
2004
ACM
15 years 4 months ago
2004
ACM
— Robust power distribution within available routing area resources is critical to chip performance and reliability. In this paper, we propose a novel and efficient method for o...