共 50 条
- [2] On the automatic validation of parameterized unity programs PARALLEL AND DISTRIBUTED PROCESSING, 1998, 1388 : 807 - 819
- [3] An automatic tool to design CNN-UM programs 2007 EUROPEAN CONFERENCE ON CIRCUIT THEORY AND DESIGN, VOLS 1-3, 2007, : 492 - +
- [4] Lustructu: a tool for the automatic coverage assessment of LUSTRE programs 16TH IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2005, : 301 - 310
- [8] KOJAK - A tool set for automatic performance analysis of parallel programs EURO-PAR 2003 PARALLEL PROCESSING, PROCEEDINGS, 2003, 2790 : 1301 - 1304
- [9] An Automatic Analysis Tool Based on Computational Thinking for BlockPy Programs 2020 16TH INTERNATIONAL WIRELESS COMMUNICATIONS & MOBILE COMPUTING CONFERENCE, IWCMC, 2020, : 2045 - 2050
- [10] Automatic Integration Testbeds validation on Open Science Grid INTERNATIONAL CONFERENCE ON COMPUTING IN HIGH ENERGY AND NUCLEAR PHYSICS (CHEP 2010), 2011, 331