1216 search results - page 134 / 244 » Hybrid type checking |
133
click to vote
HYBRID
2009
Springer
16 years 1 months ago
2009
Springer
This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant ...
143
click to vote
IPPS
2008
IEEE
16 years 23 days ago
2008
IEEE
A file data model for algorithmic skeletons is proposed, focusing on transparency and efficiency. Algorithmic skeletons correspond to a high-level programming model that takes a...
157
click to vote
SEMWEB
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper we benchmark three popular database representations of RDF/S schemata and data: (a) a schema-aware (i.e., one table per RDF/S class or property) with explic...
144
click to vote
VLDB
2005
ACM
15 years 11 months ago
2005
ACM
XML and XQuery semantics are very sensitive to the order of the produced output. Although pattern-tree based algebraic approaches are becoming more and more popular for evaluating...
183
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
The rapid advances of genome-scale sequencing have brought out the necessity of developing new data processing techniques for enormous genomic data. Microarrays, for example, can g...