共 50 条
- [1] UML-Based Modeling and multi-threaded simulation for hybrid dynamic systems [J]. PROCEEDINGS OF THE 2002 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, VOLS 1 & 2, 2002, : 1207 - 1212
- [2] Multi-threaded reachability [J]. 42ND DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2005, 2005, : 467 - 470
- [3] Multi-Threaded Actors [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (223): : 51 - 66
- [6] Modeling and resolving lock contention for multi-threaded systems [J]. ICIC Express Letters, 2011, 5 (12): : 4473 - 4478
- [7] Spread the Work: Multi-threaded Safety Analysis for Hybrid Systems [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2018, 2018, 10886 : 89 - 104
- [8] Hybrid Multi-threaded Simulation of Agent-Based Pandemic Modeling using Multiple GPUs [J]. PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE, 2015, : 1478 - 1485
- [9] Multi-Threaded Graph Partitioning [J]. IEEE 27TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2013), 2013, : 225 - 236
- [10] A multi-threaded asynchronous language [J]. PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, 2003, 2763 : 316 - 323