Sciweavers

2681 search results - page 178 / 537
» Topics in asynchronous systems
Sort
View
136
Voted
WDAG
1997
Springer
92views Algorithms» more  WDAG 1997»
15 years 9 months ago
Heartbeat: A Timeout-Free Failure Detector for Quiescent Reliable Communication
Abstract. We study the problem of achieving reliable communication with quiescent algorithms (i.e., algorithms that eventually stop sending messages) in asynchronous systems with p...
Marcos Kawazoe Aguilera, Wei Chen, Sam Toueg
FAST
2007
15 years 6 months ago
AMP: Adaptive Multi-stream Prefetching in a Shared Cache
Abstract— Prefetching is a widely used technique in modern data storage systems. We study the most widely used class of prefetching algorithms known as sequential prefetching. Th...
Binny S. Gill, Luis Angel D. Bathen
ICECCS
2006
IEEE
90views Hardware» more  ICECCS 2006»
15 years 11 months ago
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
AICT
2006
IEEE
116views Communications» more  AICT 2006»
15 years 11 months ago
Integrating AJAX Approach into GIS Visualization Web Services
As the Web platform continues to mature, we see an increasing number of amazing technologies that take Geographic Information Systems (GIS) visualization applications to new level...
Ahmet Sayar, Marlon E. Pierce, Geoffrey Fox
186
Voted
ETFA
2006
IEEE
15 years 11 months ago
Feasibility Intervals for Fixed-Priority Real-Time Scheduling on Uniform Multiprocessors
In this paper we study the global scheduling of periodic task systems upon uniform multiprocessor platforms. We first show two very general properties which are wellknown for uni...
Liliana Cucu, Joël Goossens