Sciweavers

314 search results - page 20 / 63
» The Complexity of Coverage
Sort
View
89
Voted
ANLP
2000
96views more  ANLP 2000»
15 years 3 months ago
Experiments with Corpus-based LFG Specialization
Sophisticated grammar formalisms, such as LFG, allow concisely capturing complex linguistic phenomena. The powerful operators provided by such formalisms can however introduce spu...
Nicola Cancedda, Christer Samuelsson
131
Voted
COLING
1990
15 years 3 months ago
A Formal Description of Arabic Syntax in Definite Clause Grammar
Arabic has some special syntax features which lead to complex syntax structures. We have developed a formal description of Arabic syntax in Definite Clause Grammar. This grarnrnar...
Hisham El-Shishiny
124
Voted
ICST
2010
IEEE
15 years 12 days ago
Searching for a Needle in a Haystack: Predicting Security Vulnerabilities for Windows Vista
—Many factors are believed to increase the vulnerability of software system; for example, the more widely deployed or popular is a software system the more likely it is to be att...
Thomas Zimmermann, Nachiappan Nagappan, Laurie A. ...
DAC
2005
ACM
15 years 3 months ago
Smart diagnostics for configurable processor verification
This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional ...
Sadik Ezer, Scott Johnson
CDES
2006
101views Hardware» more  CDES 2006»
15 years 3 months ago
Hybrid Error-Detection Approach with No Detection Latency for High-Performance Microprocessors
- Error detection plays an important role in fault-tolerant computer systems. Two primary parameters concerned for error detection are the latency and coverage. In this paper, a ne...
Yung-Yuan Chen, Kuen-Long Leu, Li-Wen Lin