![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Machine Learning-Driven Automatic Program Transformation to Increase Performance in Heterogeneous Architectures
We present a program transformation approach to convert procedural code into functionally equivalent code adapted to a given platform. Our framework is based on the application of guarded transformation rules ...
-
Chapter and Conference Paper
A Haskell Implementation of a Rule-Based Program Transformation for C Programs
Obtaining good performance when programming heterogeneous computing platforms poses significant challenges for the programmer. We present a program transformation environment, implemented in Haskell, where arc...
-
Article
A Read-Copy Update based parallel server for distributed crowd simulations
The Read-Copy Update (RCU) synchronization method was designed to cope with multiprocessor scalability some years ago, and it was included in the Linux kernel October of 2002. Recently, libraries providing user-s...
-
Article
Workload balancing in distributed crowd simulations: the partitioning method
The simulation of large crowds of autonomous agents with a realistic behavior is still a challenge for several computer research communities. Distributed architectures can provide scalability to crowd simulati...
-
Chapter and Conference Paper
A GPU-Based Multi-agent System for Real-Time Simulations
The huge number of cores existing in current Graphics Processor Units (GPUs) provides these devices with computing capabilities that can be exploited by distributed applications. In particular, these capabilit...
-
Chapter and Conference Paper
Tracking Causality by Visualization of Multi-Agent Interactions Using Causality Graphs
Programming multi-agent systems is a hard task and requires tools to assist in the process of testing, validation and verification of both MAS specifications and source code. In this paper, we propose the use ...
-
Chapter
Using Semantic Causality Graphs to Validate MAS Models
Multi-agent systems methodologies define tasks and tools covering all the development cycle. Modelling and implementation activities are well supported and experimented. However, there has been few effort inve...