Extracting threads from concurrent objects for the design of embedded systems
スポンサーリンク
概要
- 論文の詳細を見る
- 北陸先端科学技術大学院大学の論文
- 2002-08-05
著者
-
Aoki Toshiaki
Japan Advanced Institute of Science and Technology
-
Aoki Toshiaki
School of Information Science, Japan Advanced Institute of Science and Technology
-
Katayama Takuya
School of Information Science, Japan Advanced Institute of Science and Technology
-
Katayama Takuya
School Of Information Science Japan Advanced Institute Of Science And Technology
-
Katayama Takuya
Japan Advanced Institute Of Science And Technology
-
Aoki Toshiaki
School Of Information Science Japan Advanced Institute Of Science And Technology (jaist)
-
OKAZAKI Mitsutaka
Japan Advanced Institute of Science and Technology
-
Okazaki Mitsutaka
School of Information Science, Japan Advanced Institute of Science and Technology
-
Aoki Toshiaki
School Of Information Science Japan Advanced Institute Of Science And Technology
関連論文
- Automatic Generation of Model Checking Scripts based on Environment Modeling
- Modeling of Real-Time System Designs for Parametric Analysis
- Highly Reliable Embedded Software Development Using Advanced Software Technologies(Software Engineering for Embedded Systems)
- Extracting threads from concurrent objects for the design of embedded systems
- Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software
- Towards Integrating Adaptation and Model Checking for Software Components
- Concurrency in Microprotocol Frameworks
- Information Propagation on the φ Failure Detector
- Definition and specification of accrual failure detectors
- Fault-Tolerant Group Membership Protocols using Physical Robot Messengers
- On Accrual Failure Detectors
- The φ Accrual Failure Detector
- Flexible Failure Detection with к-FD
- Implementation and Performance Analysis of the φ-Failure Detector
- A Novel Replication Technique for Detecting and Masking Failures for Parallel Software: Active Parallel Replication
- Performance comparison of a rotating coordinator and a leader based consensus algorithm
- A Minimized Assumption Generation Method for Component-Based Software Verification
- Performance Comparison of a Rotating Coordinator and a Leader Based Consensus Algorithm
- OAG : Improved Ordered Attribute Grammars for Less Type 3 Circularities
- Using text semantic similarity approach to check the consistency of UML
- Parametric Verification towards Design of Real-Time Systems
- Toward an automatic reusable software using textual entailment
- Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking
- On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification
- On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification