10055 search results - page 1315 / 2011 » Structured programming using processes |
199
click to vote
SC
2003
ACM
16 years 4 days ago
2003
ACM
This paper presents a compiler analysis for data communication for the purpose of transforming ordinary programs into ones that run on distributed systems. Such transformations ha...
158
click to vote
SIGCSE
2003
ACM
16 years 4 days ago
2003
ACM
We report the results of a year-long experiment in the use of robots to teach computer science. Our data set compares results from over 800 students on identical tests from both r...
196
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
175
click to vote
ASPLOS
2000
ACM
15 years 11 months ago
2000
ACM
We systematically evaluate the performance of five implementations of a single, user-level communication interface. Each implementation makes different architectural assumptions ...
197
click to vote
ADBIS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper we describe a transaction management system designed to face the inherent characteristics of mobile environments. Mobile clients cache subsets of the databa...