1227 search results - page 52 / 246 » Using Generation for Grammar Analysis and Error Detection |
154
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Traditional design and implementation of large atmospheric models is a difficult, tedious and error prone task. With the CTADEL project we investigate a new method of code genera...
135
click to vote
AIEDU
2006
15 years 6 months ago
2006
Constraint-based modeling has been used in many application areas of Intelligent Tutoring Systems as a powerful means to analyse erroneous student solutions and generate helpful fe...
182
click to vote
LCPC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
210
click to vote
VTC
2007
IEEE
16 years 7 days ago
2007
IEEE
— In this paper, we characterize the achievable performance of a wavelet encoding-based videophone system, which further compresses and protects the wavelet-based video codec’s...
193
click to vote
POPL
1997
ACM
15 years 10 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...