Sciweavers

1423 search results - page 204 / 285
» Interpreting distributed ontologies
Sort
View
IPPS
1998
IEEE
14 years 13 days ago
Preliminary Results from a Parallel MATLAB Compiler
We are developing a compiler that translates ordinary MATLAB scripts into code suitable for compilation and execution on parallel computers supporting C and the MPI message-passin...
Michael J. Quinn, Alexey G. Malishevsky, Nagajagad...
CONCUR
1998
Springer
14 years 12 days ago
On Discretization of Delays in Timed Automata and Digital Circuits
In this paper we solve the following problem: \given a digital circuit composed of gates whose real-valued delays are in an integerbounded interval, is there a way to discretize ti...
Eugene Asarin, Oded Maler, Amir Pnueli
PPSN
1998
Springer
14 years 11 days ago
On Genetic Algorithms and Lindenmayer Systems
This paper describes a system for simulating the evolution of artificial 2D plant morphologies. Virtual plant genotypes are inspired by the mathematical formalism known as Lindenma...
Gabriela Ochoa
CONCUR
1993
Springer
14 years 8 days ago
Loop Parallelization in the Polytope Model
During the course of the last decade, a mathematical model for the parallelization of FOR-loops has become increasingly popular. In this model, a (perfect) nest of r FOR-loops is r...
Christian Lengauer
ICS
1993
Tsinghua U.
14 years 8 days ago
Dynamic Control of Performance Monitoring on Large Scale Parallel Systems
Performance monitoring of large scale parallel computers creates a dilemma: we need to collect detailed information to find performance bottlenecks, yet collecting all this data ...
Jeffrey K. Hollingsworth, Barton P. Miller