Browsing CS Technical Reports by Author "Belpaire, Gerald"

Now showing items 1-3 of 3

    • Formal Properties of Recursive Virtual Machine Architectures 

      Belpaire, Gerald; Hsu, Nai-Ting (University of Wisconsin-Madison Department of Computer Sciences, 1975)
      A formal model of hardware/software architectures is developed and applied to Virtual Machine Systems. Results are derived on the sufficient conditions that a machine architecture must verify in order to support VM systems. ...

    • Hardware Architecture for Recursive Virtual Machines 

      Belpaire, Gerald; Hsu, Nai-Ting (University of Wisconsin-Madison Department of Computer Sciences, 1975)
      In order to support Virtual Machine (VM) Systems on most current computer systems, the Virtual Machine Monitor (VMM) is the only process allowed to reference directly a set of registers, called resource management registers ...

    • On Programming Dependences Between Parallel Processes 

      Belpaire, Gerald (University of Wisconsin-Madison Department of Computer Sciences, 1975)
      In order to study the problems of synchronization between concurrent processes, a distinction is made between the level of the formal models, the level of programming tools, and the level of the implementation practicalities. ...