2036 search results - page 179 / 408 » A generic type-and-effect system |
181
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
: Studierstube is an operating system for applications in virtual reality. It supports multiple users collaborating in a distributed system. While initially developed for scientifi...
200
Voted
PLDI
1989
ACM
15 years 11 months ago
1989
ACM
We present the rst type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The sy...
202
click to vote
AUIC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper considers the problem of computer user support and workplace learning in general. Theoretically our work is influenced by ideas on knowledge management, expertise netwo...
201
click to vote
ECBS
2004
IEEE
15 years 10 months ago
2004
IEEE
Model Integrated Computing employs domainspecific modeling languages for the design of Computer Based Systems and automatically generates their implementation. These system models...
214
click to vote
ECRTS
2006
IEEE
15 years 10 months ago
2006
IEEE
We consider coordinating accesses to shared data structures in multiprocessor real-time systems scheduled under preemptive global EDF. To our knowledge, prior work on global EDF h...