Sciweavers

9595 search results - page 248 / 1919
» Functional programming in C
Sort
View
171
Voted
PVM
1998
Springer
15 years 10 months ago
SKaMPI: A Detailed, Accurate MPI Benchmark
Abstract. SKaMPI is a benchmark for MPI implementations. Its purpose is the detailed analysis of the runtime of individual MPI operations and comparison of these for di erent imple...
Ralf Reussner, Peter Sanders, Lutz Prechelt, Matth...
AOSD
2009
ACM
15 years 8 months ago
Modular verification of dynamically adaptive systems
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
Ji Zhang, Heather Goldsby, Betty H. C. Cheng
C++
1992
83views more  C++ 1992»
15 years 7 months ago
Adding Concurrency to a Programming Language
A programming language that lacks facilities for concurrent programming can gain those facilities in two ways: the language can be extended with additional constructs, which will ...
Peter A. Buhr, G. Ditchfeld
CC
2009
Springer
113views System Software» more  CC 2009»
16 years 7 months ago
Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming
Lennart C. L. Kats, Anthony M. Sloane, Eelco Visse...
MPC
2004
Springer
100views Mathematics» more  MPC 2004»
15 years 11 months ago
Probabilistic Predicative Programming
This paper shows how probabilistic reasoning can be applied to the predicative style of programming.
Eric C. R. Hehner