Sciweavers

916 search results - page 130 / 184
» Using Active Messages to Support Shared Objects
Sort
View
96
Voted
AICT
2006
IEEE
108views Communications» more  AICT 2006»
15 years 8 months ago
A Framework for Quality-Driven Delivery in Distributed Multimedia Systems
In this paper, we propose a framework for QualityDriven Delivery (QDD) in distributed multimedia environments. Quality-driven delivery refers to the capacity of a system to delive...
Brigitte Kerhervé, Kim Khoa Nguyen, Olivier...
134
Voted
BMCBI
2010
160views more  BMCBI 2010»
15 years 2 months ago
Quantitative model for inferring dynamic regulation of the tumour suppressor gene p53
Background: The availability of various "omics" datasets creates a prospect of performing the study of genomewide genetic regulatory networks. However, one of the major ...
Junbai Wang, Tianhai Tian
136
Voted
PDPTA
2000
15 years 4 months ago
ORB Instrumentation for Management of CORBA
Object middleware, such as CORBA, is rapidly gaining acceptance as a means for cost effective and fast development for a wide range of applications in various areas of industry. St...
Maarten Wegdam, Dirk-Jaap Plas, Aart van Halteren,...
136
Voted
ISCA
2007
IEEE
149views Hardware» more  ISCA 2007»
15 years 9 months ago
Virtual private caches
Virtual Private Machines (VPM) provide a framework for Quality of Service (QoS) in CMP-based computer systems. VPMs incorporate microarchitecture mechanisms that allow shares of h...
Kyle J. Nesbit, James Laudon, James E. Smith
138
Voted
FM
2009
Springer
169views Formal Methods» more  FM 2009»
15 years 6 months ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...