10666 search results - page 1409 / 2134 » Quantum programming languages |
169
click to vote
TYPES
2004
Springer
16 years 19 days ago
2004
Springer
In this paper we use the Epigram language to define the universe of regular tree types—closed under empty, unit, sum, product and least fixpoint. We then present a generic deci...
204
Voted
AGTIVE
2003
Springer
16 years 16 days ago
2003
Springer
Many polygon mesh algorithms operate in a local manner, yet are formally specified using global indexing schemes. This obscures the essence of these algorithms and makes their spe...
154
click to vote
FOSSACS
2003
Springer
16 years 15 days ago
2003
Springer
We describe a metalanguage MMML, which makes explicit the order of evaluation (in the spirit of monadic metalanguages) and the staging of computations (as in languages for multi-l...
210
Voted
GRID
2003
Springer
16 years 15 days ago
2003
Springer
With the advent of web services standards and a serviceoriented Grid architecture, it is foreseeable that competing as well as complimenting computational services will proliferat...
186
click to vote
PLDI
2010
ACM
16 years 11 days ago
2010
ACM
Single thread performance remains an important consideration even for multicore, multiprocessor systems. As a result, techniques for improving single thread performance using mult...