804 search results - page 97 / 161 » Algorithms for Programmers |
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
159
Voted
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Markerless tracking of human pose is a hard yet relevant problem. In this paper, we derive an efficient filtering algorithm for tracking human pose at 4-10 frames per second using...
117
click to vote
TACAS
2010
Springer
15 years 9 months ago
2010
Springer
Modern multicore processors, such as the Cell Broadband Engine, achieve high performance by equipping accelerator cores with small “scratchpad” memories. The price for increase...
INFOSCALE
2006
ACM
15 years 8 months ago
2006
ACM
Abstract— Comparing genetic sequences is a well-known problem in bioinformatics. Newly determined sequences are being compared to known sequences stored in databases in order to ...
106
click to vote
DSD
2005
IEEE
15 years 8 months ago
2005
IEEE
Transport Triggered Architecture (TTA) offers a costeffective trade-off between the size and performance of ASICs and the programmability of general-purpose processors. In this pa...