9521 search results - page 1657 / 1905 » Compiling with continuations, continued |
229
click to vote
PATMOS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...
178
click to vote
SAFECOMP
2007
Springer
16 years 19 days ago
2007
Springer
The general trend towards ubiquitous networking has reached the realm of airplanes. E-enabled airplanes with wired and wireless network interfaces offer a wide spectrum of network ...
187
click to vote
SAT
2007
Springer
16 years 19 days 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...
182
click to vote
SCHULE
2007
Springer
16 years 19 days ago
2007
Springer
: In our department we have a long history of developing interfaces for learning, which are framed by constructivist and constructionist theories of learning. Thus we try to create...
156
click to vote
SEMWEB
2007
Springer
16 years 19 days ago
2007
Springer
Recent research on model counting in CNF formulas has shown that a certain sampling method can yield results that are sound with a provably high probability. The key idea is to ite...