Sciweavers

4689 search results - page 341 / 938
» Analysis and modeling of control tasks in dynamic systems
Sort
View
TC
2010
15 years 1 months ago
Generating Reliable Code from Hybrid-Systems Models
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
Madhukar Anand, Sebastian Fischmeister, Yerang Hur...
EDOC
2011
IEEE
14 years 6 months ago
Resource and Agreement Management in Dynamic Crowdcomputing Environments
Abstract—Open Web-based and social platforms dramatically influence models of work. Today, there is an increasing interest in outsourcing tasks to crowdsourcing environments tha...
Harald Psaier, Florian Skopik, Daniel Schall, Scha...
ACSD
2006
IEEE
90views Hardware» more  ACSD 2006»
15 years 10 months ago
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...
Nicolas Halbwachs, Louis Mandel
ACSD
2005
IEEE
126views Hardware» more  ACSD 2005»
16 years 15 days ago
Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
Juan de Lara, Gabriele Taentzer
GECCO
2005
Springer
110views Optimization» more  GECCO 2005»
16 years 11 days ago
Understanding cooperative co-evolutionary dynamics via simple fitness landscapes
Cooperative co-evolution is often used to solve difficult optimization problems by means of problem decomposition. Its performance for such tasks can vary widely from good to disa...
Elena Popovici, Kenneth A. De Jong