Sciweavers

4604 search results - page 116 / 921
» Correlation-based Data Representation
Sort
View
EMSOFT
2010
Springer
14 years 8 months ago
PinaVM: a systemC front-end based on an executable intermediate representation
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
Kevin Marquet, Matthieu Moy
LCPC
1999
Springer
15 years 2 months ago
A Linear Algebra Formulation for Optimising Replication in Data Parallel Programs
In this paper, we present an efficient technique for optimising data replication under the data parallel programming model. We propose a precise mathematical representation for da...
Olav Beckmann, Paul H. J. Kelly
ALGORITHMICA
2005
76views more  ALGORITHMICA 2005»
14 years 9 months ago
Characterizing History Independent Data Structures
We consider history independent data structures as proposed for study by Naor and Teague [3]. In a history independent data structure, nothing can be learned from the memory repre...
Jason D. Hartline, Edwin S. Hong, Alexander E. Moh...
PPDP
2009
Springer
15 years 4 months ago
An embedded declarative data transformation language
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
Paul Tarau
ISEMANTICS
2010
14 years 11 months ago
Geographical linked data: a Spanish use case
We present the process that has been followed for the development of an application that makes use of several heterogeneous Spanish public datasets that are related to administrat...
Alexander de León, Victor Saquicela, Luis M...