Sciweavers

4604 search results - page 622 / 921
» Concurrency in Synchronous Systems
Sort
View
JLP
2008
134views more  JLP 2008»
15 years 6 months ago
Backwards type analysis of asynchronous method calls
Asynchronous method calls have been proposed to better integrate object orientation with distribution. In the Creol language, asynchronous method calls are combined with so-called...
Einar Broch Johnsen, Ingrid Chieh Yu
PE
2006
Springer
91views Optimization» more  PE 2006»
15 years 6 months ago
Performance of peer-to-peer networks: Service capacity and role of resource sharing policies
In this paper we model and study the performance of peer-to-peer (P2P) file sharing systems in terms of their `service capacity'. We identify two regimes of interest: the tra...
Xiangying Yang, Gustavo de Veciana
PE
2007
Springer
97views Optimization» more  PE 2007»
15 years 6 months ago
On processor sharing and its applications to cellular data network provisioning
To develop simple traffic engineering rules for the downlink of a cellular system using Proportional Fairness (PF) scheduling, we study the “strict” and “approximate” ins...
Yujing Wu, Carey L. Williamson, Jingxiang Luo
PRESENCE
2007
156views more  PRESENCE 2007»
15 years 6 months ago
ATLAS: A Scalable Network Framework for Distributed Virtual Environments
A distributed virtual environment (DVE) is a software system that allows users on a network to interact with each other by sharing a common view of their states. As users are geog...
Dongman Lee, Mingyu Lim, Seunghyun Han, Kyungmin L...
BIRTHDAY
2010
Springer
15 years 4 months ago
Some Thoughts on the Semantics of Biocharts
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
David Harel, Hillel Kugler