Sciweavers

3162 search results - page 259 / 633
» Transformations for semi-continuous data
Sort
View
ICFP
2007
ACM
16 years 5 months ago
Call-pattern specialisation for haskell programs
User-defined data types, pattern-matching, and recursion are ubiquitous features of Haskell programs. Sometimes a function is called with arguments that are statically known to be...
Simon L. Peyton Jones
CAISE
2007
Springer
16 years 2 days ago
Automatic Generation of Model Translations
Abstract. The translation of information between heterogeneous representations is a long standing issue. With the large spreading of cooperative applications fostered by the advent...
Paolo Papotti, Riccardo Torlone
APLAS
2004
ACM
15 years 11 months ago
PType System: A Featherweight Parallelizability Detector
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu
DEXA
2004
Springer
180views Database» more  DEXA 2004»
15 years 11 months ago
Algebra-to-SQL Query Translation for Spatio-Temporal Databases
Although many spatio-temporal conceptual models has been proposed in the last years, users must express their queries on the underlying physical data structures. In the context of ...
Mohammed Minout, Esteban Zimányi
ICCS
2004
Springer
15 years 11 months ago
Simulation Coercion Applied to Multiagent DDDAS
Abstract. The unpredictable run-time configurations of dynamic, datadriven application systems require flexible simulation components that can adapt to changes in the number of i...
Yannick Loitière, David C. Brogan, Paul F. ...