4757 search results - page 820 / 952 » Monads for Functional Programming |
146
Voted
HPDC
2000
IEEE
15 years 7 months ago
2000
IEEE
Increased platform heterogeneity and varying resource availability in distributed systems motivates the design of resource-aware applications, which ensure a desired performance l...
146
Voted
UML
2000
Springer
15 years 7 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
140
Voted
HPCN
1997
Springer
15 years 7 months ago
1997
Springer
Ninf is an ongoing global network-wide computing infrastructure project which allows users to access computational resources including hardware, software and scientific data distri...
126
Voted
DAC
1995
ACM
15 years 7 months ago
1995
ACM
High-level synthesis (HLS) has been successfully targeted towards the digital signal processing (DSP) domain. Both application-speci c integrated circuits (ASICs) and application-...
121
Voted
IPPS
1995
IEEE
15 years 7 months ago
1995
IEEE
Current research in parallel programming is focused on closing the gap between globally indexed algorithms and the separate address spaces of processors on distributed memory mult...