4959 search results - page 725 / 992 » Imperative Functional Programming |
205
Voted
CP
2004
Springer
16 years 15 days ago
2004
Springer
We study the quality of LP-based approximation methods for pure combinatorial problems. We found that the quality of the LPrelaxation is a direct function of the underlying constra...
201
click to vote
FMCO
2004
Springer
16 years 15 days 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 ...
207
Voted
FPL
2004
Springer
16 years 15 days 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...
205
click to vote
ICALP
2004
Springer
16 years 15 days ago
2004
Springer
Quantum algorithms for graph problems are considered, both in the adjacency matrix model and in an adjacency list-like array model. We give almost tight lower and upper bounds for ...
182
Voted
IFIP
2004
Springer
16 years 14 days 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...