15 search results - page 2 / 3 » micro 2012 |
VLSI
2012
Springer
12 years 12 days 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...
PC
2012
12 years 12 days 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...
TACAS
2012
Springer
12 years 12 days 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
11 years 7 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
11 years 7 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...