Search Sciweavers | Sciweavers

15614 search results - page 297 / 3123

» The State of State

189

click to vote

FMCO
2006
Springer

128views Formal Methods» more FMCO 2006»

Model-Based Test Selection for Infinite-State Reactive Systems

15 years 10 months ago

Download www.irisa.fr

This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...

Bertrand Jeannet, Thierry Jéron, Vlad Rusu

claim paper

Read More »

119

click to vote

FORMATS
2006
Springer

98views Formal Methods» more FORMATS 2006»

Simulator for Real-Time Abstract State Machines

15 years 10 months ago

Download www.math.spbu.ru

Pavel Vasilyev

claim paper

Read More »

187

click to vote

FORMATS
2006
Springer

175views Formal Methods» more FORMATS 2006»

Static Analysis for State-Space Reduction of Polygonal Hybrid Systems

15 years 10 months ago

Download www.cs.um.edu.mt

Polygonal hybrid systems (SPDI) are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. The reachability problem as well as...

Gordon J. Pace, Gerardo Schneider

claim paper

Read More »

130

click to vote

GECCO
2006
Springer

144views Optimization» more GECCO 2006»

Mating networks in steady state genetic algorithms are scale free

15 years 10 months ago

Download ivan.research.ucf.edu

M. Kivanc Oner, Ivan I. Garibay, Annie S. Wu

claim paper