Sciweavers

4695 search results - page 40 / 939
» Software Clustering Techniques and the Use of Combined Algor...
Sort
View
DAC
2006
ACM
15 years 10 months ago
Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
Xiushan Feng, Alan J. Hu
ICDAR
2011
IEEE
13 years 9 months ago
Graph Clustering-Based Ensemble Method for Handwritten Text Line Segmentation
—Handwritten text line segmentation on real-world data presents significant challenges that cannot be overcome by any single technique. Given the diversity of approaches and the...
Vasant Manohar, Shiv Naga Prasad Vitaladevuni, Hua...
100
Voted
CORR
2010
Springer
208views Education» more  CORR 2010»
14 years 9 months ago
Bounded Model Checking of Multi-threaded Software using SMT solvers
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
Lucas Cordeiro, Bernd Fischer 0002
64
Voted
EURODAC
1995
IEEE
128views VHDL» more  EURODAC 1995»
15 years 1 months ago
Closeness metrics for system-level functional partitioning
An important system design task is the partitioning of system functionality for implementation among multiple system components, including partitions among hardware and software c...
Frank Vahid, Daniel D. Gajski
ACL
2000
14 years 11 months ago
A Morphologically Sensitive Clustering Algorithm for Identifying Arabic Roots
We present a clustering algorithm for Arabic words sharing the same root. Root based clusters can substitute dictionaries in indexing for IR. Modifying Adamson and Boreham (1974),...
Anne N. De Roeck, Waleed Al-Fares