Hierarchical simulation-based verification of anton, a special-purpose parallel machine

被引:0
|
作者
D. E. Shaw Research, New York, NY 10036, United States [1 ]
机构
来源
IEEE Int. Conf. Comp. Des., ICCD | 1600年 / 340-347期
关键词
Compendex;
D O I
26th IEEE International Conference on Computer Design 2008, ICCD
中图分类号
学科分类号
摘要
Couplings - Simulators - Computer software
引用
收藏
相关论文
共 50 条
  • [21] Special-purpose parallel robot for active suspension of ambulance stretchers
    Bruzzone, Luca E.
    Molfino, Rezia M.
    Bruzzone, L.E. (bruzzone@dimec.unige.it), 1600, Int. Assoc. of Science and Technology for Development (18): : 121 - 130
  • [22] Special-purpose simulation model for balanced cantilever bridges
    Marzouk, Mohamed
    Said, Hisham
    El-Said, Moheeb
    JOURNAL OF BRIDGE ENGINEERING, 2008, 13 (02) : 122 - 131
  • [23] A special-purpose parallel computer for solving partial differential equations
    Pinuel, L
    Martin, I
    Tirado, F
    PROCEEDINGS OF THE SIXTH EUROMICRO WORKSHOP ON PARALLEL AND DISTRIBUTED PROCESSING - PDP '98, 1998, : 509 - 517
  • [24] Anton 2: Raising the bar for performance and programmability in a special-purpose molecular dynamics supercomputer
    Shaw, David E.
    Grossman, J. P.
    Bank, Joseph A.
    Batson, Brannon
    Butts, J. Adam
    Chao, Jack C.
    Deneroff, Martin M.
    Dror, Ron O.
    Even, Amos
    Fenton, Christopher H.
    Forte, Anthony
    Gagliardo, Joseph
    Gill, Gennette
    Greskamp, Brian
    Ho, C. Richard
    Ierardi, Douglas J.
    Iserovich, Lev
    Kuskin, Jeffrey S.
    Larson, Richard H.
    Layman, Timothy
    Lee, Li-Siang
    Lerer, Adam K.
    Li, Chester
    Killebrew, Daniel
    Mackenzie, Kenneth M.
    Mok, Shark Yeuk-Hai
    Moraes, Mark A.
    Mueller, Rolf
    Nociolo, Lawrence J.
    Peticolas, Jon L.
    Quan, Terry
    Ramot, Daniel
    Salmon, John K.
    Scarpazza, Daniele P.
    Ben Schafer, U.
    Siddique, Naseer
    Snyder, Christopher W.
    Spengler, Jochen
    Tang, Ping Tak Peter
    Theobald, Michael
    Toma, Horia
    Towles, Brian
    Vitale, Benjamin
    Wang, Stanley C.
    Young, Cliff
    SC14: INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE AND ANALYSIS, 2014, : 41 - 53
  • [25] Extending the generality of molecular dynamics simulations on a special-purpose machine
    Scarpazza, Daniele P.
    Ierardi, Douglas J.
    Lerer, Adam K.
    Mackenzie, Kenneth M.
    Pan, Albert C.
    Bank, Joseph A.
    Chow, Edmond
    Dror, Ron O.
    Grossman, J. P.
    Killebrew, Daniel
    Moraes, Mark A.
    Predescu, Cristian
    Salmon, John K.
    Shaw, David E.
    IEEE 27TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2013), 2013, : 933 - 945
  • [26] REMARKS UPON THE PURCHASES OF SPECIAL-PURPOSE MACHINE-TOOLS
    MIKUCKI, S
    MECHANIK MIESIECZNIK NAUKOWO-TECHNICZNY, 1980, 53 (11): : 613 - 615
  • [27] Productivity improvement using special-purpose modular machine tools
    Tolouei-Rad, Majid
    Zolfaghari, Saeed
    International Journal of Manufacturing Research, 2009, 4 (02) : 219 - 235
  • [28] Design and simulation of reusable IPCORDIC core for special-purpose processors
    Sung, T.-Y.
    Hsin, H.-C.
    IET COMPUTERS AND DIGITAL TECHNIQUES, 2007, 1 (05): : 581 - 589
  • [29] Formal methods for engineering special-purpose parallel systems introduction to minitrack
    Abdallah, A.E.
    Luk, W.
    Proceedings of the 36th Annual Hawaii International Conference on System Sciences, HICSS 2003, 2003,
  • [30] REAL-TIME LANGUAGE RECOGNITION ON A PARALLEL SPECIAL-PURPOSE ARCHITECTURE
    ROBERT, Y
    TCHUENTE, M
    COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1985, 300 (11): : 363 - &