Sciweavers

1154 search results - page 50 / 231
» Mathematizing C concurrency
Sort
View
CONCURRENCY
1998
181views more  CONCURRENCY 1998»
15 years 7 days ago
Communication Performance of Java-Based Parallel Virtual Machines
Message passing libraries such as Parallel Virtual Machine PVM and Message Passing Interface MPI provide a common Application Programming Interface API to implement parallel...
Narendar Yalamanchilli, William W. Cohen
ICESS
2007
Springer
15 years 6 months ago
A Code Generation Framework for Actor-Oriented Models with Partial Evaluation
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
Gang Zhou, Man-Kit Leung, Edward A. Lee
CONCURRENCY
2008
84views more  CONCURRENCY 2008»
15 years 20 days ago
Exploring the feasibility of proactive reputations
Reputation mechanisms help peers in a peer-to-peer (P2P) system avoid unreliable or malicious peers. In application-level networks, however, short peer life-times mean reputations...
Gayatri Swamynathan, Ben Y. Zhao, Kevin C. Almerot...
SIAMCOMP
1998
176views more  SIAMCOMP 1998»
15 years 6 days ago
An O(log k) Approximate Min-Cut Max-Flow Theorem and Approximation Algorithm
It is shown that the minimum cut ratio is within a factor of O(log k) of the maximum concurrent flow for k-commodity flow instances with arbitrary capacities and demands. This im...
Yonatan Aumann, Yuval Rabani
89
Voted
JPDC
2010
123views more  JPDC 2010»
14 years 11 months ago
Maintaining the Ranch topology
Topology maintenance, or how to handle the possibly concurrent joining and leaving of nodes, is a central problem for structured peer-to-peer networks. A good topology maintenance...
Xiaozhou Li, Jayadev Misra, C. Greg Plaxton