Sciweavers

3515 search results - page 92 / 703
» Resource usage analysis
Sort
View
CF
2006
ACM
15 years 8 months ago
Dynamic thread assignment on heterogeneous multiprocessor architectures
In a multi-programmed computing environment, threads of execution exhibit different runtime characteristics and hardware resource requirements. Not only do the behaviors of distin...
Michela Becchi, Patrick Crowley
123
Voted
NGC
2007
Springer
150views Communications» more  NGC 2007»
15 years 2 months ago
Customized Plug-in Modules in Metascheduler CSF4 for Life Sciences Applications
Abstract As more and more life science researchers start to take advantages of grid technologies in their work, the demand increases for a robust yet easy to use metascheduler or r...
Zhaohui Ding, Xiaohui Wei, Yuan Luo, Da Ma, Peter ...
131
Voted
MPC
2010
Springer
181views Mathematics» more  MPC 2010»
15 years 7 months ago
Process Algebras for Collective Dynamics
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
Jane Hillston
117
Voted
ICECCS
2009
IEEE
119views Hardware» more  ICECCS 2009»
15 years 9 months ago
REMES: A Resource Model for Embedded Systems
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...
Cristina Cerschi Seceleanu, Aneta Vulgarakis, Paul...
125
Voted
APSEC
2008
IEEE
15 years 9 months ago
A Heap Model for Java Bytecode to Support Separation Logic
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
Chenguang Luo, Guanhua He, Shengchao Qin