Author of the publication

An overview of the BlueGene/L Supercomputer.

, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , and . SC, page 7:1-7:22. IEEE Computer Society, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Rational Neural Network Controllers., and . CoRR, (2023)A Parallel Approach to Row-Based VLSI Layout Using Stochastic Hill-Climbing., , , and . IEA/AIE, volume 2718 of Lecture Notes in Computer Science, page 750-758. Springer, (2003)Blue Gene: A vision for protein science using a petaflop supercomputer., , , , , , , , , and 42 other author(s). IBM Syst. J., 40 (2): 310-327 (2001)Scalable Forward Reachability Analysis of Multi-Agent Systems with Neural Network Controllers., , and . CDC, page 67-72. IEEE, (2023)Sparse Polynomial Optimisation for Neural Network Verification., and . CoRR, (2022)Exploiting Sparsity for Neural Network Verification., and . L4DC, volume 144 of Proceedings of Machine Learning Research, page 715-727. PMLR, (2021)Reachability Analysis of Neural Feedback Loops using Sparse Polynomial Optimisation., and . CDC, page 2745-2750. IEEE, (2022)An overview of the BlueGene/L Supercomputer., , , , , , , , , and 105 other author(s). SC, page 7:1-7:22. IEEE Computer Society, (2002)Blue Gene/L, a System-On-A-Chip., , , , , , , , , and 55 other author(s). CLUSTER, page 349-. IEEE Computer Society, (2002)Neural Network Verification using Polynomial Optimisation., and . CDC, page 5092-5097. IEEE, (2021)