|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 13 keywords
|
|
|
Results
Found 24 publication records. Showing 24 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
57 | Michael S. Schlansker, Vinod Kathail, Sadun Anik |
Height reduction of control recurrences for ILP processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 27th Annual International Symposium on Microarchitecture, San Jose, California, USA, November 30 - December 2, 1994, pp. 40-51, 1994, ACM / IEEE Computer Society, 0-89791-707-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
back-substitution, blocked back-substitution, control height reduction, parallelism, software pipeline, control dependences, loop optimization, recurrences |
21 | Alan Edelman, Ekin Akyürek, Yuyang Wang |
Backpropagation through Back Substitution with a Backslash. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Matrix Anal. Appl. ![In: SIAM J. Matrix Anal. Appl. 45(1), pp. 429-449, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Alan Edelman, Ekin Akyürek, Yuyang Wang |
BACKpropagation through BACK substitution with a BACKslash. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.15449, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Tom Zelazny, Haoze Wu 0001, Clark W. Barrett, Guy Katz |
On Optimizing Back-Substitution Methods for Neural Network Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.07669, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Tom Zelazny, Haoze Wu 0001, Clark W. Barrett, Guy Katz |
On Optimizing Back-Substitution Methods for Neural Network Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 22nd Formal Methods in Computer-Aided Design, FMCAD 2022, Trento, Italy, October 17-21, 2022, pp. 17-26, 2022, IEEE, 978-3-85448-053-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Cody Allard, Manuel Diaz Ramos, Hanspeter Schaub |
Computational Performance of Complex Spacecraft Simulations Using Back-Substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Aerosp. Inf. Syst. ![In: J. Aerosp. Inf. Syst. 16(10), pp. 427-436, October 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Carl Ingemarsson, Oscar Gustafsson |
Hardware architecture for positive definite matrix inversion based on LDL decomposition and back-substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSSC ![In: 50th Asilomar Conference on Signals, Systems and Computers, ACSSC 2016, Pacific Grove, CA, USA, November 6-9, 2016, pp. 859-863, 2016, IEEE, 978-1-5386-3954-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Bingsheng He, Min Tao, Xiaoming Yuan 0001 |
Alternating Direction Method with Gaussian Back Substitution for Separable Convex Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Optim. ![In: SIAM J. Optim. 22(2), pp. 313-340, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Yigitcan Aksari, Harun Artuner |
Forward and back substitution algorithms on GPU: a case study on modified incomplete Cholesky Preconditioner for three-dimensional finite difference method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 62(1), pp. 550-572, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Xuanxing Xiong, Jia Wang |
Parallel forward and back substitution for efficient power grid simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2012 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2012, San Jose, CA, USA, November 5-8, 2012, pp. 660-663, 2012, ACM, 978-1-4577-1398-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Anshul Gupta, Vipin Kumar 0001 |
Parallel Algorithms for Forward and Back Substitution in Direct Solution of Sparse Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings Supercomputing '95, San Diego, CA, USA, December 4-8, 1995, pp. 74, 1995, ACM, 0-89791-816-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Kam-Hoi Cheng, Sartaj Sahni |
VLSI architectures for back substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Comput. ![In: Parallel Comput. 12(1), pp. 53-69, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
21 | Kam-Hoi Cheng, Sartaj Sahni |
VLSI Artchitectures for Back Substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Congress ![In: Information Processing 86, Proceedings of the IFIP 10th World Computer Congress, Dublin, Ireland, September 1-5, 1986., pp. 373-378, 1986, North-Holland/IFIP, 0-444-70077-3. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
11 | Shan Ouyang 0001 |
Bi-iterative least squares algorithms for blind channel identification and equalization with second-order statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(10), pp. 1905-1914, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
intersymbol interference, blind identification and equalization, subspace tracking, second-order statistics, inverse QR iteration, bi-iteration, SIMO, interference, QR-decomposition, low-rank approximation |
11 | Matteo Frigo, Volker Strumpen |
The Cache Complexity of Multithreaded Cache Oblivious Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 45(2), pp. 203-233, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Multithreading, Cache oblivious algorithms, Stencil computations |
11 | Michael Kaess, Ananth Ranganathan, Frank Dellaert |
iSAM: Fast Incremental Smoothing and Mapping with Efficient Data Association. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 1670-1677, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Wenjie Jiang 0002, Yusuke Asai, Satoru Aikawa |
Efficient Optimal Ordering Achieving DFE Algorithms in MIMO Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 65th IEEE Vehicular Technology Conference, VTC Spring 2007, 22-25 April 2007, Dublin, Ireland, pp. 2083-2088, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Fariborz Sobhanmanesh, Saeid Nooshabadi |
VLSI architecture for 4×4 16-QAM V-BLAST decoder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Deepak Boppana, Kully Dhanoa, Jesse Kempa |
FPGA based Embedded Processing Architecture for the QRD-RLS Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 12th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2004), 20-23 April 2004, Napa, CA, USA, Proceedings, pp. 330-331, 2004, IEEE Computer Society, 0-7695-2230-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Yu Chen |
A Fast, Direct Algorithm for the Lippmann-Schwinger Integral Equation in Two Dimensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 16(2-3), pp. 175-190, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
scattering matrix, Lippmann-Schwinger, Helmholtz, fast algorithm |
11 | Jirí Maryska, Miroslav Rozlozník, Miroslav Tuma |
Primal vs. Dual Variable Approach for Mixed-Hybrid Finite Element Approximation of the Potential Fluid Flow Problem in Porous Media. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSSC ![In: Large-Scale Scientific Computing, Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001, Revised Papers, pp. 417-424, 2001, Springer, 3-540-43043-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | B. Gou, Ali Abur |
A simple method to determine observable islands for state estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30 - June 2, 1999, pp. 519-522, 1999, IEEE, 0-7803-5471-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Thomas F. Coleman, Anders Edenbrandt, John R. Gilbert |
Predicting fill for sparse orthogonal factorization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 33(3), pp. 517-532, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
11 | S. Lennart Johnsson |
Solving Narrow Banded Systems on Ensemble Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 11(3), pp. 271-288, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
banded linear systems, multiprocessors |
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|