4725 search results - page 703 / 945 » Dependence-Based Program Analysis |
131
click to vote
FCCM
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper provides an evaluation of SGI® RASC™ RC100 technology from a computational science software developer’s perspective. A brute force implementation of a two-point an...
167
click to vote
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Some decision problems related to balanced context-free languages are important for their application to the static analysis of programs generating XML strings. One such ...
146
click to vote
KSEM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper we propose a model that allows agents to deliberate using defeasible argumentation, to share knowledge with other agents, and to represent individual knowle...
157
click to vote
PKDD
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents a novel method for multi-relational classification via an aggregation-based Inductive Logic Programming (ILP) approach. We extend the classical ILP representati...
156
click to vote
SOCO
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Software development for embedded systems gains momentum but faces many challenges. Especially the constraints of deeply embedded systems, i.e., extreme resource and perf...