Sciweavers

9595 search results - page 359 / 1919
» Functional programming in C
Sort
View
LCR
2000
Springer
121views System Software» more  LCR 2000»
15 years 10 months ago
Optimizing Mutual Exclusion Synchronization in Explicitly Parallel Programs
Abstract. We present two new compiler optimizations for explicitly parallel programs based on the CSSAME form: Lock-Independent Code Motion (LICM) and Mutex Body Localization (MBL)...
Diego Novillo, Ronald C. Unrau, Jonathan Schaeffer
CAV
2008
Springer
110views Hardware» more  CAV 2008»
15 years 8 months ago
Monotonic Abstraction for Programs with Dynamic Memory Heaps
c Abstraction for Programs with Dynamic Memory Heaps Parosh Aziz Abdulla1 , Ahmed Bouajjani2 , Jonathan Cederberg1 , Fr
Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Ced...
GPEM
2010
180views more  GPEM 2010»
15 years 5 months ago
Developments in Cartesian Genetic Programming: self-modifying CGP
Abstract Self-Modifying Cartesian Genetic Programming (SMCGP) is a general purpose, graph-based, developmental form of Genetic Programming founded on Cartesian Genetic Programming....
Simon Harding, Julian F. Miller, Wolfgang Banzhaf
ESOP
2012
Springer
14 years 2 months ago
Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce
Abstract. MapReduce, being inspired by the map and reduce primitives available in many functional languages, is the de facto standard for large scale data-intensive parallel progra...
Kento Emoto, Sebastian Fischer, Zhenjiang Hu
FSEN
2007
Springer
16 years 26 days ago
A Model of Component-Based Programming
Abstract. Component-based programming is about how to create application programs from prefabricated components with new software that provides both glue between the components, an...
Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan