Sciweavers

4889 search results - page 696 / 978
» A Refactoring Approach to Parallelism
Sort
View
EUROPAR
2005
Springer
16 years 22 days ago
AGNO: An Adaptive Group Communication Scheme for Unstructured P2P Networks
— We present the Adaptive Group Notification (AGNO) scheme for efficiently contacting large peer populations in unstructured Peer-to-Peer networks. AGNO defines a novel implic...
Dimitrios Tsoumakos, Nick Roussopoulos
EUROPAR
2005
Springer
16 years 22 days ago
Epidemic-Style Management of Semantic Overlays for Content-Based Searching
A lot of recent research on content-based P2P searching for file-sharing applications has focused on exploiting semantic relations between peers to facilitate searching. To the be...
Spyros Voulgaris, Maarten van Steen
FASE
2005
Springer
16 years 22 days ago
Improving the Build Architecture of Legacy C/C++ Software Systems
Abstract. The build architecture of legacy C/C++ software systems, groups program files in directories to represent logical components. The interfaces of these components are loos...
Homayoun Dayani-Fard, Yijun Yu, John Mylopoulos, P...
FMCO
2005
Springer
173views Formal Methods» more  FMCO 2005»
16 years 22 days ago
Cluster-Based LTL Model Checking of Large Systems
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
Jiri Barnat, Lubos Brim, Ivana Cerná
GCC
2005
Springer
16 years 22 days ago
A Proxy-Based Dynamic Inheritance of Soft-Device
Soft-device is a promising infrastructure of next-generation distributed system. Soft-devices are configurable and adaptive software virtual mechanism, providing services to each o...
Jia Bi, Yanyan Li, Yunpeng Xing, Xiang Li, Xue Che...