5548 search results - page 441 / 1110 » Programming a Distributed System Using Shared Objects |
198
click to vote
ICFP
2012
ACM
13 years 8 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
129
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
We describe a new system for building Tablet PC-based classroom software. The system, called SLICE, is built for extensibility, using a unique "explicit state" model. Ap...
188
click to vote
ICPP
2003
IEEE
15 years 11 months ago
2003
IEEE
Multi agent systems, Grid technology, Semantic Web, and Web Intelligence paradigm are three modern approaches in information technologies, which we put together in our research eff...
143
click to vote
SIGCSE
1997
ACM
15 years 10 months ago
1997
ACM
In courses involving team programming projects, it is desirable to have team members share files, and establish procedures for developing a configuration. Often, faculty members a...
268
click to vote
PPOPP
2003
ACM
15 years 11 months ago
2003
ACM
Because of increasing hardware and software complexity, the running time of many computational science applications is now more than the mean-time-to-failure of highpeformance com...