2373 search results - page 426 / 475 » Towards a Model of Computer Systems Research |
152
click to vote
ICLP
2001
Springer
15 years 8 months ago
2001
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing solutions to goals. Quite a few interesting applications of tabling...
119
click to vote
ESOP
1999
Springer
15 years 8 months ago
1999
Springer
MetaML is a multi-stage functional programming language featuring three constructs that can be viewed as statically-typed refinements of the back-quote, comma, and eval of Scheme....
140
click to vote
ICRA
1995
IEEE
15 years 7 months ago
1995
IEEE
Maintainability is an important issue in design where the accessibility of certain parts is determined for routine maintenance. In the past its study has been largely manual and l...
162
click to vote
SEKE
2010
Springer
15 years 2 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
139
click to vote
ICMLA
2009
15 years 1 months ago
2009
Detecting impending failure of hard disks is an important prediction task which might help computer systems to prevent loss of data and performance degradation. Currently most of t...