Sciweavers

1227 search results - page 56 / 246
» Using Generation for Grammar Analysis and Error Detection
Sort
View
VL
2009
IEEE
157views Visual Languages» more  VL 2009»
15 years 4 months ago
Combining spatial and semantic label analysis
Labels in spreadsheets can be exploited for finding errors in spreadsheet formulas. Previous approaches have either used the positional information of labels or their interpretat...
Chris Chambers, Martin Erwig
PPOPP
2010
ACM
15 years 7 months ago
Using data structure knowledge for efficient lock generation and strong atomicity
To achieve high-performance on multicore systems, sharedmemory parallel languages must efficiently implement atomic operations. The commonly used and studied paradigms for atomici...
Gautam Upadhyaya, Samuel P. Midkiff, Vijay S. Pai
CASES
2006
ACM
15 years 1 months ago
Cost-efficient soft error protection for embedded microprocessors
Device scaling trends dramatically increase the susceptibility of microprocessors to soft errors. Further, mounting demand for embedded microprocessors in a wide array of safety c...
Jason A. Blome, Shantanu Gupta, Shuguang Feng, Sco...
BMCBI
2006
92views more  BMCBI 2006»
14 years 9 months ago
Similarity-based gene detection: using COGs to find evolutionarily-conserved ORFs
Background: Experimental verification of gene products has not kept pace with the rapid growth of microbial sequence information. However, existing annotations of gene locations c...
Bradford C. Powell, Clyde A. Hutchison III
DAC
2000
ACM
15 years 10 months ago
Self-test methodology for at-speed test of crosstalk in chip interconnects
The effect of crosstalk errors is most significant in highperformance circuits, mandating at-speed testing for crosstalk defects. This paper describes a self-test methodology that...
Xiaoliang Bai, Sujit Dey, Janusz Rajski