Sciweavers

3404 search results - page 290 / 681
» C Programming Tutorial
Sort
View
181
Voted
HIPEAC
2011
Springer
14 years 3 months ago
NoC-aware cache design for multithreaded execution on tiled chip multiprocessors
In chip multiprocessors (CMPs), data accesslatency dependson the memory hierarchy organization, the on-chip interconnect (NoC), and the running workload. Reducing data access late...
Ahmed Abousamra, Alex K. Jones, Rami G. Melhem
251
Voted
POPL
2005
ACM
16 years 4 months ago
Transition predicate abstraction and fair termination
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
Andreas Podelski, Andrey Rybalchenko
138
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
Language-based replay via data flow cut
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...
Ming Wu, Fan Long, Xi Wang, Zhilei Xu, Haoxiang Li...
120
Voted
ICPR
2004
IEEE
16 years 4 months ago
Multi-level Anchorperson Detection Using Multimodal Association
In contemporary TV news programs, multi-level anchorpersons are often used which indicate the inherent hierarchical structure of news program. However, these diverse anchorperson ...
Dong-Jun Lan, HongJiang Zhang, Yu-Fei Ma
120
Voted
ICPR
2004
IEEE
16 years 4 months ago
An Energy Minimisation Approach to Stereo-Temporal Dense Reconstruction
We propose a novel energy minimisation framework for the dense reconstruction of stereo image sequences that incorporates data fidelity as well as spatial and temporal regularity....
Ben Appleton, Brian C. Lovell, Carlos Leung, Chang...