Sciweavers

884 search results - page 118 / 177
» Control structures in programs and computational complexity
Sort
View
ASAP
2003
IEEE
153views Hardware» more  ASAP 2003»
14 years 1 months ago
Hardware Synthesis for Multi-Dimensional Time
This paper introduces basic principles for extending the classical systolic synthesis methodology to multi-dimensional time. Multi-dimensional scheduling enables complex algorithm...
Anne-Claire Guillou, Patrice Quinton, Tanguy Risse...
GCC
2003
Springer
14 years 1 months ago
CoAuto: A Formal Model for Cooperative Processes
A formal model called CoAuto (Cooperative Automaton) is proposed ibe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separat...
Jinlei Jiang, Meilin Shi
MABS
2000
Springer
13 years 11 months ago
Multi Agent Based Simulation: Beyond Social Simulation
Multi Agent Based Simulation (MABS) has been used mostly in purely social contexts. However, compared to other approaches, e.g., traditional discrete event simulation, object-orien...
Paul Davidsson
GECCO
2008
Springer
144views Optimization» more  GECCO 2008»
13 years 9 months ago
Self-adaptive constructivism in Neural XCS and XCSF
For artificial entities to achieve high degrees of autonomy they will need to display appropriate adaptability. In this sense adaptability includes representational flexibility gu...
Gerard David Howard, Larry Bull, Pier Luca Lanzi
CL
2004
Springer
13 years 7 months ago
Nesting analysis of mobile ambients
A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Sei...
Chiara Braghin, Agostino Cortesi, Riccardo Focardi...