Sciweavers

956 search results - page 10 / 192
» Languages as libraries
Sort
View
ICALP
2011
Springer
13 years 13 days ago
Liveness-Preserving Atomicity Abstraction
-Preserving Atomicity Abstraction Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2 University of Oxford Modern concurrent algorithms are usually encapsulated in libr...
Alexey Gotsman, Hongseok Yang
OIR
2007
99views more  OIR 2007»
13 years 8 months ago
The Galician virtual library
In this paper we describe the main features of the Galician Virtual Library (BVG) and its development process. The aim of this virtual library is to fill the existing lack of Galic...
Ángeles S. Places, Nieves R. Brisaboa, Anto...
JMLR
2012
11 years 11 months ago
NIMFA: A Python Library for Nonnegative Matrix Factorization
NIMFA is an open-source Python library that provides a unified interface to nonnegative matrix factorization algorithms. It includes implementations of state-of-the-art factoriza...
Marinka Zitnik, Blaz Zupan
CNL
2009
13 years 10 months ago
Implementing Controlled Languages in GF
Abstract. The paper introduces GF, Grammatical Framework, as a tool for implementing controlled languages. GF provides a high-level grammar formalism and a resource grammar library...
Krasimir Angelov, Aarne Ranta
LCPC
2000
Springer
14 years 17 days ago
Optimizing the Use of High Performance Software Libraries
Abstract. This paper describes how the use of software libraries, which is prevalent in high performance computing, can benefit from compiler optimizations in much the same way tha...
Samuel Z. Guyer, Calvin Lin