Sciweavers

3119 search results - page 138 / 624
» Abstract Requirement Analysis in Multiagent System Design
Sort
View
70
Voted
TEC
2002
108views more  TEC 2002»
14 years 9 months ago
Analysis and modeling of control tasks in dynamic systems
Most applications of evolutionary algorithms (EAs) deal with static optimization problems. However, in recent years, there has been a growing interest in timevarying (dynamic) prob...
Rasmus K. Ursem, Thiemo Krink, Mikkel T. Jensen, Z...
TACAS
1998
Springer
81views Algorithms» more  TACAS 1998»
15 years 2 months ago
Formal Design and Analysis of a Gear Controller
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
Magnus Lindahl, Paul Pettersson, Wang Yi
CORR
2010
Springer
108views Education» more  CORR 2010»
14 years 10 months ago
Using Coloured Petri Nets for design of parallel raytracing environment
Abstract. This paper deals with the parallel raytracing part of virtualreality system PROLAND, developed at the home institution of authors. It describes an actual implementation o...
Stefan Korecko, Branislav Sobota
ICPPW
2006
IEEE
15 years 4 months ago
Model-Based OpenMP Implementation of a 3D Facial Pose Tracking System
Abstract— Most image processing applications are characterized by computation-intensive operations, and high memory and performance requirements. Parallelized implementation on s...
Sankalita Saha, Chung-Ching Shen, Chia-Jui Hsu, Ga...
INFOCOM
2010
IEEE
14 years 8 months ago
Tree-structured Data Regeneration in Distributed Storage Systems with Regenerating Codes
Abstract—Distributed storage systems provide large-scale reliable data storage by storing a certain degree of redundancy in a decentralized fashion on a group of storage nodes. T...
Jun Li, Shuang Yang, Xin Wang, Baochun Li