4126 search results - page 644 / 826 » Set based logic programming |
126
Voted
TOOLS
2009
IEEE
15 years 9 months ago
2009
IEEE
Single inheritance often forces developers to duplicate code and logic. This widely recognized situation affects both business code and tests. In a large and complex application w...
134
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...
111
click to vote
ISCA
2008
IEEE
15 years 9 months ago
2008
IEEE
As CMOS technology scales and more transistors are packed on to the same chip, soft error reliability has become an increasingly important design issue for processors. Prior resea...
111
click to vote
LPAR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We distill Penrose’s argument against the “artificial intelligence premiss”, and analyze its logical alternatives. We then clarify the different positions one can...
157
Voted
HT
2004
ACM
15 years 8 months ago
2004
ACM
In this paper, we present a model-driven methodology and toolset for automatic generation of hypertext system repositories. Our code generator, called Bamboo, is based on a Contai...