Sciweavers

2905 search results - page 30 / 581
» Formal Memetic Algorithms
Sort
View
94
Voted
ICASSP
2010
IEEE
15 years 29 days ago
A general formalism for the analysis of distributed algorithms
The major contribution of this paper is the presentation of a general unifying description of distributed algorithms allowing to map local, node-based, algorithms onto a single gl...
Ondrej Sluciak, Thibault Hilaire, Markus Rupp
90
Voted
HICSS
2008
IEEE
135views Biometrics» more  HICSS 2008»
15 years 7 months ago
Formal Foundation of Workflow Hyperpaths and a Graph Search Algorithm for Workflow Hyperpath Generation
While executing a process, many decisions are taken at its various decision points for selecting paths. There is a need for understanding and analyzing on various paths that emana...
Sinnakkrishnan Perumal, Ambuj Mahanti
102
Voted
SAFECOMP
2007
Springer
15 years 6 months ago
Formal Specification and Analysis of AFDX Redundancy Management Algorithms
Jan Täubrich, Reinhard von Hanxleden