226 search results - page 9 / 46 » IF: A Validation Environment for Timed Asynchronous Systems |
RAS
2010
13 years 7 months ago
2010
This paper presents the experimental validation of a recently proposed decentralized control law, for the collective circular motion of a team of nonholonomic vehicles about a vir...
DSRT
2005
IEEE
14 years 2 months ago
2005
IEEE
This document presents a simulation-based method for the development of real time embedded systems. This kind of system is really sensitive to the communication with external envi...
ICPP
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper investigates the power mode management problem for an IEEE 802.11-based mobile ad hoc network (MANET) that allows mobile hosts to tune to the power-saving (PS) mode. The...
ARC
2010
Springer
13 years 8 months ago
2010
Springer
Using FPGAs to accelerate High Performance Computing (HPC) applications is attractive, but has a huge associated cost: the time spent, not for developing efficient FPGA code but fo...
COORDINATION
2010
Springer
13 years 12 months ago
2010
Springer
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...