10666 search results - page 1555 / 2134 » Quantum programming languages |
176
click to vote
LICS
1996
IEEE
15 years 11 months ago
1996
IEEE
Real PCF is an extension of the programming language PCF with a data type for real numbers. Although a Real PCF definable real number cannot be computed in finitely many steps, it...
180
click to vote
ICALP
1997
Springer
15 years 11 months ago
1997
Springer
Despite the major role that modularity occupies in computer science, all the known results on modular analysis only treat particular problems, and there is no general unifying the...
277
Voted
ASPLOS
1996
ACM
15 years 11 months ago
1996
ACM
This paper describes the synchronization and communication primitives of the Cray T3E multiprocessor, a shared memory system scalable to 2048 processors. We discuss what we have l...
167
click to vote
PLDI
1996
ACM
15 years 11 months ago
1996
ACM
High performance compilers increasingly rely on accurate modeling of the machine resources to efficiently exploit the instruction level parallelism of an application. In this pape...
185
click to vote
ASPLOS
1994
ACM
15 years 11 months ago
1994
ACM
There is an increasing trend to use commodity microprocessors as the compute engines in large-scale multiprocessors. However, given that the majority of the microprocessors are so...