Sciweavers

620 search results - page 93 / 124
» Algorithms and computations on cellular automata
Sort
View
ANSS
2000
IEEE
15 years 5 months ago
Flow Control and Dynamic Load Balancing in Time Warp
We present, in this paper, an algorithm which integrates flow control and dynamic load balancing in Time Warp. The algorithm is intended for use in a distributed memory environme...
Myongsu Choe, Carl Tropper
98
Voted
FORTE
1998
15 years 1 months ago
Exploiting Symmetry in Protocol Testing
Test generation and execution are often hampered by the large state spaces of the systems involved. In automata (or transition system) based test algorithms, taking advantage of s...
Judi Romijn, Jan Springintveld
106
Voted
DEDS
2006
119views more  DEDS 2006»
15 years 17 days ago
Diagnosability of Discrete Event Systems with Modular Structure
The diagnosis of unobservable faults in large and complex discrete event systems modeled by parallel composition of automata is considered. A modular approach is developed for diag...
Olivier Contant, Stéphane Lafortune, Demost...
102
Voted
ICDCSW
2006
IEEE
15 years 6 months ago
Multi-radio channel allocation in competitive wireless networks
Channel allocation has been extensively studied in the framework of cellular networks, but the emergence of new system concepts, such as cognitive radio systems, bring this topic ...
Márk Félegyházi, Mario Cagalj...
96
Voted
GI
2003
Springer
15 years 5 months ago
Visualization of cross sectional data for morphogenetic studies
Abstract: We report on a visualization system that has been implemented to study cellular events which regulate morphogenesis of large organs or whole embryos. For data acquisition...
Guido Brunnett, Marek Vanco, Christine Haller, S. ...