4722 search results - page 356 / 945 » Encoding Program Executions |
176
click to vote
IJMI
2002
15 years 6 months ago
2002
Representation of clinical practice guidelines in a computer-interpretable format is a critical issue for guideline development, implementation, and evaluation. We studied 11 type...
159
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
This work presents a novel parallel technique to implement stack morphological filters for image processing. The method relies on applying the image bitwise decomposition to manip...
209
click to vote
TROB
2011
15 years 1 months ago
2011
— This paper defines and analyzes a simple robot with local sensors that moves in an unknown polygonal environment. The robot can execute wall-following motions and can traverse...
196
click to vote
POPL
2004
ACM
16 years 6 days ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
236
click to vote
IWPSE
2003
IEEE
16 years 1 days ago
2003
IEEE
One of the issues in software evolution is debugging. Debugging large and complex software systems evolved requires a lot of effort since it is very difficult to localize and ide...