Real-Time Analysis of Resource-Constrained Distributed Systems by Simulation-Guided Model Checking

ACM SIGBED Review - United States
doi 10.1145/1366283.1366290
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation

IEICE Transactions on Information and Systems
Electronic EngineeringPattern RecognitionHardwareComputer VisionElectricalArchitectureArtificial IntelligenceSoftware
2011English

Model-Checking for Real-Time Systems Specified in Lotos

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1993English

Design and Simulation for Real-Time Distributed Processing Systems

1996English

Formula Based Abstractions of Transition Systems for Real-Time Model Checking

English

Feedback Control-Based Dynamic Resource Management in Distributed Real-Time Systems

Journal of Systems and Software
HardwareInformation SystemsArchitectureSoftware
2007English

Efficient Model-Checking of Dense-Time Systems With Time-Convexity Analysis

2008English

Real-Time Model Checking on Secondary Storage

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Real-Time Model Checking Is Really Simple

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Communicating Shared Resources: A Model for Distributed Real-Time Systems

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy