Sciweavers

174 search results - page 24 / 35
» Improving Design Patterns Finder Precision Using a Model Che...
Sort
View
ECOOP
2010
Springer
15 years 1 months ago
Contract-Based Data Structure Repair Using Alloy
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
Razieh Nokhbeh Zaeem, Sarfraz Khurshid
ISMIR
2005
Springer
171views Music» more  ISMIR 2005»
15 years 4 months ago
Finding Meter in Music Using An Autocorrelation Phase Matrix and Shannon Entropy
This paper introduces a novel way to detect metrical structure in music. We introduce a way to compute autocorrelation such that the distribution of energy in phase space is prese...
Douglas Eck, Norman Casagrande
75
Voted
TCAD
2010
102views more  TCAD 2010»
14 years 5 months ago
Functional Test Generation Using Efficient Property Clustering and Learning Techniques
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
Mingsong Chen, Prabhat Mishra
ECAI
2008
Springer
15 years 8 days ago
Task Driven Coreference Resolution for Relation Extraction
Abstract. This paper presents the extension of an existing mimimally supervised rule acquisition method for relation extraction by coreference resolution (CR). To this end, a novel...
Feiyu Xu, Hans Uszkoreit, Hong Li
ASPLOS
2012
ACM
13 years 6 months ago
Providing safe, user space access to fast, solid state disks
Emerging fast, non-volatile memories (e.g., phase change memories, spin-torque MRAMs, and the memristor) reduce storage access latencies by an order of magnitude compared to state...
Adrian M. Caulfield, Todor I. Mollov, Louis Alex E...