共 50 条
- [41] Timing Verification of Distributed Network Systems at Higher Levels of Abstraction [J]. HLDVT: 2008 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2008, : 101 - 107
- [42] CARAT: a toolkit for design and performance analysis of component-based embedded systems [J]. 2007 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, VOLS 1-3, 2007, : 1024 - +
- [43] A component-based framework for distributed control systems [J]. 32ND EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA) - PROCEEDINGS, 2006, : 20 - +
- [44] Designing distributed component-based systems with DCL [J]. SEVENTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2001, : 144 - 154
- [45] Research on the Component-based Compositional Timing Analysis for Embedded Real-time Software [J]. ICCSE 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION: ADVANCED COMPUTER TECHNOLOGY, NEW EDUCATION, 2008, : 929 - 935
- [46] Counterexample-guided Abstraction Refinement for Component-based Systems [J]. 2014 IEEE 38TH ANNUAL INTERNATIONAL COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2014, : 201 - 210
- [48] Allocation Optimization for Component-based Embedded Systems with GPUs [J]. 44TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2018), 2018, : 101 - 110
- [49] A dynamic customizable model for component-based embedded systems [J]. 2008 INTERNATIONAL CONFERENCE ON AUDIO, LANGUAGE AND IMAGE PROCESSING, VOLS 1 AND 2, PROCEEDINGS, 2008, : 220 - 224
- [50] Quality Assurance for Component-based Systems in Embedded Environments [J]. 2018 INTERNATIONAL CONFERENCE ON INTERNET OF THINGS, EMBEDDED SYSTEMS AND COMMUNICATIONS (IINTEC), 2018, : 171 - 176