Title :
Buffer sharing in CSP-like programs
Author :
Vasudevan, Nalini ; Edwards, Stephen A.
Author_Institution :
Department of Computer Science, Columbia University, New York, USA
Abstract :
Most compilers focus on optimizing performance, often at the expense of memory, but efficient memory use can be just as important in constrained environments such as embedded systems.
Keywords :
Computer languages; Computer science; Concurrent computing; Constraint optimization; Embedded system; Explosions; Optimizing compilers; Processor scheduling; Program processors; Runtime environment; Buffers; Concurrency; Optimization; SHIM; Static Analysis;
Conference_Titel :
Formal Methods and Models for Co-Design, 2009. MEMOCODE '09. 7th IEEE/ACM International Conference on
Conference_Location :
Cambridge, MA, USA
Print_ISBN :
978-1-4244-4806-7
DOI :
10.1109/MEMCOD.2009.5185391
