Sciweavers

1690 search results - page 119 / 338
» Algorithmic Properties of Millstream Systems
Sort
View
TCIAIG
2010
14 years 11 months ago
Controlled Procedural Terrain Generation Using Software Agents
Procedural terrain generation is used to create landforms for applications such as computer games and flight simulators. While most of the existing work has concentrated on algori...
Jonathon Doran, Ian Parberry
IJPP
2008
148views more  IJPP 2008»
15 years 4 months ago
Analysis and Optimisation of Hierarchically Scheduled Multiprocessor Embedded Systems
We present an approach to the analysis and optimisation of heterogeneous multiprocessor embedded systems. The systems are heterogeneous not only in terms of hardware components, b...
Traian Pop, Paul Pop, Petru Eles, Zebo Peng
ATAL
1998
Springer
15 years 8 months ago
Goal Satisfaction in Large Scale Agent-Systems: A Transportation Example
Abstract. A framework for cooperative goal-satisfaction in large-scale MultiAgent Systems (MAS) is presented in this paper. This is performed by demonstrating the applicability of ...
Onn Shehory, Sarit Kraus, Osher Yadgar
ENTCS
2008
100views more  ENTCS 2008»
15 years 4 months ago
Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
Jos C. M. Baeten, Dirk A. van Beek, Pieter J. L. C...
MOBIHOC
2008
ACM
16 years 4 months ago
Optimal relay assignment for cooperative communications
Recently, cooperative communications, in the form of keeping each node with a single antenna and having a node exploit a relay node's antenna, is shown to be a promising appr...
Yi Shi, Sushant Sharma, Y. Thomas Hou, Sastry Komp...