Sciweavers

10666 search results - page 1444 / 2134
» Quantum programming languages
Sort
View
FCCM
2000
IEEE
122views VLSI» more  FCCM 2000»
15 years 11 months ago
Evaluating Hardware Compilation Techniques
Hardware compilation techniques which use highlevel programming languages to describe and synthesize hardware are gaining popularity. They are especially useful for reconfigurable...
Markus Weinhardt, Wayne Luk
PVM
1998
Springer
15 years 11 months ago
SKaMPI: A Detailed, Accurate MPI Benchmark
Abstract. SKaMPI is a benchmark for MPI implementations. Its purpose is the detailed analysis of the runtime of individual MPI operations and comparison of these for di erent imple...
Ralf Reussner, Peter Sanders, Lutz Prechelt, Matth...
SAS
1994
Springer
159views Formal Methods» more  SAS 1994»
15 years 11 months ago
Iterative Fixed Point Computation for Type-Based Strictness Analysis
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
Fritz Henglein
ENTCS
2006
176views more  ENTCS 2006»
15 years 7 months ago
Gauss: A Framework for Verifying Scientific Computing Software
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopal...
WWW
2004
ACM
16 years 8 months ago
Parsing owl dl: trees or triples?
The Web Ontology Language (OWL) defines three classes of documents: Lite, DL and Full. All RDF/XML documents are OWL Full documents, some OWL Full documents are also OWL DL docume...
Sean Bechhofer, Jeremy J. Carroll
« Prev « First page 1444 / 2134 Last » Next »