9626 search results - page 350 / 1926 » Invariant Based Programming |
185
click to vote
IWANN
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The aim of this paper is to present a new tool of multiple instance learning which is designed using a grammar based genetic programming (GGP) algorithm. We study its app...
148
click to vote
IAT
2006
IEEE
16 years 22 days ago
2006
IEEE
We present a new approach to distributed problem solving based on high-level program execution. While this technique has proven itself for single-agent systems based on the Golog ...
148
click to vote
FCCM
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper presents a processor and memory-hierarchy prototype based on FPGAs that provides hardware support for program rollback. We use this prototype to demonstrate how compile...
171
click to vote
EUROPAR
2005
Springer
16 years 6 days ago
2005
Springer
This paper describes a novel approach to performance analysis for parallel and distributed systems that is based on soft computing. We introduce the concept of performance score re...
179
click to vote
RISE
2004
Springer
16 years 21 hour ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...