1227 search results - page 10 / 246 » Using Generation for Grammar Analysis and Error Detection |
VLSID
2007
IEEE
15 years 10 months ago
2007
IEEE
Accurate electrical masking modeling represents a significant challenge in soft error rate analysis for combinational logic circuits. In this paper, we use table lookup MOSFET mode...
COLING
1996
14 years 11 months ago
1996
This paper presents a gratmnar and style checker demonstrator for Spanish and Greek native writers developed within the project GramCheck. Besides a brief grmnmar error typology f...
ATVA
2004
Springer
15 years 3 months ago
2004
Springer
Data races do not cover all kinds of concurrency errors. This paper presents a data- ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
ACL
1993
14 years 11 months ago
1993
We describe a generative probabilistic model of natural language, which we call HBG, that takes advantage of detailed linguistic information to resolve ambiguity. HBG incorporates...
107
Voted
CCS
2005
ACM
15 years 3 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...