共 50 条
- [41] SoRTSim: A High-Level Simulator for the Evaluation of QoS Models on Grid [J]. REMOTE INSTRUMENTATION FOR ESCIENCE AND RELATED ASPECTS, 2012, : 161 - 175
- [42] Mapping of high-level SDL models to efficient implementations for TinyOS [J]. PROCEEDINGS OF THE EUROMICRO SYSTEMS ON DIGITAL SYSTEM DESIGN, 2004, : 402 - 406
- [43] AEON: Synthesizing Scheduling Algorithms from High-Level Models [J]. OPERATIONS RESEARCH AND CYBER-INFRASTRUCTURE, 2009, : 43 - +
- [45] Synthesis of high-level requirements models for automatic test generation [J]. EIGHTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS, 2001, : 76 - 82
- [46] Activity models for use in low power, high-level synthesis [J]. ICASSP '99: 1999 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, PROCEEDINGS VOLS I-VI, 1999, : 1881 - 1884
- [47] HIGH-LEVEL CONNECTIONIST MODELS - BARNDEN,JA, POLLACK,JB [J]. CONTEMPORARY PSYCHOLOGY, 1992, 37 (03): : 226 - 226
- [48] POSTER ABSTRACT: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations [J]. 2016 IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS), 2016,
- [49] ESTIMATION OF TIME SERIES MODELS USING RESIDUALS DEPENDENCE MEASURES [J]. ANNALS OF STATISTICS, 2022, 50 (05): : 3039 - 3063