1760 search results - page 56 / 352 » A System to Mark Programs Automatically |
EUROPAR
2007
Springer
15 years 6 months ago
2007
Springer
We describe an approach to automatic parallelisation of programs written in Sieve C++ (Codeplay’s C++ extension), using the Sieve compiler and runtime system. In Sieve C++, the p...
179
click to vote
POPL
2007
ACM
16 years 4 days ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
107
click to vote
ZUM
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
100
click to vote
ICASSP
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper two aspects of generating and using phonetic Arabic dictionaries are described. First, the use of single pronunciation acoustic models in the context of Arabic large...
USENIX
1994
15 years 1 months ago
1994
Concert/C is a new language for distributed C programming that extends ANSI C to support distribution and process dynamics. Concert/C provides the ability to create and terminate ...