首页> 美国政府科技报告 >Machine Ada Virtuelle: Architecture (Virtual Ada Machine: Architecture)

【24h】

Machine Ada Virtuelle: Architecture (Virtual Ada Machine: Architecture)

机译：机器ada Virtuelle：架构（虚拟ada机器：架构）

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

An Ada machine general structure, models of memory and addressing procedures, representation and value of objects, elaboration of types, treatment of exceptions, subprograms, and tasks are described. A formal specification, executable and complete is available, as well as a code generator to use with it.

著录项

作者
Kruchten, P.;
展开▼
作者单位

展开▼
年度 1986
页码 p.1-158
总页数 158
原文格式 PDF
正文语种 FRE
中图分类工业技术;
关键词
ADA programming language; Architecture (Computers); Functional design specifications; Virtual properties; Computer programming; Machine independent programs; Semantics; Turing machines;

机译：aDa编程语言;架构（计算机）;功能设计规范;虚拟属性;计算机编程;机器独立程序;语义;图灵机;

相似文献

外文文献
中文文献
专利

1. Self-adaptive architecture for virtual machines consolidation based on probabilistic model evaluation of data centers in Cloud computing [J] . Reza Mohammadi Bahram Abadi, Amir Masoud Rahmani, Sasan Hossein Alizadeh Cluster computing . 2018,第3期

机译：基于云计算数据中心概率模型评估的虚拟机整合自适应架构
2. Resumption of virtual machines after adaptive deduplication of virtual machine images in live migration [J] . Naga Malleswari T. Y. J., Senthil Kumar T., JothiKumar C. International Journal of Electrical and Computer Engineering . 2021,第1期

机译：实时迁移中虚拟机图像自适应重复数据删除后恢复虚拟机
3. Exploring the architecture of an early machine: the historical relevance of the ENIAC machine architecture [J] . Marcus M., Akera A. IEEE annals of the history of computing . 1996,第1期

机译：探索早期机器的体系结构：ENIAC机器体系结构的历史意义
4. Adapting EPIC Architecture's Register Stack for Virtual Stack Machines [C] . Jamel Tayeb, Smail Niar Euromicro Symposium on Digital System Design Architectures, Methods and Tools . 2006

机译：适用史诗架构的寄存器堆栈为虚拟堆栈机器
5. Modeling interprocess shared-cache contention on multicore architectures with applications in virtual machine CPU scheduling. [D] . Emeneker, Wesley. 2011

机译：使用虚拟机CPU调度中的应用程序对多核体系结构上的进程间共享缓存争用进行建模。
6. Software-Defined Vehicular Cloud Networks: Architecture Applications and Virtual Machine Migration [O] . Lionel Nkenyereye, Lewis Nkenyereye, Bayu Adhi Tama, 2020

机译：软件定义的车辆云网络：体系结构应用程序和虚拟机迁移
7. Application d'une nouvelle conception d'architecture à une machine de mesure de résolution nanométrique Application of a new architecture design to a measuring machine with a nanometric resolution [O] . LAHOUSSE Ludovic, DAVID Jean-Marie, LELEU Stéphane, 2014

机译：新架构设计在具有纳米分辨率的测量机中的应用
8. Machine Virtuelle pour Ada: Le Systeme d'Exploitation (Virtual Ada Machine: The Operating System) [R] . Rosen, J. 1986

机译：机器Virtuelle倾倒ada：Le systeme d'Exploitation（虚拟ada机器：操作系统）

Machine Ada Virtuelle: Architecture (Virtual Ada Machine: Architecture)

摘要

著录项

相似文献

相关主题

期刊订阅