200 search results - page 14 / 40 » Knowledge engineering for automatic parallel performance dia... |
FLAIRS
2007
13 years 10 months ago
2007
The basic aim of the model proposed here is to automatically build semantic metatext structure for texts that would allow us to search and extract discourse and semantic informati...
LCPC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper, we propose an approach to automatic compiler parallelization based on language extensions that is applicable to a broader range of program structures and a...
CISIS
2010
IEEE
13 years 11 months ago
2010
IEEE
Offload C++ is an extended version of the C++ language, together with a compiler and runtime system, for automatically offloading general-purpose C++ code to run on the Synergistic...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
Recognizing and annotating the occurrence of team actions in observations of embodied agents has applications in surveillance and in training of military or sport teams. We descri...
BIRTHDAY
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...