关于加载/存储体系结构的操作单元大小
On the operating unit size of load/store architectures
摘要：
我们引入一个严格的版本的概念的加载/存储指令集架构的设置毛雷尔机器。我们认为，变换的状态的毛雷尔机是通过应用线程中考虑线程代数毛雷尔机。我们研究了如何转换的状态上的主存储器的一个严格的加载/存储指令集架构，可以通过应用线程依赖于操作单元的大小，基数的指令集，和线程的状态的最大数量。
英文摘要：
We introduce a strict version of the concept of a load/store instruction set architecture in the setting of Maurer machines. We take the view that transformations on the states of a Maurer machine are achieved by applying threads as considered in thread algebra to the Maurer machine. We study how the transformations on the states of the main memory of a strict load/store instruction set architecture that can be achieved by applying threads depend on the operating unit size, the cardinality of the instruction set, and the maximal number of states of the threads.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
