1227 search results - page 149 / 246 » Using Generation for Grammar Analysis and Error Detection |
141
Voted
PLDI
2004
ACM
15 years 9 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
146
Voted
AUSDM
2006
Springer
15 years 7 months ago
2006
Springer
Harmonic monitoring has become an important tool for harmonic management in distribution systems. A comprehensive harmonic monitoring program has been designed and implemented on ...
118
Voted
DOCENG
2008
ACM
15 years 5 months ago
2008
ACM
Different dialects of XML have emerged as ubiquitous document exchange formats. For effective collaboration based on such documents, the capability to propagate edit operations pe...
129
click to vote
SCAM
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
171
Voted
ICDAR
1995
IEEE
15 years 7 months ago
1995
IEEE
The method herein proposed detects text lines on handwritten pages which may include either lines oriented in several directions, erasures, or annotationsbetween main lines. The m...