6274 search results - page 465 / 1255 » Proofs, Programs, Processes |
210
click to vote
CAIP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Dynamic Programming (DP) is a popular and efficient method for calculating disparity maps from stereo images. It allows for meeting real-time constraints even on low-cos...
206
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
175
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Multi-input addition is an important operation for many DSP and video processing applications. On FPGAs, multi-input addition has traditionally been implemented using trees of car...
217
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
The increasing availability of multi-core and multiprocessor architectures provides new opportunities for improving the performance of many computer simulations. Markov Chain Mont...
183
click to vote
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
This report examines how the VeriSign Managed Security Services team (MSS) has successfully extended agile software development practices to deal with a complex, multi-product dev...