Sciweavers

2271 search results - page 60 / 455
» Scalable Software Libraries
Sort
View
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
DATE
2006
IEEE
116views Hardware» more  DATE 2006»
14 years 4 months ago
Adaptive data placement in an embedded multiprocessor thread library
— Embedded multiprocessors pose new challenges in the design and implementation of embedded software. This has led to the need for programming interfaces that expose the capabili...
Phillip Stanley-Marbell, Kanishka Lahiri, Anand Ra...
IPPS
2005
IEEE
14 years 3 months ago
Improving Middleware Performance with AdOC: An Adaptive Online Compression Library for Data Transfer
In this article, we present the AdOC (Adaptive Online Compression) library. It is a user-level set of functions that enables data transmission with compression. The compression is...
Emmanuel Jeannot
ERCIMDL
2005
Springer
110views Education» more  ERCIMDL 2005»
14 years 3 months ago
Managing Personal Documents with a Digital Library
: This paper presents a desktop system for managing personal documents. The documents can be of many types—text, spreadsheets, images, multimedia—and are organized in a persona...
Imene Jaballah, Sally Jo Cunningham, Ian H. Witten
VLSID
1999
IEEE
97views VLSI» more  VLSID 1999»
14 years 2 months ago
A New Methodology for Concurrent Technology Development and Cell Library Optimization
To minimize the time to market and cost of new sub 0.25um process technologies and products, PDF Solutions, Inc., has developed a new comprehensive approach based on the use of pr...
Marko P. Chew, Sharad Saxena, Thomas F. Cobourn, P...