Richard Gerber - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 30 from 30

2018

2016

Towards Understanding Job Heterogeneity in HPC: A NERSC Case StudyGonzalo Pedro Rodrigo Álvarez, Per-Olov Östberg, Erik Elmroth, Katie Antypas, Richard Gerber, Lavanya Ramakrishnan. ccgrid 2016: 521-526 [doi]

2015

HPC System Lifetime Story: Workload Characterization and Evolutionary Analyses on NERSC SystemsGonzalo Pedro Rodrigo Álvarez, Per-Olov Östberg, Erik Elmroth, Katie Antypas, Richard Gerber, Lavanya Ramakrishnan. hpdc 2015: 57-60 [doi]

2013

Extreme Data Science at the National Energy Research Scientific Computing (NERSC) CenterSudip S. Dosanjh, Shane Canon, Jack Deslippe, Kjiersten Fagnan, Richard Gerber, Lisa Gerhardt, Jason Hick, Douglas Jacobsen, David Skinner, Nicholas J. Wright. parco 2014: 3-18 [doi]

2000

Composite model-checking: verification with type-specific symbolic representationsTevfik Bultan, Richard Gerber, Christopher League. TOSEM, 9(1):3-50, 2000. [doi]

Parametric Design Synthesis of Distributed Embedded SystemsDong-In Kang, Richard Gerber, Manas Saksena. TC, 49(11):1155-1169, 2000. [doi]

1999

1998

Verifying Systems with Integer Constraints and Boolean Predicates: A Composite ApproachTevfik Bultan, Richard Gerber, Christopher League. ISSTA 1998: 113-123 [doi]

1997

Symbolic Model Checking of Infinite State Systems Using Presburger ArithmeticTevfik Bultan, Richard Gerber, William Pugh. cav 1997: 400-411

Slicing Real-Time Programs for Enhanced SchedulabilityRichard Gerber, Seongsoo Hong. TOPLAS, 19(3):525-555, 1997. [doi]

Performance-Based Design Of Distributed Real-Time SystemDong-In Kang, Richard Gerber, Manas Saksena. rtas 1997: 2-13 [doi]

1996

Compositional Verification by Model Checking for Counter-ExamplesTevfik Bultan, Jeffrey Fischer, Richard Gerber. ISSTA 1996: 224-238 [doi]

Experiments with Digital Video PlaybackRichard Gerber, Ladan Gharai. sigmetrics 1996: 210-221

1995

1994

ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems, 1994 (Summary of the Workshop)Azer Bestavros, Richard Gerber, Stephen P. Masticola. SIGPLAN, 29(12):11-17, 1994.

A Resource-Based Prioritized Bisimulation for Real-Time SystemsRichard Gerber, Insup Lee. iandc, 113(1):102-142, August 1994.

Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate ProcessesRichard Gerber, Seongsoo Hong, Manas Saksena. rtss 1994: 192-203

1993

ACSR: An Algebra of Communicating Shared Resources with Dense Time and PrioritiesPatrice Brémond-Grégoire, Insup Lee, Richard Gerber. concur 1993: 417-431

Semantics-based compiler transformations for enhanced schedulabilityRichard Gerber, Seongsoo Hong. rtss 1993: 232-242 [doi]

Compiling Real-Time Programs into Schedulable CodeSeongsoo Hong, Richard Gerber. PLDI 1993: 166-176

1992

A Layered Approach to Automating the Verification of Real-Time SystemsRichard Gerber, Insup Lee. TSE, 18(9):768-784, 1992. [doi]

1991

Implementing a Real-Time Process Algebra in HOLRichard Gerber, Elsa L. Gunter, Insup Lee. tphol 1992: 144-154

Specification and Analysis of Resource-Bound Real-Time SystemsRichard Gerber, Insup Lee. rex 1992: 371-396

1990

CCSR: A Calculus for Communicating Shared ResourcesRichard Gerber, Insup Lee. concur 1990: 263-277

1989

Communicating Shared Resources: A Model for Distributed Real-Time SystemsRichard Gerber, Insup Lee. rtss 1989: 68-78

Sign in or sign up to see more results.

runs on WebDSL