Sciweavers

10802 search results - page 393 / 2161
» Generative and developmental systems
Sort
View
161
Voted
FGCS
2000
83views more  FGCS 2000»
15 years 6 months ago
A Graph-based Ant System and its convergence
: A general framework for solving combinatorial optimization problems heuristically by the Ant System approach is developed. The framework is based on the concept of a construction...
Walter J. Gutjahr
SIAMCO
2002
79views more  SIAMCO 2002»
15 years 5 months ago
Multiscale Singularly Perturbed Control Systems: Limit Occupational Measures Sets and Averaging
An averaging technique for nonlinear multiscale singularly perturbed control systems is developed. Issues concerning the existence and structure of limit occupational measures sets...
Vladimir Gaitsgory, Minh-Tuan Nguyen
154
Voted
FASE
2009
Springer
16 years 28 days ago
Scalable Analysis of Scalable Systems
Abstract. We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants ...
Allan Clark, Stephen Gilmore, Mirco Tribastone
ECRTS
2006
IEEE
16 years 6 days ago
The Feasibility Analysis of Multiprocessor Real-Time Systems
The multiprocessor scheduling of collections of real-time jobs is considered. Sufficient tests are derived for determining whether a given collection of jobs can be scheduled to m...
Sanjoy K. Baruah, Nathan Fisher
157
Voted
ICTAC
2004
Springer
15 years 11 months ago
Minimal Spanning Set for Coverage Testing of Interactive Systems
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...
Fevzi Belli, Christof J. Budnik