| Searching for PHRASE geoffrey brown. |
43 citations found. Retrieving citations...
Context Doc 12 (0): Yehuda Afek, Geoffrey Brown, and Michael Merritt. Lazy caching. ACM Transactions on Programming Languages and Systems, 15(1), January 1993.
| Looking for an author? You may be seeing only a fraction of all citations. Try: geoffrey w/2 brown or g w/2 brown (w/2 means within 2 words) |
Context Doc 7 (0): Paolo Faraboschi, Geoffrey Brown, Joseph A. Fisher, Giuseppe Desoli, and Fred (Mark Owen) Homewood. Lx: A technology platform for customizable VLIW embedded processing. In International Symposium on Computer Architecture (ISCA'2000.
Context Doc 5 (0): Yehuda Afek and Geoffrey Brown. Self-stabilization of the alternating bit protocol. In Proceedings of the 8th IEEE Symposium on Reliable Distributed Systems, pages 80--83, 1989. 64
Context Doc 3 (0): Jeffrey J. Joyce. Totally verified systems: Linking verified software to verified hardware. In Miriam Leeser and Geoffrey Brown, editors, Proceedings of the Mathematical Sciences Institute's Workshop on Hardware Specification, Verification, and Synthesis, July 1989.
Context Doc 1 (0): Alan Wenban and Geoffrey Brown, "A Software Development System For FPGA-Based Data Acquisition Systems," Proceedings of the IEEE Symposium on Field-Programmable Custom Computing Machines, pp. 28-37, April 1996.
Context Doc 1 (0): Brown, Geoffrey M. and Norman Vrana, "A Computer Architecture Laboratory Course Using Programmable Logic", IEEE Transaction On Education, Vol. 38, No. 2, May 1995, pp. 118-125.
Context Doc 1 (0): Geoffrey M. Brown and Miriam E. Lesser. From Programs to Transistors: Verifying Hardware Synthesis Tools. In Miriam Leeser and Geoffrey Brown (editors), Lecture Notes in Computer Science. Volume (to appear): Workshop on Hardware Specification, Verification and Synthesis: Mathematical Aspects., pages 128-150. Springer Verlag, 1989.
Context Doc 1 (0): Yehuda Afek. Geoffrey Brown, Michael Merritt. "Lazy caching" ACM Transactions on Programming Languages and Systems Vol. 15, No. 1 (Jan. 1993), pp. 182-205.
Context Doc 1 (0): Robert D. Brown, Geoffrey M. Downs, Gareth Jones, and Peter Willett. Hyperstructure model for chemical structure handling: Techniques for substructure searching. Journal of Chemical Information and Computer Sciences, 34(1):47--53, 1994. y(EI M082344/94) ga94aRDBrown.
Context Doc 1 (0): Randal E. Bryant. Verification of synchronous circuits by symbolic logic simulation. Hardware Specification, Verification, and Synthesis: Mathematical Aspects, number 408 in Lecture Notes in Computer Science, Miriam Leeser and Geoffrey Brown, editors. Springer Verlag, Berlin, 1989.
Context Doc 1 (0): David A Basin, Geoffrey Brown, and Miriam E Leeser. Formally verified synthesis of combinatorial CMOS circuits. In Luc Claesen, editor, Applied Formal Methods For Correct VLSI Design, pages 251--260, Amsterdam, November 1989. IMEC-IFIP International Workshop, Elsevier Science Publishers.
Context Doc 1 (0): Sam Weber, Bard Bloom, and Geoffrey Brown, `Compiling joy to silicon', (July 1991). Cornell University, submitted to POPL '91.
Context Doc 1 (0): Yehuda Afek, Geoffrey Brown, and Michael Merritt. A Lazy Cache Algorithm. In Proceedings of the 1989 ACM Symposium on Parallel Algorithms and Architectures, ACM, New York, June 1989.
Context Doc 1 (0): Steven D. Johnson. Manipulating Logical Organization with System Factorizations. In Miriam Leeser and Geoffrey Brown (editors), Lecture Notes in Computer Science. Volume (to appear): Hardware Specification, Verification and Synthesis: Mathematical Aspects., pages 259-280. Springer Verlag, 1989.
Context Doc 0 (3): Richard Chapman, Geoffrey Brown, and Miriam Leeser. Verified high-level synthesis in BEDROC. In Proceedings of 1992 European Design Automation Conference, pages 59 -- 63. IEEE Press, March 1992.
Context Doc 0 (1): D.L. Brown, Geoffrey S. Chesshire, William D. Henshaw and Daniel J. Quinlan, OVERTURE: An Object Oriented Software System for Solving Partial Differential Equations in Serial and Parallel Environments, Proceedings of the Eight SIAM Conference on Parallel Processing for Scientific Computing, 1997.
Context Doc 0 (1): Geoffrey Brown, Wayne Luk, and John O'Leary. Retargeting a hardware compiler using protocol converters. Technical Report EE-CEG-94-1, School of Electrical Engineering, Cornell University, February 1994. Submitted to Formal Aspects of Computing.
Context Doc 0 (1): Geoffrey Brown. Asynchronous multicaches. Distributed Computing, 4(1):31--36, 1990.
The numbers before each article are the number of citations (excluding self-citations), and the predicted number of self-citations. 43 citations were found, of which 6 were predicted to be self-citations. Self-citations are not included in the graph.
Try your query at: Google (CiteSeer) Google (Web) Yahoo! MSN CSB DBLP
CiteSeer.IST - Copyright Penn State and NEC