共 50 条
- [42] A logical approach for specification and execution of concurrent real-time systems FOURTH INTERNATIONAL WORKSHOP ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 1997, : 182 - 185
- [43] Efficient Mobile Computation Offloading with Hard Task Deadlines and Concurrent Local Execution 2020 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM), 2020,
- [44] Manufacturing Execution Systems Intellectualization: Oil and Gas Implementation Sample MODEL AND DATA ENGINEERING, 2011, 6918 : 170 - +
- [45] THE DEVELOPMENT OF DIGITAL ECONOMY TECHNOLOGIES AND IMPLEMENTATION OF MANUFACTURING EXECUTION SYSTEMS REVISTA INCLUSIONES, 2020, 7 : 422 - 434
- [46] Efficient Information-Flow Verification Under Speculative Execution AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2019), 2019, 11781 : 499 - 514
- [47] SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis PROCEEDINGS OF THE 31ST USENIX SECURITY SYMPOSIUM, 2022, : 2531 - 2548
- [48] A model, design, and implementation of an efficient multithreaded workflow execution engine with data streaming, caching, and storage constraints JOURNAL OF SUPERCOMPUTING, 2013, 63 (03): : 919 - 945
- [49] A model, design, and implementation of an efficient multithreaded workflow execution engine with data streaming, caching, and storage constraints The Journal of Supercomputing, 2013, 63 : 919 - 945
- [50] Data Integration and Integrity Models for Transport Execution Systems VISION 2025: EDUCATION EXCELLENCE AND MANAGEMENT OF INNOVATIONS THROUGH SUSTAINABLE ECONOMIC COMPETITIVE ADVANTAGE, 2019, : 13406 - 13414