Sciweavers

342 search results - page 4 / 69
» Compositional Testing with ioco
Sort
View
TEC
2011
77views more  TEC 2011»
14 years 8 months ago
Differential Evolution With Composite Trial Vector Generation Strategies and Control Parameters
—Trial vector generation strategies and control parameters have a significant influence on the performance of differential evolution (DE). This paper studies whether the performa...
Yong Wang, Zixing Cai, Qingfu Zhang
ICUMT
2009
14 years 11 months ago
A workflow on the dynamic composition and distribution of orchestration for testbed provisioning
Pan-European laboratory (Panlab) is based on a federation of distributed interconnected testbeds, providing access to platforms, networks and services for testing. Core components ...
Christos Tranoris, Spyros G. Denazis, Anastasius G...
ICASSP
2009
IEEE
14 years 11 months ago
Spoken language interpretation: On the use of dynamic Bayesian networks for semantic composition
In the context of spoken language interpretation, this paper introduces a stochastic approach to infer and compose semantic structures. Semantic frame structures are directly deri...
Marie-Jean Meurs, Fabrice Lefevre, Renato de Mori
TSMC
2010
14 years 8 months ago
Particle Swarm Optimization With Composite Particles in Dynamic Environments
In recent years, there has been a growing interest in the study of particle swarm optimization (PSO) in dynamic environments. This paper presents a new PSO model, called PSO with c...
Lili Liu, Shengxiang Yang, Dingwei Wang
TACAS
2010
Springer
156views Algorithms» more  TACAS 2010»
14 years 11 months ago
Preemption Sealing for Efficient Concurrency Testing
The choice of where a thread scheduling algorithm preempts one thread in order to execute another is essential to reveal concurrency errors such as atomicity violations, livelocks,...
Thomas Ball, Sebastian Burckhardt, Katherine E. Co...