Sciweavers

2274 search results - page 344 / 455
» Real-Time Scheduling in Distributed Systems
Sort
View
91
Voted
CCS
2004
ACM
15 years 6 months ago
Formally verifying information flow type systems for concurrent and thread systems
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
Gilles Barthe, Leonor Prensa Nieto
129
Voted
ICDCS
2008
IEEE
15 years 7 months ago
Availability and Fairness Support for Storage QoS Guarantee
Multi-dimensional storage virtualization (MDSV) allows multiple virtual disks, each with a distinct combination of capacity, latency and bandwidth requirements, to be multiplexed ...
Gang Peng, Tzi-cker Chiueh
117
Voted
IPPS
2009
IEEE
15 years 7 months ago
MGST: A framework for performance evaluation of Desktop Grids
Desktop Grids are rapidly gaining popularity as a costeffective computing platform for the execution of applications with extensive computing needs. As opposed to grids and cluste...
Majd Kokaly, Issam Al-Azzoni, Douglas G. Down
AGENTS
2001
Springer
15 years 5 months ago
Implementing soft real-time agent control
Real-time control has become increasingly important as technologies are moved from the lab into real world situations. The complexity associated with these systems increases as co...
Régis Vincent, Bryan Horling, Victor R. Les...
EUROPAR
2008
Springer
15 years 2 months ago
Performance Implications of Cache Affinity on Multicore Processors
Cache affinity between a process and a processor is observed when the processor cache has accumulated some amount of the process state, i.e., data or instructions. Cache affinity i...
Vahid Kazempour, Alexandra Fedorova, Pouya Alagheb...