Predicting and speedup of multithreaded Solaris programs

被引:0
|
作者
Lundberg, L
Roos, M
机构
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:386 / 392
页数:7
相关论文
共 50 条
  • [41] Kismet: Parallel Speedup Estimates for Serial Programs
    Jeon, Donghwan
    Garcia, Saturnino
    Louie, Chris
    Taylor, Michael Bedford
    [J]. ACM SIGPLAN NOTICES, 2011, 46 (10) : 519 - 536
  • [42] Kismet: Parallel Speedup Estimates for Serial Programs
    Jeon, Donghwan
    Garcia, Saturnino
    Louie, Chris
    Taylor, Michael Bedford
    [J]. OOPSLA 11: PROCEEDINGS OF THE 2011 ACM INTERNATIONAL CONFERENCE ON OBJECT ORIENTED PROGRAMMING SYSTEMS LANGUAGES AND APPLICATIONS, 2011, : 519 - 536
  • [43] Inherent parallelism and speedup estimation of sequential programs
    Kalyur, Sesha
    Nagaraja, G.S.
    [J]. Annals of Emerging Technologies in Computing, 2021, 5 (02) : 62 - 77
  • [44] Atomizer: A dynamic atomicity checker for multithreaded programs
    Flanagan, C
    Freund, SN
    [J]. ACM SIGPLAN NOTICES, 2004, 39 (01) : 256 - 267
  • [45] Security for multithreaded programs under cooperative scheduling
    Russo, Alejandro
    Sabelfeld, Andrei
    [J]. PERSPECTIVES OF SYSTEMS INFORMATICS, 2007, 4378 : 474 - +
  • [46] Using Unfoldings in Automated Testing of Multithreaded Programs
    Kahkonen, Kari
    Saarikivi, Olli
    Heljanko, Keijo
    [J]. 2012 PROCEEDINGS OF THE 27TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2012, : 150 - 159
  • [47] Pattern-Based Verification for Multithreaded Programs
    Esparza, Javier
    Ganty, Pierre
    Poch, Tomas
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2014, 36 (03):
  • [48] SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
    Sadowski, Caitlin
    Freund, Stephen N.
    Flanagan, Cormac
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5502 : 394 - +
  • [49] Program Visualization for Debugging Deadlocks in Multithreaded Programs
    Kim, Byung-Chul
    Jun, Yong-Kee
    [J]. ADVANCES IN SOFTWARE ENGINEERING, 2010, 117 : 228 - 236
  • [50] Assertion Guided Symbolic Execution of Multithreaded Programs
    Guo, Shengjian
    Kusano, Markus
    Wang, Chao
    Yang, Zijiang
    Gupta, Aarti
    [J]. 2015 10TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE 2015) PROCEEDINGS, 2015, : 854 - 865