2271 search results - page 276 / 455 » Scalable Software Libraries |
128
click to vote
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...
127
click to vote
AVI
2008
15 years 6 months ago
2008
This paper presents an interactive visualisation system that assists users of semi-automatic speech transcription systems to assess alternative recognition results in real time an...
147
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...
128
Voted
ISSRE
2007
IEEE
15 years 5 months ago
2007
IEEE
While important efforts are dedicated to system functional testing, very few works study how to test specifically security mechanisms, implementing a security policy. This paper i...
135
click to vote
CSC
2006
15 years 5 months ago
2006
- Two software packages for solving sparse systems of linear equations, SuperLU and UMFPACK, have been integrated with the University of Maine Ice Sheet Model for predicting the fo...