3796 search results - page 354 / 760 » Presentations by Programmers for Programmers |
135
click to vote
ITS
2000
Springer
15 years 7 months ago
2000
Springer
In this paper we discuss how computer supported collaborative learning (CSCL) can be deployed to develop new skills and habits in students at university level. These considerations...
149
click to vote
MIDDLEWARE
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents an architectural framework for customizing Object Request Broker (ORB) implementations to application-specific preferences for various non-functional requiremen...
151
click to vote
CAV
1997
Springer
15 years 7 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
115
click to vote
COMPCON
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper describes Tempest, a collection of mechanisms for communication and synchronization in parallel programs. With these mechanisms, authors of compilers, libraries, and ap...
143
click to vote
VECPAR
2000
Springer
15 years 7 months ago
2000
Springer
The SCOOPP (Scalable Object Oriented Parallel Programming) system is an hybrid compile and run-time system. SCOOPP dynamically scales OO applications on a wide range of target plat...