252 search results - page 32 / 51 » Why Do Upgrades Fail and What Can We Do about It |
CADE
2005
Springer
14 years 8 months ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
MOBICOM
2006
ACM
14 years 1 months ago
2006
ACM
It was recently reported that all known face and combined greedy-face routing variants cannot guarantee message delivery in arbitrary undirected planar graphs. The purpose of this...
BMCBI
2004
13 years 7 months ago
2004
Background: The integration of many aspects of protein/DNA structure analysis is an important requirement for software products in general area of structural bioinformatics. In fa...
SIGCSE
2009
ACM
14 years 8 months ago
2009
ACM
Many CS1 courses lack a breadth in coverage of computing related topics and do not actively engage in nonprogramming computer science topics. In addition, many introductory (and...
AO
2007
13 years 7 months ago
2007
As a first step in the larger project of charting the ontology of computer programs, we pose three central questions: (1) Can programs, hardware, and metaprograms be organized into...