Sciweavers

1200 search results - page 73 / 240
» Conformance Testing of Objects in Distributed Processing Sys...
Sort
View
AIIA
1995
Springer
15 years 9 months ago
Evolving non-Trivial Behaviors on Real Robots: an Autonomous Robot that Picks up Objects
Recently, a new approach that involves a form of simulated evolution has been proposed for the building of autonomous robots. However, it is still not clear if this approach may b...
Stefano Nolfi, Domenico Parisi
IPPS
2003
IEEE
15 years 11 months ago
An Implicitly Parallel Object-Oriented Matrix Library and its Application to Medical Physics
We introduce VLADYMIR, a matrix library that permits the development of array-based code in C++. It is especially useful for numerical simulation tasks and parallelises automatical...
Jonas Lätt, Bastien Chopard
CONCUR
2008
Springer
15 years 8 months ago
Dynamic Partial Order Reduction Using Probe Sets
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
Harmen Kastenberg, Arend Rensink
APSEC
2003
IEEE
15 years 11 months ago
Ensuring Compatible Interactions within Component-based Software Systems
The interface definition of a component in a distributed system forms the contract between the component itself and its neighbouring components regarding the use of its services....
Jun Han, Ksze Kae Ker
SCOPES
2004
Springer
15 years 11 months ago
An Integer Linear Programming Approach to Classify the Communication in Process Networks
New embedded signal processing architectures are emerging that are composed of loosely coupled heterogeneous components like CPUs or DSPs, specialized IP cores, reconfigurable uni...
Alexandru Turjan, Bart Kienhuis, Ed F. Deprettere