2463 search results - page 447 / 493 » On the Study of Dynamic and Adaptive Dependable Distributed ... |
122
click to vote
ICWS
2010
IEEE
14 years 8 months ago
2010
IEEE
Given the large amount of existing services and the diversified needs nowadays, it is time-consuming for end-users to find appropriate services. To help end-users obtain their desi...
173
click to vote
POPL
2005
ACM
15 years 10 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
SC
1995
ACM
15 years 1 months ago
1995
ACM
The goal of this work is to explore architectural mechanisms for supporting explicit communication in cachecoherent shared memory multiprocessors. The motivation stems from the ob...
ICS
2009
Tsinghua U.
15 years 4 months ago
2009
Tsinghua U.
With the current trend toward multicore architectures, improved execution performance can no longer be obtained via traditional single-thread instruction level parallelism (ILP), ...
ICAC
2009
IEEE
15 years 4 months ago
2009
IEEE
In data centers hosting scaling Internet applications, operators face the tradeoff dilemma between resource efficiency and Quality of Service (QoS), and the root cause lies in wo...