MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Geoffrey Brown" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

14 documents found, showing 1 through 10. Next 10 →

ATOM

Verified Compilation of Communicating Processes into Clocked Circuits. Formal Aspects of Computing
by Geoffrey Brown, Wayne Luk — 1997 — The International Journal of Formal Methods, Volume 9, Numbers
… Processes into Clocked Circuits John O’Leary 1 , Geoffrey Brown 1 and Wayne Luk 2 1 School of Electrical…
Cited by 2 (0 self) – Add To MetaCart

A systolic LRU processor and its top-down development
by Wayne Luk, Geoffrey Brown — 1990
… University Computing Laboratory, 11 Keble Road, Oxford, England OX1 3QD Geoffrey Brown School of Electrical…
Cited by 5 (3 self) – Add To MetaCart

Temporal refinement using smt and model checking with an application to physical-layer protocols
by Geoffrey M. Brown — 2007 — In Proceedings of Formal Methods and Models for Codesign (MEMOCODE’2007
… Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols Geoffrey M. Brown…
Cited by 1 (0 self) – Add To MetaCart

Quantifying Software Requirements for Supporting Archived Office Documents using Emulation
by Thomas Reichherzer, Geoffrey Brown — 2006 — Proceedings of JCDL’06
… Carolina, USA. Copyright 2006 ACM 1-59593-354-9/06/0006 ...$5.00. Thomas Reichherzer and Geoffrey Brown…
Cited by 6 (0 self) – Add To MetaCart

An Analysis of Data Access Patterns in Integer Benchmarks
by Nikolay Mateev, Paolo Faraboschi, Geoffrey Brown — 1997
… ¡ November 24, 1997 Abstract Geoffrey Brown ¡ We present memory reference data for the SpecInt95 benchmarks…
Add To MetaCart

Easy parameterized verification of biphase mark and 8N1 protocols
by Geoffrey M. Brown, Lee Pike — 2006 — In The Proceedings of the 12th International Conference on Tools and the Construction of Algorithms (TACAS’06
… and 8N1 Protocols Geoffrey M. Brown 1 and Lee Pike 2⋆ 1 Indiana University, Bloomington geobrown…
Cited by 8 (3 self) – Add To MetaCart

Retargeting a Hardware Compiler Proof using Protocol Converters
by Geoffrey Brown, Wayne Luk, John O'Leary
…Retargeting a Hardware Compiler Proof using Protocol Converters Geoffrey Brown Wayne Luk y…
Cited by 1 (0 self) – Add To MetaCart

Lazy Caching
by Yehuda Afek, Geoffrey Brown, Michael Merritt — 1993 — ACM Transactions on Programming Languages and Systems
…Lazy Caching YEHUDA AFEK AT&T Bell Laboratories GEOFFREY BROWN Cornell University AND MICHAEL…
Cited by 71 (0 self) – Add To MetaCart

Self-Stabilization Over Unreliable Communication Media
by Yehuda Afek, Geoffrey M. Brown — 1993 — Distributed Computing
…Self-Stabilization Over Unreliable Communication Media Yehuda Afek Geoffrey M. Brown y Abstract…
Cited by 37 (4 self) – Add To MetaCart

A file system abstraction for sense and respond systems
by Sameer Tilak, Bhanu Pisupati, Kenneth Chiu, Geoffrey Brown, Nael Abu-ghazaleh — 2005 — in Proc. of the 2005 ACM MobiSys EESR Workshop
… , Kenneth Chiu 1 , Geoffrey Brown 2 , Nael Abu-Ghazaleh 1 1 Computer Science Department, State University…
Cited by 5 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB