Sciweavers

744 search results - page 66 / 149
» Software Transactional Memory on Relaxed Memory Models
Sort
View
124
Voted
ASPDAC
2000
ACM
120views Hardware» more  ASPDAC 2000»
15 years 8 months ago
Data memory minimization by sharing large size buffers
- This paper presents software synthesis techniques to deal with non-primitive data type from graphical dataflow programs based on the synchronous dataflow (SDF) model. Non-primiti...
Hyunok Oh, Soonhoi Ha
ICONIP
2007
15 years 5 months ago
Analysis on Bidirectional Associative Memories with Multiplicative Weight Noise
Abstract. In neural networks, network faults can be exhibited in different forms, such as node fault and weight fault. One kind of weight faults is due to the hardware or software ...
Chi-Sing Leung, Pui-Fai Sum, Tien-Tsin Wong
APSEC
2008
IEEE
15 years 10 months ago
A Heap Model for Java Bytecode to Support Separation Logic
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
Chenguang Luo, Guanhua He, Shengchao Qin
IWMM
2010
Springer
140views Hardware» more  IWMM 2010»
15 years 5 months ago
Parametric inference of memory requirements for garbage collected languages
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
Elvira Albert, Samir Genaim, Miguel Gómez-Z...
120
Voted
CASES
2006
ACM
15 years 9 months ago
Memory optimization by counting points in integer transformations of parametric polytopes
Memory size reduction and memory accesses optimization are crucial issues for embedded systems. In the context of affine programs, these two challenges are classically tackled by ...
Rachid Seghir, Vincent Loechner