Sciweavers

10820 search results - page 15 / 2164
» Understanding the
Sort
View
ASE
1998
81views more  ASE 1998»
13 years 7 months ago
Program Understanding as Constraint Satisfaction: Representation and Reasoning Techniques
The process of understanding a source code in a high-level programming language involves complex computation. Given a piece of legacy code and a library of program plan templates, ...
Steven G. Woods, Qiang Yang
TSE
2010
102views more  TSE 2010»
13 years 2 months ago
Understanding Exception Handling: Viewpoints of Novices and Experts
Several recent studies indicate that many industrial applications exhibit poor quality in the design of exception-handling. To improve the quality of error-handling, we need to und...
Hina Shah, Carsten Görg, Mary Jean Harrold
ICSE
2007
IEEE-ACM
14 years 7 months ago
Design and Evaluation of a Diagrammatic Notation to Aid in the Understanding of Concurrency Concepts
It is generally accepted that concurrency can be difficult for students to reason about and to manage. While some studies provide insight into the nature of these difficulties[6],...
Shaohua Xie, Eileen Kraemer, R. E. Kurt Stirewalt
IAT
2007
IEEE
14 years 1 months ago
Agent Based Arabic Language Understanding
Arabic Language understanding (ALU) computing is considered an AI-hard task. In this paper, we propose an Agent model for ALU problem. This agent is detailed in this paper. An ALU...
Muhammad Taha, Tarek Helmy, Reda Abo Alez
CAV
2004
Springer
77views Hardware» more  CAV 2004»
14 years 27 days ago
Understanding Counterexamples with explain
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
Alex Groce, Daniel Kroening, Flavio Lerda