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 full text

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

The Middle Annihilator Conjecture for Embeddable Rings

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1988English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy