559 search results - page 38 / 112 » On Computing the Canonical Features of Software Systems |
117
click to vote
HPDC
2008
IEEE
15 years 4 months ago
2008
IEEE
The emergence of heterogeneous many core architectures presents a unique opportunity for delivering order of magnitude performance increases to high performance applications by ma...
SBMF
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
TACS
1991
Springer
15 years 1 months ago
1991
Springer
System F is a well-known typed λ-calculus with polymorphic types, which provides a basis for polymorphic programming languages. We study an extension of F, called F<: (pronoun...
COLING
2010
14 years 4 months ago
2010
Antelogue is a pronoun resolution prototype designed to be released as off-the-shelf software to be used autonomously or integrated with larger anaphora resolution or other NLP sy...
HAID
2009
Springer
15 years 2 months ago
2009
Springer
In this paper, recent developments of the HFVE vision-substitution system are described; and the initial results of a trial of the “Silooet” software are reported. The system u...