Sciweavers

1227 search results - page 55 / 246
» A Programming Model for Time-Synchronized Distributed Real-T...
Sort
View
GI
2009
Springer
15 years 9 months ago
A Game-Theoretic Model for Distributed Programming by Contract
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
Anders Starcke Henriksen, Tom Hvitved, Andrzej Fil...
POPL
2005
ACM
16 years 5 months ago
Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
John Field, Carlos A. Varela
SEUS
2005
IEEE
15 years 10 months ago
Development of Distributed Programming Developing Tool-Kit Based on Object Group Model
In this paper, we defined the concept of the grouped distributed objects[10-14], as a logical unit of distributed application service, and developed a distributed programming deve...
Jeong-Taek Lim, Su-Chong Joo, Chang-Sun Shin
IADIS
2004
15 years 6 months ago
A Framework for Symbolic Distributed Computer-Aided Design over the Internet
Economical globalization and outsourcing have inspired the surge of research in distributed computer-aided design. This paper presents a framework for Internet-based symbolic dist...
Yingcai Xiao, Shivakumar Kubendrachari
LCPC
2007
Springer
15 years 11 months ago
Capsules: Expressing Composable Computations in a Parallel Programming Model
Hasnain A. Mandviwala, Umakishore Ramachandran, Ka...