7197 search results - page 270 / 1440 » On the computational power of BlenX |
156
click to vote
FOCS
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper, we introduce 1-way and 2-way quantum nite state automata (1qfa's and 2qfa's), which are the quantum analogues of deterministic, nondeterministic and proba...
167
click to vote
MFCS
2010
Springer
15 years 5 months ago
2010
Springer
We provide a strong normalization result for MLF , a type system generalizing ML with first-class polymorphism as in system F. The proof is achieved by translating MLF into a calc...
181
click to vote
IFIP
1993
Springer
15 years 10 months ago
1993
Springer
When designing a plant for continuous or semi-continuous processes, such as paper pulp or petrochemical production systems, engineers face very complex tasks, which are only in pa...
186
click to vote
PPOPP
2006
ACM
16 years 19 days ago
2006
ACM
Recently, the high-performance computing community has realized that power is a performance-limiting factor. One reason for this is that supercomputing centers have limited power ...