Sciweavers

2996 search results - page 315 / 600
» Dynamic Traveling Repairperson Problem for dynamic systems
Sort
View
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
16 years 10 days ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
DATE
2003
IEEE
123views Hardware» more  DATE 2003»
16 years 19 hour ago
Parallel Processing Architectures for Reconfigurable Systems
Novel reconfigurable computing architectures exploit the inherent parallelism available in many signalprocessing problems. These architectures often consist of networks of compute...
Kees A. Vissers
CDC
2008
IEEE
112views Control Systems» more  CDC 2008»
16 years 1 months ago
Application of the proximal center decomposition method to distributed model predictive control
Abstract— In this paper we present a dual-based decomposition method, called here the proximal center method, to solve distributed model predictive control (MPC) problems for cou...
Ion Necoara, Dang Doan, Johan A. K. Suykens
WECWIS
2009
IEEE
162views ECommerce» more  WECWIS 2009»
16 years 1 months ago
QoS-Driven Web Service Composition Using Learning-Based Depth First Search
—The goal of the Web Service Composition (WSC) problem is to find an optimal composition of web services to satisfy a given request using their syntactic and/or semantic feature...
Wonhong Nam, Hyunyoung Kil, Jungjae Lee
SIGMETRICS
2010
ACM
181views Hardware» more  SIGMETRICS 2010»
15 years 7 months ago
A unified modeling framework for distributed resource allocation of general fork and join processing networks
This paper addresses the problem of distributed resource allocation in general fork and join processing networks. The problem is motivated by the complicated processing requiremen...
Haiquan (Chuck) Zhao, Cathy H. Xia, Zhen Liu, Dona...