Sciweavers

3221 search results - page 262 / 645
» Termination of Linear Programs
Sort
View
VL
1998
IEEE
130views Visual Languages» more  VL 1998»
15 years 10 months ago
SAM - An Animated 3D Programming Language
This article presents the animated visual 3D programming language SAM (Solid Agents in Motion) for parallel systems specification and animation. A SAM program is a set of interact...
Christian Geiger, Wolfgang Müller 0003, Walde...
EUROPAR
2009
Springer
16 years 1 months ago
An Extension of the StarSs Programming Model for Platforms with Multiple GPUs
While general-purpose homogeneous multi-core architectures are becoming ubiquitous, there are clear indications that, for a number of important applications, a better performance/p...
Eduard Ayguadé, Rosa M. Badia, Francisco D....
IWFM
2003
172views Formal Methods» more  IWFM 2003»
15 years 7 months ago
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
Anthony Karel Seda, Máire Lane
CORR
2010
Springer
119views Education» more  CORR 2010»
15 years 6 months ago
Dynamic Policy Programming
In this paper, we consider the problem of planning and learning in the infinite-horizon discounted-reward Markov decision problems. We propose a novel iterative direct policysearc...
Mohammad Gheshlaghi Azar, Hilbert J. Kappen
ITSSA
2006
116views more  ITSSA 2006»
15 years 6 months ago
A Genetic Programming Approach to Automated Test Generation for Object-Oriented Software
: This article proposes a new method for creating test software for object-oriented systems using a genetic programming approach. It is believed that this approach is advantageous ...
Arjan Seesing, Hans-Gerhard Groß