6274 search results - page 866 / 1255 » Proofs, Programs, Processes |
133
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a technique, called loop dissevering, to temporally partitioning any type of loop presented in programming languages. The technique can be used in the presence...
157
click to vote
PPOPP
2003
ACM
15 years 10 months ago
2003
ACM
InterWeave is a distributed middleware system that supports the sharing of strongly typed, pointer-rich data structures across a wide variety of hardware architectures, operating ...
164
click to vote
SC
2003
ACM
15 years 10 months 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...
132
click to vote
SIGCSE
2003
ACM
15 years 10 months 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...
155
click to vote
GRID
2003
Springer
15 years 10 months ago
2003
Springer
With the advent of web services standards and a serviceoriented Grid architecture, it is foreseeable that competing as well as complimenting computational services will proliferat...