Author image not provided
 Robert Patrick Fitzgerald

Authors:
Add personal information
  Affiliation history
Bibliometrics: publication history
Average citations per article20.91
Citation Count230
Publication count11
Publication years1978-2000
Available for download7
Average downloads per article463.57
Downloads (cumulative)3,245
Downloads (12 Months)135
Downloads (6 Weeks)13
SEARCH
ROLE
Arrow RightAuthor only


AUTHOR'S COLLEAGUES
See all colleagues of this author

SUBJECT AREAS
See all subject areas




BOOKMARK & SHARE


11 results found Export Results: bibtexendnoteacmrefcsv

Result 1 – 11 of 11
Sort by:

1 published by ACM
October 2000 ISMM '00: Proceedings of the 2nd international symposium on Memory management
Publisher: ACM
Bibliometrics:
Citation Count: 24
Downloads (6 Weeks): 1,   Downloads (12 Months): 14,   Downloads (Overall): 326

Full text available: PDFPDF
Many garbage-collected systems use a single garbage collection algorithm across all applications. It has long been known that this can produce poor performance on applications for which that collector is not well suited. In some systems, such as those that execute stand-alone compiled executables, an appropriate collector for each application ...
Also published in:
January 2001  ACM SIGPLAN Notices: Volume 36 Issue 1, Jan 2001

2
March 2000 Software—Practice & Experience: Volume 30 Issue 3, Mar.1.2000
Publisher: John Wiley & Sons, Inc.
Bibliometrics:
Citation Count: 34

Keywords: Java, compilers, optimization, language translation

3 published by ACM
October 1997 SOSP '97: Proceedings of the sixteenth ACM symposium on Operating systems principles
Publisher: ACM
Bibliometrics:
Citation Count: 29
Downloads (6 Weeks): 0,   Downloads (12 Months): 11,   Downloads (Overall): 220

Full text available: PDFPDF
Also published in:
December 1997  ACM SIGOPS Operating Systems Review: Volume 31 Issue 5, Dec. 1997

4
May 1997 HOTOS '97: Proceedings of the 6th Workshop on Hot Topics in Operating Systems (HotOS-VI)
Publisher: IEEE Computer Society
Bibliometrics:
Citation Count: 4

We believe it is time to reexamine the operating system's role in computing. Operating systems exist to create an environment in which compelling applications come to life. They do that by providing abstractions built on the services provided by hardware. We argue that advances in hardware and networking technology enable ...
Keywords: operating systems (computers), operating system directions, next Millennium, operating system role, abstractions, networking technology, abstraction, file systems, processor registers, disk sectors, physical pages

5
April 1995 IEEE Micro: Volume 15 Issue 2, April 1995
Publisher: IEEE Computer Society Press
Bibliometrics:
Citation Count: 6

The PowerPC architecture permits aggressive hardware and software implementations that improve performance by hiding the large relative latency of memory accesses. Hardware and software cooperatively determine the behavior of the memory system, using the architecture's provisions for atomicity, coherence, and synchronization of accesses. The design philosophy is to streamline interfaces ...
Keywords: PowerPC, storage, microprocessor latency

6 published by ACM
April 1991 ASPLOS IV: Proceedings of the fourth international conference on Architectural support for programming languages and operating systems
Publisher: ACM
Bibliometrics:
Citation Count: 45
Downloads (6 Weeks): 2,   Downloads (12 Months): 24,   Downloads (Overall): 795

Full text available: PDFPDF
Also published in:
April 1991  ACM SIGPLAN Notices - Special issue of a journal and a proceedings: Volume 26 Issue 4, Apr. 1991 April 1991  ACM SIGOPS Operating Systems Review - Proceedings of the 4th international conference on architectural support for programming languages and operating systems: Volume 25 Issue Special Issue, Apr. 1991 April 1991  ACM SIGARCH Computer Architecture News: Volume 19 Issue 2, Apr. 1991

7 published by ACM
November 1989 SOSP '89: Proceedings of the twelfth ACM symposium on Operating systems principles
Publisher: ACM
Bibliometrics:
Citation Count: 52
Downloads (6 Weeks): 8,   Downloads (12 Months): 43,   Downloads (Overall): 886

Full text available: PDFPDF
Multiprocessors with non-uniform memory access times introduce the problem of placing data near the processes that use them, in order to improve performance. We have implemented an automatic page placement strategy in the Mach operating system on the IBM ACE multiprocessor workstation. Our experience indicates that even very simple automatic ...
Also published in:
November 1989  ACM SIGOPS Operating Systems Review: Volume 23 Issue 5, Dec. 3–6, 1989

8 published by ACM
May 1986 ACM Transactions on Computer Systems (TOCS): Volume 4 Issue 2, May 1986
Publisher: ACM
Bibliometrics:
Citation Count: 31
Downloads (6 Weeks): 2,   Downloads (12 Months): 30,   Downloads (Overall): 671

Full text available: PDFPDF
The integration of virtual memory management and interprocess communication in the Accent network operating system kernel is examined. The design and implementation of the Accent memory management system is discussed and its performance, both on a series of message-oriented benchmarks and in normal operation, is analyzed in detail.

9

10 published by ACM
December 1985 ACM SIGOPS Operating Systems Review: Volume 19 Issue 5, Dec. 1-4, 1985
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 0,   Downloads (12 Months): 11,   Downloads (Overall): 210

Full text available: PDFPDF
Also published in:
December 1985  SOSP '85: Proceedings of the tenth ACM symposium on Operating systems principles

11 published by ACM
December 1978 ACM '78: Proceedings of the 1978 annual conference
Publisher: ACM
Bibliometrics:
Citation Count: 1
Downloads (6 Weeks): 0,   Downloads (12 Months): 2,   Downloads (Overall): 137

Full text available: PDFPDF
A number of recent research efforts have been based on the hypothesis that encapsulation techniques, formal specification, and verification lead to significant improvements in program quality. As we gain experience with the language facilities produced by this research, we should attempt to validate that hypothesis. This paper poses this validation ...
Keywords: Abstract data types, Formal specification, Programming languages, Programming methodology, Proofs of correctness, Abstraction and representation, Correctness, Encapsulation, Modular decomposition, Types, Validation, Verification



The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us