Efficient Search-Space Pruning for Integrated Fusion and Tiling Transformations

Languages and Compilers for Parallel Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69330-7_15 ◽

2006 ◽

pp. 215-229 ◽

Author(s):

Xiaoyang Gao ◽

Sriram Krishnamoorthy ◽

Swarup Kumar Sahoo ◽

Chi-Chung Lam ◽

Gerald Baumgartner ◽

...

Keyword(s):

Search Space ◽

Efficient Search ◽

Search Space Pruning

Download Full-text

Efficient search-space pruning for integrated fusion and tiling transformations

Concurrency and Computation Practice and Experience ◽

10.1002/cpe.1182 ◽

2007 ◽

Vol 19 (18) ◽

pp. 2425-2443 ◽

Author(s):

Xiaoyang Gao ◽

Sriram Krishnamoorthy ◽

Swarup Kumar Sahoo ◽

Chi-Chung Lam ◽

Gerald Baumgartner ◽

...

Keyword(s):

Search Space ◽

Efficient Search ◽

Search Space Pruning

Download Full-text

ATPG-based preimage computation: efficient search space pruning with ZBDD

Eighth IEEE International High-Level Design Validation and Test Workshop ◽

10.1109/hldvt.2003.1252484 ◽

2004 ◽

Author(s):

K. Chandrasekar ◽

M.S. Hsiao

Keyword(s):

Search Space ◽

Efficient Search ◽

Search Space Pruning

Download Full-text

MaxPart: An Efficient Search-Space Pruning Approach to Vertical Partitioning

Computing and Informatics ◽

10.4149/cai_2018_4_915 ◽

2018 ◽

Vol 37 (4) ◽

pp. 915-945

Author(s):

Benameur Ziani ◽

Youcef Ouinten ◽

Mustapha Bouakkaz

Keyword(s):

Search Space ◽

Efficient Search ◽

Vertical Partitioning ◽

Search Space Pruning

Download Full-text

Advanced search space pruning with acoustic look-ahead for WFST based LVCSR

2013 IEEE International Conference on Acoustics, Speech and Signal Processing ◽

10.1109/icassp.2013.6638965 ◽

2013 ◽

Author(s):

David Nolden ◽

Ralf Schluter ◽

Hermann Ney

Keyword(s):

Search Space ◽

Advanced Search ◽

Search Space Pruning

Download Full-text

A Neural Architecture Generator for Efficient Search Space

Neurocomputing ◽

10.1016/j.neucom.2021.10.118 ◽

2021 ◽

Author(s):

Kun Jing ◽

Jungang Xu ◽

Zhen Zhang

Keyword(s):

Search Space ◽

Efficient Search ◽

Neural Architecture

Download Full-text

Improved Accuracy for Automated Communication Pattern Characterization Using Communication Graphs and Aggressive Search Space Pruning

Programming and Performance Visualization Tools - Lecture Notes in Computer Science ◽

10.1007/978-3-030-17872-7_3 ◽

2019 ◽

pp. 38-55 ◽

Author(s):

Philip C. Roth

Keyword(s):

Search Space ◽

Communication Pattern ◽

Communication Graphs ◽

Search Space Pruning ◽

Improved Accuracy

Download Full-text

Circuit-Based Search Space Pruning in QBF

Theory and Applications of Satisfiability Testing – SAT 2018 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-94144-8_12 ◽

2018 ◽

pp. 187-198 ◽

Author(s):

Mikoláš Janota

Keyword(s):

Search Space ◽

Search Space Pruning

Download Full-text

Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21690-4_14 ◽

2015 ◽

pp. 235-254 ◽

Author(s):

Yunhui Zheng ◽

Vijay Ganesh ◽

Sanu Subramanian ◽

Omer Tripp ◽

Julian Dolby ◽

...

Keyword(s):

Search Space ◽

Regular Expressions ◽

Search Space Pruning

Download Full-text

Dynamic search-space pruning techniques in path sensitization

32nd Design Automation Conference ◽

10.1145/196244.196621 ◽

1994 ◽

Author(s):

João P. Marques Silva ◽

Karem A. Sakallah

Keyword(s):

Search Space ◽

Path Sensitization ◽

Dynamic Search ◽

Search Space Pruning ◽

Pruning Techniques

Download Full-text

A method of search space pruning based on search state dominance

Systems and Computers in Japan ◽

10.1002/scj.4690250401 ◽

1994 ◽

Vol 25 (4) ◽

pp. 1-12

Author(s):

Takayuki Fujino ◽

Hideo Fujiwara

Keyword(s):

Search Space ◽

Search Space Pruning

Download Full-text