4719 search results - page 710 / 944 » Newtonian program analysis |
145
click to vote
FCCM
2007
IEEE
16 years 14 days 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...
185
click to vote
FOSSACS
2007
Springer
16 years 9 days 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 ...
157
click to vote
KSEM
2007
Springer
16 years 8 days 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...
177
Voted
PKDD
2007
Springer
16 years 7 days 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...
171
Voted
SOCO
2007
Springer
16 years 7 days 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...