Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Thomas W. Doeppner"'
Autor:
Thomas W. Doeppner
Publikováno v:
Computing Handbook, Third Edition ISBN: 9781439898529
Computing Handbook, 3rd ed. (1)
Computing Handbook, 3rd ed. (1)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8cb07d4049b67f6f018cd231d9fa3971
https://doi.org/10.1201/b16812-68
https://doi.org/10.1201/b16812-68
Autor:
Thomas W. Doeppner
Publikováno v:
ACM Computing Surveys. 28:229-231
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::97997bfb9cb4bf139d30aeeae0d38c01
https://doi.org/10.1145/234313.234409
https://doi.org/10.1145/234313.234409
Autor:
Thomas W. Doeppner, B.M. Cantrill
Publikováno v:
HICSS (1)
This paper describes ThreadMon, a monitoring tool for improving the performance of multithreaded programs, and how we have used it to examine various aspects of the many-to-many (or two-level) threads implementation model. We run unmodified binary su
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0cfd394e9e37b48e101d5918c56c330e
https://doi.org/10.1109/hicss.1997.667265
https://doi.org/10.1109/hicss.1997.667265
Autor:
Bernhard E. Keiser, Thomas W. Doeppner
Publikováno v:
1977 IEEE International Symposium on Electromagnetic Compatibility.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9e7e73659db1c8007d631c8e9f935224
https://doi.org/10.1109/isemc.1977.7567178
https://doi.org/10.1109/isemc.1977.7567178
Publikováno v:
Software Development Environments (SDE)
IDEOSY is an experiment in the use of a formal semantics as the basis for a programming system and in use of an ideographic language as the primary means of user-computer communication. The important characteristics of our system are that it uses an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2f23bfd4cd3584f340135fd90f0703b0
https://doi.org/10.1145/800020.808244
https://doi.org/10.1145/800020.808244
Autor:
Thomas W. Doeppner
Publikováno v:
POPL
We develop a theory for the correctness of asynchronous parallel programs. A program is considered correct if its behavior is in some sense similar to that of an abstract version of the program. We discuss various criteria for this similarity. We the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::efba1831ef9ae63b99357d7e4f922aa7
https://doi.org/10.1145/512950.512965
https://doi.org/10.1145/512950.512965
Autor:
Thomas W. Doeppner
Publikováno v:
STOC
We discuss a parallel program model that allows a very general synchronization mechanism with a scheduler to control the progress of processes “undergoing synchronization.” We how to “abstract” the program, i.e. remove the scheduler, resultin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4c0ad1f098ed1506d007b75c928939f5
https://doi.org/10.1145/800113.803633
https://doi.org/10.1145/800113.803633
Publikováno v:
PODC
In this paper we discuss our approach to a formal description of the UNIX operating system [Rit78a] [Rit78b] [Tho78], using Milner's Calculus of Communicating Systems (CCS) [Mil80].The paper focuses on the problems one encounters and the decisions on
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::383aaff9ff33bbe86913c980609ab83e
https://doi.org/10.1145/800221.806725
https://doi.org/10.1145/800221.806725
Autor:
Thomas W. Doeppner, J. Ross Heverly
Publikováno v:
1975 IEEE International Symposium on Electromagnetic Compatibility.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::082130fa0965ff557d07ff7e86bcb682
https://doi.org/10.1109/isemc.1975.7567884
https://doi.org/10.1109/isemc.1975.7567884
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.