Sciweavers

2303 search results - page 190 / 461
» The Cryptographic Abstract Machine
Sort
View
ICLP
2009
Springer
16 years 7 months ago
Constraint Based Languages for Biological Reactions
In this paper, we study the modelization of biochemical reaction by using concurrent constraint programming idioms. In particular we will consider the stochastic concurrent constra...
Marco Bottalico, Stefano Bistarelli
EUROPAR
2007
Springer
16 years 16 days ago
A Framework for Scheduling with Online Availability
Abstract. With the increasing popularity of large-scale distributed computing networks, a new aspect has to be considered for scheduling problems: machines may not be available per...
Florian Diedrich, Ulrich M. Schwarz
ICCS
2007
Springer
16 years 16 days ago
Scalability Analysis of the SPEC OpenMP Benchmarks on Large-Scale Shared Memory Multiprocessors
Abstract. We present a detailed investigation of the scalability characteristics of the SPEC OpenMP benchmarks on large-scale shared memory multiprocessor machines. Our study is ba...
Karl Fürlinger, Michael Gerndt, Jack Dongarra
PACT
2005
Springer
15 years 12 months ago
Parallel Implementation of Back-Propagation Neural Network Software on SMP Computers
Abstract. Experiments of neural network training procedure parallelization are conducted. Several styles of parallelization are described and compared, estimations of neural networ...
Victor G. Tsaregorodtsev
ECML
2004
Springer
15 years 11 months ago
Model Approximation for HEXQ Hierarchical Reinforcement Learning
HEXQ is a reinforcement learning algorithm that discovers hierarchical structure automatically. The generated task hierarchy repthe problem at different levels of abstraction. In ...
Bernhard Hengst