Automata-theoretic performance analysis method of soft real-time systems

被引：0

作者：

机构：

[1] Yamane, Satoshi

来源：

| 1600年 / Auto-ID Labs Korea; Mobile Multimedia Research Center卷 / Springer Verlag期

关键词：

721.1 Computer Theory; Includes Computational Logic; Automata Theory; Switching Theory; Programming Theory - 722.4 Digital Computers and Systems - 723.5 Computer Applications;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[1] Automata-theoretic performance analysis method of soft real-time systems
Yamane, S
EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005 WORKSHOPS, PROCEEDINGS, 2005, 3823 : 1211 - 1224
[2] AN AUTOMATA-THEORETIC FRAMEWORK FOR INTELLIGENT SYSTEMS
KIM, SH
ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 1989, 5 (01) : 43 - 51
[3] Performance analysis of soft real-time systems
Rooholamini, M
Hosseini, SH
INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-III, PROCEEDINGS, 1997, : 1614 - 1622
[4] The automata-theoretic approach to verification of reactive systems
Chebotarev A.N.
Cybernetics and Systems Analysis, 2001, 37 (6) : 810 - 819
[5] Performance analysis of dynamic soft real-time systems
Brandt, SA
CONFERENCE PROCEEDINGS OF THE 2001 IEEE INTERNATIONAL PERFORMANCE, COMPUTING, AND COMMUNICATIONS CONFERENCE, 2001, : 379 - 386
[6] Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems
Kai Lampka
Simon Perathoner
Lothar Thiele
Design Automation for Embedded Systems, 2010, 14 : 193 - 227
[7] Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems
Lampka, Kai
Perathoner, Simon
Thiele, Lothar
DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2010, 14 (03) : 193 - 227
[8] An automata-theoretic approach to branching-time model checking
Kupferman, O
Vardi, MY
Wolper, P
JOURNAL OF THE ACM, 2000, 47 (02) : 312 - 360
[9] An Automata-Theoretic Approach to Modeling Systems and Specifications over Infinite Data
Frenkel, Hadar
Grumberg, Orna
Sheinvald, Sarai
NASA FORMAL METHODS (NFM 2017), 2017, 10227 : 1 - 18
[10] An automata-theoretic approach to interprocedural data-flow analysis
Esparza, J
Knoop, J
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 1999, 1578 : 14 - 30

← 1 2 3 4 5 →