595 search results - page 39 / 119 » Using Constraints with Memory to Implement Variable Eliminat... |
138
click to vote
RIDE
1998
IEEE
15 years 7 months ago
1998
IEEE
Continuity of stream playback is the crucial constraint in designing a continuous media server. From a distributed memory architectural model developed earlier, we found that ther...
140
Voted
HEURISTICS
2008
15 years 2 months ago
2008
Since their beginning in constraint programming, set solvers have been applied to a wide range of combinatorial search problems, such as bin-packing, set partitioning, circuit desi...
108
click to vote
APLAS
2009
ACM
15 years 10 months ago
2009
ACM
We propose a type system for a programming language with memory allocation/deallocation primitives, which prevents memory-related errors such as double-frees and memory leaks. The ...
171
Voted
ICST
2011
IEEE
14 years 7 months ago
2011
IEEE
—Developers have used data structure repair over the last few decades as an effective means to recover on-the-fly from errors in program state. Traditional repair techniques wer...
131
Voted
DAC
2006
ACM
16 years 4 months ago
2006
ACM
The increasing use of Multiprocessor Systems-on-Chip (MPSoCs) for high performance demands of embedded applications results in high power dissipation. The memory subsystem is a la...