Sciweavers

2421 search results - page 67 / 485
» Message from the Editor-in-Chief
Sort
View
FASE
2010
Springer
14 years 2 months ago
Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques
Actor programs consist of a number of concurrent objects called actors, which communicate by exchanging messages. Nondeterminism in actors results from the different possible orde...
Steven Lauterburg, Rajesh K. Karmani, Darko Marino...
EDCC
2005
Springer
14 years 1 months ago
Performance Evaluation of Consistent Recovery Protocols Using MPICH-GF
This paper presents an implementation of several consistent protocols at the abstract device level and their performance comparison. We have performed experiments using three NAS P...
Namyoon Woo, Hyungsoo Jung, Dongin Shin, Hyuck Han...
COOPIS
2002
IEEE
14 years 21 days ago
A Filter Object Framework for MICO
Abstract. Filtered delivery model of message passing in an objectoriented distributed computing environment facilitates separation of message control from message processing in a t...
Pranav S. Nabar, Amit L. Padalkar, Rushikesh K. Jo...
TPDS
2010
104views more  TPDS 2010»
13 years 6 months ago
From an Asynchronous Intermittent Rotating Star to an Eventual Leader
—Considering an asynchronous system made up of n processes and where up to t of them can crash, finding the weakest assumption that such a system has to satisfy for a common lea...
Antonio Fernández Anta, Michel Raynal
HICSS
2003
IEEE
118views Biometrics» more  HICSS 2003»
14 years 1 months ago
Lessons Learned from Real DSL Experiments
Over the years, our group, led by Bob Balzer, designed and implemented three domain-specific languages for use by outside people in real situations. The first language described t...
David S. Wile