20197 search results - page 338 / 4040 » Comparing Computational Power |
164
click to vote
HPCA
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper provides a background and rationale for some of the architecture and design decisions in the Cell processor, a processor optimized for compute-intensive and broadband r...
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...
168
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...