Sciweavers

4809 search results - page 56 / 962
» Scalable Analysis of Scalable Systems
Sort
View
TASE
2007
IEEE
15 years 10 months ago
Model Checking Software at Compile Time
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel ...
IISWC
2009
IEEE
15 years 11 months ago
Phoenix rebirth: Scalable MapReduce on a large-scale shared-memory system
Abstract—Dynamic runtimes can simplify parallel programming by automatically managing concurrency and locality without further burdening the programmer. Nevertheless, implementin...
Richard M. Yoo, Anthony Romano, Christos Kozyrakis
MMM
2006
Springer
139views Multimedia» more  MMM 2006»
15 years 10 months ago
Harmonic data placement: file system support for scalable streaming
— Scalable encoding scheme enables the player or streaming server to adaptively change the playback rate of multimedia content. However, in scalable streaming of layer encoded co...
Youjip Won, Seungheon Yang, Sooyong Kang
SAINT
2007
IEEE
15 years 10 months ago
Peer-to-Peer Scheduling System with Scalable Information Sharing Protocol
In traditional job scheduling systems for the Grid, a single or a few machines handle information of all computing resources and scheduling tasks. This centralized approach is not...
Norihiro Umeda, Hidemoto Nakada, Satoshi Matsuoka
WWW
2004
ACM
16 years 5 months ago
PipeCF: a scalable DHT-based collaborative filtering recommendation system
Collaborative Filtering (CF) technique has proved to be one of the most successful techniques in recommendation systems in recent years. However, traditional centralized CF system...
Bo Xie, Peng Han, Ruimin Shen