arXiv:1801.09212v2 [cs.PF] 2 MayBOPS, N OT FLOPS! A N EW M ETRIC AND R OOFLINE P ERFORMANCE M ODEL F OR D ATACENTER C OMPUTING

Source URL: arxiv.org

• Computer architecture
• Computing
• Parallel computing
• Computer programming
• Roofline model
• Software optimization
• Software testing
• FLOPS
• Central processing unit
• Supercomputer
• Benchmark
• Instructions per cycle

I MPULSE -R ESPONSE AND CAD-M ODEL -B ASED P HYSICAL M ODELING IN FAUST P.-A. G RUMIAUX , R. M ICHON , E. G ALLEGO A RIAS AND P. J OUVELOT , , {emilio.gallego_aria

Source URL: www.cri.mines-paristech.fr

2009 Godel Prize The 2009 G¨odel Prize for outstanding papers in the area of theoretical computer science is awarded to (1) Entropy waves, the zig-zag graph product and new constant degree expanders, Omer Reingold, Sal

Source URL: eatcs.org

Sobel on G¨odel’s Ontological Proof Robert C. Koons Department of Philosophy University of Texas at Austin July 6, 2005

Source URL: robkoons.net

A Guide to Quantified Propositional G¨ odel Logic Matthias Baaz? , Agata Ciabattoni?? , Norbert Preining? , and Helmut Veith ???

Source URL: www.preining.info

W HITE PAPER A N I NTRODUCTION TO THE ADDIE I NSTRUCTIONAL S YSTEMS D ESIGN M ODEL

Source URL: www.fgdla.us

I MPULSE -R ESPONSE AND CAD-M ODEL -B ASED P HYSICAL M ODELING IN FAUST P.-A. G RUMIAUX , R. M ICHON , E. G ALLEGO A RIAS AND P. J OUVELOT , , {emilio.gallego_aria

Source URL: cri.ensmp.fr

G¨odel on Intuition and on Hilbert’s finitism W. W. Tait∗ There are some puzzles about G¨odel’s published and unpublished remarks concerning finitism that have led some commentators to believe that his conception

Source URL: home.uchicago.edu

M ODEL DB: A System for Machine Learning Model Management Manasi Vartak, Harihar Subramanyam, Wei-En Lee, Srinidhi Viswanathan, Saadiyah Husnoo Samuel Madden, Matei Zaharia MIT {mvartak, madden, matei}@csail.mit.edu, {hs

Source URL: mitdbg.github.io

Keuzeaxioma en Continuumhypothese odel dat het Keuzeaxioma en de Continuumhypothese niet tot Hoe bewees G¨ tegenspraak leiden? G¨ odel bouwde een universum voor de verzamelingenleer op een zo zuinig mogelijke manier do

Source URL: pub.math.leidenuniv.nl