Sciweavers

1729 search results - page 190 / 346
» A Case-Based Parallel Programming System
Sort
View
ICPPW
2002
IEEE
15 years 7 months ago
System Services for Implementing Ad-Hoc Routing Protocols
This paper explores several systems issues regarding the implementation of routing protocols for mobile ad-hoc networks. It proclaims that support for on-demand routing is insuf...
Vikas Kawadia, Yongguang Zhang, Binita Gupta
APWEB
2006
Springer
15 years 6 months ago
DPGS: A Distributed Programmable Grid System
Workflow mechanism is used into grid system to combine multiple grid services to implement complex grid application. But the workflow is not programmable, and is not flexible enoug...
Yongwei Wu, Qing Wang, Guangwen Yang, Weimin Zheng
RP
2009
Springer
124views Control Systems» more  RP 2009»
15 years 8 months ago
Forward Analysis of Dynamic Network of Pushdown Systems Is Easier without Order
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...
Denis Lugiez
CONCUR
2007
Springer
15 years 8 months ago
Coalgebraic Models for Reactive Systems
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
Filippo Bonchi, Ugo Montanari
105
Voted
EUROPAR
2007
Springer
15 years 8 months ago
Starvation-Free Transactional Memory-System Protocols
Abstract. Transactional memory systems trade ease of programming with runtime performance losses in handling transactions. This paper focuses on starvation effects that show up in ...
M. M. Waliullah, Per Stenström