4895 search results - page 330 / 979 » Functional Quantum Programming |
173
click to vote
BIRTHDAY
1994
Springer
15 years 11 months ago
1994
Springer
Cook's construction from 1971 [4] shows that any two-way deterministic pushdown automaton (2DPDA) can be simulated in time O(n), where n is the length of its input string, and...
272
click to vote
B
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
215
click to vote
CASES
2004
ACM
15 years 11 months ago
2004
ACM
New heterogeneous multiprocessor platforms are emerging that are typically composed of loosely coupled components that exchange data using programmable interconnections. The compon...
174
click to vote
DBPL
1995
Springer
15 years 10 months ago
1995
Springer
We describe the Tycoon approach to scale the successful notion of a uniform, type-safe persistent object store to communication-intensive applications and applications where lo...
207
click to vote
HPCA
1995
IEEE
15 years 10 months ago
1995
IEEE
Information on the behavior of programs is essential for deciding the number and nature of functional units in high performance architectures. In this paper, we present studies on...