11653 search results - page 203 / 2331 » The Development of the C Language |
141
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
PGA (ProGram Algebra) is an algebra of programs which concerns programs in their simplest form: sequences of instructions. Molecular dynamics is a simple model of computation deve...
148
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Algorithmic skeletons can be used to write architecture independent programs, shielding application developers from the details of a parallel implementation. In this paper, we pre...
114
click to vote
ICDAR
2005
IEEE
15 years 9 months ago
2005
IEEE
In Africa, there are a number of languages with their own indigenous scripts. This paper presents an OCR for Amharic scripts. Amharic is the official and working language of Ethio...
129
Voted
CASSIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...
124
click to vote
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
Recent trends in software re-engineering have included tools to extract program slices from existing Ada procedures. One such tool has already been developed that extracts program...