1145 search results - page 127 / 229 » The Correctness of an Optimized Code Generation |
148
click to vote
HPCC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...
157
click to vote
CODES
2005
IEEE
15 years 10 months ago
2005
IEEE
Arbitrary memory dependencies and variable latency memory systems are major obstacles to the synthesis of large-scale ASIC systems in high-level synthesis. This paper presents SOM...
134
Voted
STOC
2007
ACM
16 years 4 months ago
2007
ACM
This work is at the intersection of two lines of research. One line, initiated by Dinur and Nissim, investigates the price, in accuracy, of protecting privacy in a statistical dat...
247
click to vote
ICDE
2007
IEEE
16 years 5 months ago
2007
IEEE
requirement. Furthermore, programming using sequence constructs normally produce nested structures and The current approachfor modeling synchronization in scattered code, especiall...
193
click to vote
TCSV
2008
15 years 4 months ago
2008
Since variable block-size motion compensation (MC) and rate-distortion optimization (RDO) techniques are adopted in H.264/MPEG-4 AVC, modes and motion vectors (MVs) in input stream...