|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 6 van 8 gevonden artikelen
| Titel: |
Maurer Computers with Single-Thread Control |
| Auteur: |
Bergstra, Jan A. Middelburg, Cornelis A. |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 80 (2007) nr. 4 pagina's 333-362 |
| Jaar: |
2007-11-26 |
| Inhoud: |
We investigate basic issues concerning stored threads and their execution, building upon Maurer's model for computers and the thread algebra of Bergstra et al. We show among other things that a single thread can control the execution on a Maurer machine of any executable finite-state thread stored in the memory of the Maurer machine. We also relate stored threads with programs as considered in the program algebra of Bergstra et al. The work is intended as a preparation for the development of a formal approach to model micro-architectures and to verify their correctness and anticipated speed-up results. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 6 van 8 gevonden artikelen
| << vorige | volgende >> |