Sciweavers

4385 search results - page 521 / 877
» Abstraction for Concurrent Objects
Sort
View
CN
2007
224views more  CN 2007»
15 years 6 months ago
Automated adaptive intrusion containment in systems of interacting services
Large scale distributed systems typically have interactions among different services that create an avenue for propagation of a failure from one service to another. The failures ...
Yu-Sung Wu, Bingrui Foo, Yu-Chun Mao, Saurabh Bagc...
IANDC
2007
152views more  IANDC 2007»
15 years 6 months ago
The reactive simulatability (RSIM) framework for asynchronous systems
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...
Michael Backes, Birgit Pfitzmann, Michael Waidner
BMCBI
2005
86views more  BMCBI 2005»
15 years 6 months ago
Confirmation of human protein interaction data by human expression data
Background: With microarray technology the expression of thousands of genes can be measured simultaneously. It is well known that the expression levels of genes of interacting pro...
Andreas Hahn, Jörg Rahnenführer, Priti T...
PVLDB
2010
166views more  PVLDB 2010»
15 years 5 months ago
Towards Elastic Transactional Cloud Storage with Range Query Support
Cloud storage is an emerging infrastructure that offers Platforms as a Service (PaaS). On such platforms, storage and compute power are adjusted dynamically, and therefore it is i...
Hoang Tam Vo, Chun Chen, Beng Chin Ooi
MICRO
2010
IEEE
210views Hardware» more  MICRO 2010»
15 years 4 months ago
Thread Cluster Memory Scheduling: Exploiting Differences in Memory Access Behavior
In a modern chip-multiprocessor system, memory is a shared resource among multiple concurrently executing threads. The memory scheduling algorithm should resolve memory contention...
Yoongu Kim, Michael Papamichael, Onur Mutlu, Mor H...