Sciweavers

956 search results - page 32 / 192
» Languages as libraries
Sort
View
IPPS
2003
IEEE
14 years 2 months ago
Dynamically Loaded Classes as Shared Libraries: An Approach to Improving Virtual Machine Scalability
Sharing selected data structures among virtual machines of a safe language can improve resource utilization of each participating run-time system. The challenge is to determine wh...
Bernard Wong, Grzegorz Czajkowski, Laurent Dayn&eg...
HPCN
1997
Springer
14 years 18 days ago
Ninf: A Network Based Information Library for Global World-Wide Computing Infrastructure
Ninf is an ongoing global network-wide computing infrastructure project which allows users to access computational resources including hardware, software and scientific data distri...
Mitsuhisa Sato, Hidemoto Nakada, Satoshi Sekiguchi...
IADIS
2004
13 years 10 months ago
Design Process of a Multilingual Virtual Library
The AVICENNA VIRTUAL CAMPUS project, championed by UNESCO, has the aim to accelerate the adoption and use of ICT-assisted Open Distance Learning (ODL) in the Euro-Med region. As a...
C. Rodrigo, J. Hidalgo, M. L. Cacheiro, A. Del Olm...
CONCUR
2012
Springer
11 years 11 months ago
Linearizability with Ownership Transfer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it assumes a complete isolation between a library and ...
Alexey Gotsman, Hongseok Yang
ESOP
2012
Springer
12 years 4 months ago
GMeta: A Generic Formal Metatheory Framework for First-Order Representations
Abstract. This paper presents GMeta: a generic framework for firstorder representations of variable binding that provides once and for all many of the so-called infrastructure lem...
Gyesik Lee, Bruno C. D. S. Oliveira, Sungkeun Cho,...