6274 search results - page 108 / 1255 » Proofs, Programs, Processes |
125
Voted
WCRE
2003
IEEE
15 years 7 months ago
2003
IEEE
Our research goal is to retarget image processing programs written in sequential languages (e.g., C) to architectures with data-parallel processing capabilities. Image processing ...
140
Voted
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
We give an optimal dynamic programming algorithm to solve a class of finite-horizon decentralized Markov decision processes (MDPs). We consider problems with a broadcast informati...
118
Voted
ISPW
2005
IEEE
15 years 8 months ago
2005
IEEE
Medical errors are now recognized as a major cause of untimely deaths or other adverse medical outcomes. To reduce the number of medical errors, the Medical Safety Project at the U...
110
Voted
IWPC
1996
IEEE
15 years 6 months ago
1996
IEEE
Evaluating the design of a distributed application is di cult but provides useful information for program development and maintenance. In distributed debugging, for example, proce...
117
Voted
APSEC
2002
IEEE
15 years 7 months ago
2002
IEEE
Many methods for XML processing have been proposed in the last few years. One popular approach is to process XML documents by using existing programming languages. Another popular...