Sciweavers

68 search results - page 3 / 14
» A Proposal to Extend the OpenMP Tasking Model for Heterogene...
Sort
View
FMCO
2003
Springer
145views Formal Methods» more  FMCO 2003»
13 years 10 months ago
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
Albert Benveniste, Benoît Caillaud, Luca P. ...
CODES
2007
IEEE
13 years 11 months ago
Complex task activation schemes in system level performance analysis
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
Wolfgang Haid, Lothar Thiele
CODES
2006
IEEE
13 years 11 months ago
Integrated analysis of communicating tasks in MPSoCs
Predicting timing behavior is key to efficient embedded real-time system design and verification. Especially memory accesses and co-processor calls over shared communication net...
Simon Schliecker, Matthias Ivers, Rolf Ernst
DAC
2003
ACM
14 years 6 months ago
Extending the lifetime of a network of battery-powered mobile devices by remote processing: a markovian decision-based approach
This paper addresses the problem of extending the lifetime of a batterypowered mobile host in a client-server wireless network by using task migration and remote processing. This ...
Peng Rong, Massoud Pedram
GPC
2007
Springer
13 years 11 months ago
Architecture-Based Autonomic Deployment of J2EE Systems in Grids
Abstract. The deployment of J2EE systems in Grid environments remains a difficult task: the architecture of these applications are complex and the target environment is heterogene...
Didier Hoareau, Takoua Abdellatif, Yves Mahé...