Results (page 1): Richard Gerber

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

Searching within The Guide for: Richard Gerber (start a new search)

Found 166 of 1,394,228

REFINE YOUR SEARCH

Refine by Keywords

Discovered Terms

Refine by People

Names
Institutions
Authors
Editors
Advisors
Reviewers

Refine by Publications

Publication Year
Publication Names
ACM Publications
All Publications
Content Formats
Publishers

Refine by Conferences

Sponsors
Events
Proceeding Series

ADVANCED SEARCH

Advanced Search

FEEDBACK

Please provide us with feedback

Found 166 of 1,394,228

Results 1 - 50 of 166 Save results to a Binder	Sort by in
Result page: 1 2 3 4 next >>

Stellar and gas dynamics of interacting ring galaxies Richard Alan Gerber / S. Lamb
January 1993		Stellar and gas dynamics of interacting ring galaxies

A Generalized Broyden''s Method for Solving Simultaneous Linear Equations Richard R. Gerber, Franklin T. Luk
September 1980		A Generalized Broyden''s Method for Solving Simultaneous Linear Equations

Slicing real-time programs for enhanced schedulability Richard Gerber, Seongsoo Hong
May 1997		Transactions on Programming Languages and Systems (TOPLAS) , Volume 19 Issue 3

Composite model-checking: verification with type-specific symbolic representations Tevfik Bultan, Richard Gerber, Christopher League
January 2000		Transactions on Software Engineering and Methodology (TOSEM) , Volume 9 Issue 1

Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results Tevfik Bultan, Richard Gerber, William Pugh
July 1999		Transactions on Programming Languages and Systems (TOPLAS) , Volume 21 Issue 4

Specification and Analysis of Resource-Bound Real-Time Systems Richard Gerber, Insup Lee
June 1991		Proceedings of the Real-Time: Theory in Practice, REX Workshop

Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes Richard Gerber, Seongsoo Hong, Manas Saksena
July 1995		IEEE Transactions on Software Engineering , Volume 21 Issue 7

The Maruti project Ashok K. Agrawala, Richard Gerber, Ólafur Gudmundsson, Daniel Mosse
July 1992		IEEE Real-Time Systems Newsletter , Volume 8 Issue 1-2

Scheduling with relative timing constraints Manas Saksena, Richard Gerber, Ashok Agrawala
March 1993		RTOSS '93: Proceedings of the tenth IEEE workshop on Real-time operating systems and software

Compositional model checking of Ada tasking programs Jeffrey Fischer, Richard Gerber
February 1994		Compositional model checking of Ada tasking programs

Experiments with digital video playback Richard Gerber, Ladan Gharai
May 1996		SIGMETRICS '96: Proceedings of the 1996 ACM SIGMETRICS international conference on Measurement and modeling of computer systems

Performance-Based Design Of Distributed Real-Time Systems Dong-In Kang, Richard Gerber, Manas Saksena
June 1997		RTAS '97: Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium (RTAS '97)

Guest A Layered Approach to Automating the Verification of Real-Time Systems Richard Gerber, Insup Lee
September 1992		IEEE Transactions on Software Engineering , Volume 18 Issue 9

Benchmarking digital video: measurements, analysis, improvements and lessons learned Richard Gerber, Ladan Gharai
May 1995		Benchmarking digital video: measurements, analysis, improvements and lessons learned

Guaranteeing end-to-end timing constraints by calibrating intermediate processes Richard Gerber, Seongsoo Hong, Manas Saksena
May 1994		Guaranteeing end-to-end timing constraints by calibrating intermediate processes

Workshop on language, compiler, and tool support for real-time systems Azer Bestavros, Richard Gerber, Stephen P. Masticola
December 1994		SIGPLAN Notices , Volume 29 Issue 12

Verifying systems with integer constraints and Boolean predicates: a composite approach Tevfik Bultan, Richard Gerber, Christopher League
March 1998		ISSTA '98: Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis

Communicating shared resources: a model for distributed real-time systems Richard Gerber
January 1992		Communicating shared resources: a model for distributed real-time systems

Slicing real-time programs for enhanced schedulability Richard Gerber, Seongsoo Hong
May 1995		Slicing real-time programs for enhanced schedulability

Compositional verification by model checking for counter-examples Tevfik Bultan, Jeffrey Fischer, Richard Gerber
October 1995		Compositional verification by model checking for counter-examples

Parametric Design Synthesis of Distributed Embedded Systems Dong-In Kang, Richard Gerber, Manas Saksena
November 2000		IEEE Transactions on Computers , Volume 49 Issue 11

CCSR: A Calculus for Communicating Shared Resources Richard Gerber, Insup Lee
August 1990		CONCUR '90: Proceedings of the Theories of Concurrency: Unification and Extension

Compositional verification by model checking for counter-examples Tevfik Bultan, Jeffrey Fischer, Richard Gerber
May 1996		ISSTA '96: Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis

Compiling real-time programs with timing constraint refinement and structural code motion Richard Gerber, Seongsoo Hong
July 1994		Compiling real-time programs with timing constraint refinement and structural code motion

A resource-based prioritized bisimulation for real-time systems Richard Gerber, Insup Lee
August 1994		Information and Computation , Volume 113 Issue 1

Statement of research interests Richard Gerber
July 1992		IEEE Real-Time Systems Newsletter , Volume 8 Issue 1-2

Semantics-based compiler transformations for enhanced schedulability Richard Gerber, Seongsoo Hong
May 1993		Semantics-based compiler transformations for enhanced schedulability

Techniques for Automating Distributed Real-Time Applications Design Dong-In Kang, Richard Gerber, Leana Golubchik, Jeffrey K. Hollingsworth
August 1999		HPDC '99: Proceedings of the 8th IEEE International Symposium on High Performance Distributed Computing

Scheduling with compiler transformations: the TCEL approach Seongsoo Hong, Richard Gerber
March 1993		RTOSS '93: Proceedings of the tenth IEEE workshop on Real-time operating systems and software

ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities Patrice Brémond-Grégoire, Insup Lee, Richard Gerber
August 1993		CONCUR '93: Proceedings of the 4th International Conference on Concurrency Theory

Programming With Hyper-Threading Technology Richard Gerber, Andrew Binstock
May 2004		Programming With Hyper-Threading Technology

Parametric dispatching of hard real-time tasks Richard Gerber, William Pugh, Manas Saksena
January 1992		Parametric dispatching of hard real-time tasks

Experiments with digital video playback Richard Gerber, Ladan Gharai
October 1995		Experiments with digital video playback

Compiling real-time programs into schedulable code Seongsoo Hong, Richard Gerber
August 1993		PLDI '93: Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation

Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic Tevfik Bultan, Richard Gerber, William Pugh
June 1997		CAV '97: Proceedings of the 9th International Conference on Computer Aided Verification

A resource-based prioritized bisimulation for real-time systems Richard Gerber, Insup Lee
January 1992		A resource-based prioritized bisimulation for real-time systems

Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion Richard Gerber, Seongsoo Hong
May 1995		IEEE Transactions on Software Engineering , Volume 21 Issue 5

Composite Model Checking: Verification with Type-Specific Symbolic Representations Tevfik Bultan, Richard Gerber, Christopher League
January 1999		Composite Model Checking: Verification with Type-Specific Symbolic Representations

Parametric Dispatching of Hard Real-Time Tasks William Pugh, Richard Gerber, Manas Saksena
March 1995		IEEE Transactions on Computers , Volume 44 Issue 3

End-to-end design of real-time systems Richard Gerber, Seongsoo Hong, Manas Saksena, Dong-in Kang
April 1995		End-to-end design of real-time systems

CCSR: a calculus for communicating shared Richard Gerber, Insup Lee
September 1990		CONCUR '90: Proceedings on Theories of concurrency : unification and extension: unification and extension

A software synthesis tool for distributed embedded system design D.-I. Kang, R. Gerber, L. Golubchik, J. K. Hollingsworth, M. Saksena
July 1999		LCTES '99: Proceedings of the ACM SIGPLAN 1999 workshop on Languages, compilers, and tools for embedded systems

Multi-platform simulation of video playout performance Ladan Gharai, Richard Gerber
February 1997		Multi-platform simulation of video playout performance

The Software Optimization Cookbook Richard Gerber
March 2002		The Software Optimization Cookbook

Compiler support for real-time programs Richard Gerber, Seongsoo Hong
March 1995		Advances in real-time systems

Compiler support for real-time programs Richard Gerber, Seongsoo Hong
January 1994		Compiler support for real-time programs

Windows goes real time Krishnan Rajamani, Narjala Bhasker, Rick Gerber, Steve Snyder
April 1992		BYTE , Volume 17 Issue 4

Appropriate interfaces between design tools, languages, compilers and runtimes in real-time systems (panel) Rich Gerber, Steve Tjiang, David Whalley, David Wilner, Mike Wolfe
November 1995		LCTES '95: Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems

ACM SIGPLAN Notices: Volume 30 Issue 11 Richard Gerber, Thomas Marlowe
November 1995		SIGPLAN Notices

Multi-platform performance models for digital video systems Ladan Gharai / Richard Gerber
January 1998		Multi-platform performance models for digital video systems

Result page: 1 2 3 4 next >>

Adobe Acrobat

QuickTime

Windows Media Player

Real Player