1638 search results - page 291 / 328 » A General Semantics for Evaluation Logic |
CIKM
2005
Springer
15 years 4 months ago
2005
Springer
Documents formatted in eXtensible Markup Language (XML) are becoming increasingly available in collections of various document types. In this paper, we present an approach for the...
119
click to vote
JFP
2007
14 years 11 months ago
2007
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...
112
click to vote
TMC
2012
13 years 1 months ago
2012
WiFi interface is known to be a primary energy consumer in mobile devices, and idle listening (IL) is the dominant source of energy consumption in WiFi. Most existing protocols, s...
VEE
2010
ACM
15 years 6 months ago
2010
ACM
Intense research on virtual machines has highlighted the need for flexible software architectures that allow quick evaluation of new design and implementation techniques. The inte...
FPGA
2007
ACM
15 years 5 months ago
2007
ACM
Boolean matching (BM) is a widely used technique in FPGA resynthesis and architecture evaluation. In this paper we present several improvements to the recently proposed SAT-based ...