15 search results - page 2 / 3 » micro 2012 |
177
click to vote
VLSI
2012
Springer
13 years 5 months ago
2012
Springer
e technique is based on abstract execution profiles, called event signatures, and it operates at a higher level of abstraction than, for example, commonly used instruction-set sim...
121
click to vote
PC
2012
13 years 5 months ago
2012
— The frenetic development of the current architectures places a strain on the current state-of-the-art programming environments. Harnessing the full potential of such architectu...
121
click to vote
TACAS
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
ICSE
2012
IEEE-ACM
12 years 11 months ago
2012
IEEE-ACM
—To survive and succeed, software projects need to attract and retain contributors. We model the individual’s chances to become a valuable contributor through her capacity, wil...
CVPR
2012
IEEE
12 years 12 months ago
2012
IEEE
We present a real-time approach for image-based localization within large scenes that have been reconstructed offline using structure from motion (Sfm). From monocular video, our...