An Embeddable Virtual Machine for State Space Generation

International Journal on Software Tools for Technology Transfer- Germany

doi 10.1007/s10009-010-0141-2

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Science and Business Media LLC

Related search

Distributed State Space Generation of Discrete-State Stochastic Models

INFORMS Journal on Computing
Management ScienceComputer Science ApplicationsInformation SystemsOperations ResearchSoftware
1998English

Design and Implementation of Superinstructions for JavaScript Virtual Machine Generation System for Embedded Systems eJSTK

Journal of Information Processing
2019English

Test Generation From an Extended Finite State Machine as a Multiobjective Optimization Problem

English

Virtual Machine Computing in an Engineering Environment

IBM Systems Journal
1972English

Interplay of Virtual Machine Selection and Virtual Machine Placement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

An Anti-Side-Channel Virtual CPU Scheduling Algorithm Based on Leakage Evaluation for Virtual Machine Security

2017English

ASAP: An Extensible Platform for State Space Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

An Analysis of HPC Benchmarks in Virtual Machine Environments

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Directed Proof Generation for Machine Code

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy