Sciweavers

837 search results - page 61 / 168
» Tools for domain-based policy management of distributed syst...
Sort
View
ENTCS
2007
101views more  ENTCS 2007»
13 years 7 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...
HUC
2003
Springer
14 years 1 months ago
liquid: Context-Aware Distributed Queries
Abstract. As low-level architectural support for context-aware computing matures, we are ready to explore more general and powerful means of accessing context data. Information req...
Jeffrey Heer, Alan Newberger, Chris Beckmann, Jaso...
IEEEHPCS
2010
13 years 6 months ago
Transactional Memory: How to perform load adaption in a simple and distributed manner
We analyze and present different strategies to adapt the load in transactional memory systems based on contention. Our experimental results show a substantial overall improvement ...
David Hasenfratz, Johannes Schneider, Roger Watten...
ECBS
2008
IEEE
116views Hardware» more  ECBS 2008»
14 years 2 months ago
CiCUTS: Combining System Execution Modeling Tools with Continuous Integration Environments
System execution modeling (SEM) tools provide an effective means to evaluate the quality of service (QoS) of enterprise distributed real-time and embedded (DRE) systems. SEM tools...
James H. Hill, Douglas C. Schmidt, Adam A. Porter,...
JCIT
2007
98views more  JCIT 2007»
13 years 7 months ago
Load Indices on Heterogeneous Systems- Past, Present and Future
To achieve superior performance levels when working with heterogeneous distributed platforms, processscheduling decisions must be based essentially on the platform’s features an...
Kalinka Regina Lucas Jaquie Castelo Branco, Edward...