Sciweavers

SCP
2011
305views Communications» more  SCP 2011»
13 years 5 months ago
DESOLA: An active linear algebra library using delayed evaluation and runtime code generation
Active libraries can be defined as libraries which play an active part in the compilation, in particular, the optimisation of their client code. This paper explores the implement...
Francis P. Russell, Michael R. Mellor, Paul H. J. ...
CONEXT
2010
ACM
13 years 8 months ago
Optimal content placement for a large-scale VoD system
IPTV service providers offering Video-on-Demandcurrently use servers at each metropolitan office to store all the videos in their library. With the rapid increase in library sizes...
David Applegate, Aaron Archer, Vijay Gopalakrishna...
CORR
2002
Springer
255views Education» more  CORR 2002»
13 years 10 months ago
Components of an NSDL Architecture: Technical Scope and Functional Model
We describe work leading toward specification of a technical architecture for the National Science, Mathematics, Engineering, and Technology Education Digital Library (NSDL). This...
David Fulker, Greg Janee
IJHPCA
2007
88views more  IJHPCA 2007»
13 years 10 months ago
A Portable Method for Finding User Errors in the Usage of MPI Collective Operations
An MPI profiling library is a standard mechanism for intercepting MPI calls by applications. Profiling libraries are so named because they are commonly used to gather runtime in...
Christopher Falzone, Anthony Chan, Ewing L. Lusk, ...
JMLR
2008
151views more  JMLR 2008»
13 years 10 months ago
Learning to Combine Motor Primitives Via Greedy Additive Regression
The computational complexities arising in motor control can be ameliorated through the use of a library of motor synergies. We present a new model, referred to as the Greedy Addit...
Manu Chhabra, Robert A. Jacobs
ENTCS
2006
140views more  ENTCS 2006»
13 years 10 months ago
A Library for Self-Adjusting Computation
We present a Standard ML library for writing programs that automatically adjust to changes to their data. The library combines modifiable references and memoization to achieve eff...
Umut A. Acar, Guy E. Blelloch, Matthias Blume, Rob...
CORR
2006
Springer
102views Education» more  CORR 2006»
13 years 10 months ago
A library of Taylor models for PVS automatic proof checker
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s...
Francisco Cháves, Marc Daumas
CORR
2006
Springer
117views Education» more  CORR 2006»
13 years 10 months ago
Neural Computation with Rings of Quasiperiodic Oscillators
ed from the Physical Sciences Inc. Library. Abstract available at http://www.psicorp.com/publications/sr-1278.shtml
Edward A. Rietman, R. W. Hillis
ERCIMDL
2010
Springer
139views Education» more  ERCIMDL 2010»
13 years 12 months ago
User-Contributed Descriptive Metadata for Libraries and Cultural Institutions
: The Library of Congress and other cultural institutions are collecting highly informative user-contributed metadata as comments and notes expressing historical and factual inform...
Michael A. Zarro, Robert B. Allen
OOPSLA
2009
Springer
14 years 5 months ago
The design of a task parallel library
The Task Parallel Library (TPL) is a library for .NET that makes it easy to take advantage of potential parallelism in a program. The library relies heavily on generics and delega...
Daan Leijen, Wolfram Schulte, Sebastian Burckhardt