4722 search results - page 356 / 945 » Encoding Program Executions |
184
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...
166
click to vote
ICIP
2010
IEEE
15 years 5 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...
218
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...
209
click to vote
POPL
2004
ACM
16 years 13 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...
246
click to vote
IWPSE
2003
IEEE
16 years 8 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...