Sciweavers

3375 search results - page 424 / 675
» Resource Sharing in Performance Models
Sort
View
FASE
2006
Springer
15 years 10 months ago
Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
Peter Csaba Ölveczky, Marco Caccamo
ISPE
2003
15 years 8 months ago
Coordination in utility managed multi-agent groups
A two stage approach to co-ordination in a multi-agent society is presented. The first stage involves agents learning to co-ordinate their activities based on local and global uti...
Fernanda Barbosa, José C. Cunha, Omer F. Ra...
147
Voted
JCS
2008
69views more  JCS 2008»
15 years 6 months ago
Non-delegatable authorities in capability systems
We present a novel technique, known as the non-delegatable authority (NDA), for distributing authority to unconfined subjects in capability systems that prevents them from sharing...
Toby C. Murray, Duncan A. Grove
JSAC
2008
135views more  JSAC 2008»
15 years 6 months ago
Multi-Stage Pricing Game for Collusion-Resistant Dynamic Spectrum Allocation
In order to fully utilize scarce spectrum resources, dynamic spectrum allocation becomes a promising approach to increase the spectrum efficiency for wireless networks. However, th...
Zhu Ji, K. J. Ray Liu
SIGMETRICS
2012
ACM
290views Hardware» more  SIGMETRICS 2012»
13 years 9 months ago
Power and energy containers for multicore servers
Energy efficiency and power capping remain growing concerns in server systems. Online applications continue to evolve with new features and dynamic clientdirected processing, res...
Kai Shen, Arrvindh Shriraman, Sandhya Dwarkadas, X...