2477 search results - page 295 / 496 » Parallelizing Functional Programs by Generalization |
162
Voted
IFIP
2004
Springer
15 years 11 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...
175
Voted
HOLOMAS
2009
Springer
15 years 11 months ago
2009
Springer
The method of IEC 61499 compliant device implementation with the National Instruments LabVIEW is proposed. The work focuses on these aspects of the tasks of the event generation an...
145
click to vote
IFL
2001
Springer
15 years 11 months ago
2001
Springer
The parallel-functional language Eden extends Haskell with constructs to explicitly define and communicate processes. These extensions allow the easy definition of skeletons as h...
195
click to vote
VLDB
1998
ACM
15 years 10 months ago
1998
ACM
This paper describes a massively parallel object relational (O/R) database used in an advanced development program to create a comprehensive medical information system called the ...
140
click to vote
COMPCON
1996
IEEE
15 years 10 months ago
1996
IEEE
An important objective of the MicroUnity mediaprocessor is to allow the design of systems that replace hardwired functionality with software. One of the key design techniques that...