Sciweavers

3162 search results - page 440 / 633
» Transformations for semi-continuous data
Sort
View
HASKELL
2005
ACM
16 years 4 days ago
There and back again: arrows for invertible programming
Invertible programming occurs in the area of data conversion where it is required that the conversion in one direction is the inverse of the other. For that purpose, we introduce ...
Artem Alimarine, Sjaak Smetsers, Arjen van Weelden...
ADAEUROPE
2005
Springer
16 years 4 days ago
Extending Ravenscar with CSP Channels
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
Diyaa-Addein Atiya, Steve King
CAISE
2005
Springer
16 years 3 days ago
A Generic Transcoding Tool for Making Web Applications Adaptive
Abstract. As personalization and device independence become prominent issues in Web development, tools to adapt existing Web Information Systems (WISs) are required. Still, current...
Zoltán Fiala, Geert-Jan Houben
EGC
2005
Springer
16 years 3 days ago
Implementation of Federated Databases Through Updatable Views
We present a new approach to the grid technology that is based on federated databases and updatable views. Views are used in two ways: (1) as wrappers of local servers that adopt l...
Hanna Kozankiewicz, Krzysztof Stencel, Kazimierz S...
EGH
2005
Springer
16 years 3 days ago
Fully procedural graphics
The growing application of user-defined programs within graphics processing units (GPUs) has transformed the fixed-function display pipeline into a largely programmable pipeline...
Turner Whitted, James T. Kajiya