4895 search results - page 710 / 979 » Functional Quantum Programming |
143
click to vote
FMCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
156
Voted
FPL
2004
Springer
15 years 10 months ago
2004
Springer
ASIPs and reconfigurable processors are architectural choices to extend the capabilities of a given processor. ASIPs suffer from fixed hardware after design, while ASIPs and reconf...
143
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
150
click to vote
JIT
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we present a novel scheme for portable CPU accounting and control in Java, which is based on program transformation techniques and can be used with every standard Jav...
135
click to vote
PAKDD
2004
ACM
15 years 10 months ago
2004
ACM
The use of unlabeled data to aid classification is important as labeled data is often available in limited quantity. Instead of utilizing training samples directly into semi-super...