Sciweavers

2859 search results - page 247 / 572
» A Programming Environment for Bousi-Prolog
Sort
View
IFL
2004
Springer
138views Formal Methods» more  IFL 2004»
15 years 12 months ago
A Rational Deconstruction of Landin's SECD Machine
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
Olivier Danvy
COOPIS
2003
IEEE
15 years 12 months ago
DLS: A CORBA Service for Dynamic Loading of Code
Dynamic loading of code is needed when rarely used code should be loaded on demand or when the code to be loaded is not known in advance. In distributed systems it can also be used...
Rüdiger Kapitza, Franz J. Hauck
WOMPAT
2001
Springer
15 years 11 months ago
OmniRPC: A Grid RPC Facility for Cluster and Global Computing in OpenMP
d Abstract) Mitsuhisa Sato1 , Motonari Hirano2 , Yoshio Tanaka2 , and Satoshi Sekiguchi2 1 Real World Computing Partnership, Tsukuba, Japan 2 Software Research Associates, Inc 3 El...
Mitsuhisa Sato, Motonori Hirano, Yoshio Tanaka, Sa...
CHI
2000
ACM
15 years 11 months ago
Alice: lessons learned from building a 3D system for novices
We present lessons learned from developing Alice, a 3D graphics programming environment designed for undergraduates with no 3D graphics or programming experience. Alice is a Windo...
Matthew Conway, Steve Audia, Tommy Burnette, Denni...
ICDCS
1997
IEEE
15 years 10 months ago
Predictable Network Computing
Clusters of networked, off-the-shelf workstations are currently used for computationintensive, parallel applications. However, it is hardly possible to predict the timing behaviou...
Andreas Polze, Gerhard Fohler, Matthias Werner