7197 search results - page 270 / 1440 » On the computational power of BlenX |
177
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...
152
Voted
CF
2005
ACM
15 years 9 months ago
2005
ACM
196
Voted
MFCS
2010
Springer
15 years 6 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...
207
click to vote
IFIP
1993
Springer
15 years 11 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...
218
Voted
PPOPP
2006
ACM
16 years 1 months 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 ...