David Jefferson - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2017

Computational challenges in modeling & simulation of complex systemsRichard M. Fujimoto, Christopher D. Carothers, Alois Ferscha, David Jefferson, Margaret L. Loper, Madhav Marathe, Simon J. E. Taylor. wsc 2017: 431-445 [doi]

2016

2015

Reverse Code Generation for Parallel Discrete Event SimulationMarkus Schordan, David Jefferson, Peter D. Barnes Jr., Tomas Oppelstrup, Daniel J. Quinlan. RC 2015: 95-110 [doi]

2012

Synthesizing Loops for Program InversionCong Hou, Daniel J. Quinlan, David Jefferson, Richard Fujimoto, Richard W. Vuduc. RC 2013: 72-84 [doi]

A New Method for Program InversionCong Hou, George Vulov, Daniel J. Quinlan, David Jefferson, Richard Fujimoto, Richard W. Vuduc. CC 2012: 81-100 [doi]

2011

The Backstroke framework for source level reverse computation applied to parallel discrete event simulationGeorge Vulov, Cong Hou, Richard W. Vuduc, Richard Fujimoto, Daniel J. Quinlan, David Jefferson. wsc 2011: 2965-2979 [doi]

2010

A Modular Voting Architecture ( Frog Voting )Shuki Bruck, David Jefferson, Ronald L. Rivest. wote 2010: 97-106 [doi]

2003

The Stratix:::TM::: routing and logic architectureDavid M. Lewis, Vaughn Betz, David Jefferson, Andy Lee, Christopher Lane, Paul Leventis, Sandy Marquardt, Cameron McClintock, Bruce Pedersen, Giles Powell, Srinivas Reddy, Chris Wysocki, Richard Cliff, Jonathan Rose. fpga 2003: 12-20 [doi]

1998

A 100 MHz PLL Implemented on a 100K Gate Programmable Logic Device (Abstract)David Jefferson, Srinivas Reddy, Christopher Lane, Ninh Ngo, Wanli Chang, Manuel Mijia, Ketan Zaveri, Cameron McClintock, Richard Cliff. fpga 1998: 256 [doi]

1994

The Symmetry Programming LanguageKong Li, David Jefferson. ipps 1994: 762-768

Artificial Life as a Tool for Biological InquiryCharles E. Taylor, David Jefferson. alife, 1(1-2):1-14, 1994.

1990

Virtual Time II: Storage Management in Conservative and Optimistic SystemsDavid Jefferson. podc 1990: 75-89 [doi]

1988

A Basic Protocol for Routing Messages to Migrating ProcessesT. M. Ravi, David Jefferson. icpp 1988: 188-197

1987

Optimized Virtual Time SynchronizationAnat Gafni, Orna Berry, David Jefferson. mcpr 1988: 229-244

1986

Reference Model for DBMS Standardization, Database Architecture Framework Task Group (DAFTG) of the ANSI/X3/SPARC Database System Study GroupThomas Burns, Elizabeth N. Fong, David Jefferson, Richard Knox, Leo Mark, Christopher Reedy, Louis Reich, Nick Roussopoulos, Walter Truszkowski. SIGMOD, 15(1):19-58, 1986. [doi]

1984

An Approach to Performance Analysis of Timestamp-driven Synchronization MechanismsDavid Jefferson, Andrew Witkowski. podc 1984: 243-253

1983

Virtual TimeDavid Jefferson. icpp 1983: 384-394

1980

Verification Decidability of Presburger Array ProgramsNorihisa Suzuki, David Jefferson. JACM, 27(1):191-205, 1980. [doi]

1977

Panel: Directions in Database ResearchGeorge Champine, Craig Fields, Koichi Furukawa, David Jefferson, Fritz Krückeberg, Giora Pelled, Charles Purcell, John Rundell, Tadahiko Takahama. VLDB 1977: 194-202 [doi]

1975

Protection in the HYDRA Operating SystemEllis S. Cohen, David Jefferson. sosp 1975: 141-160

Sign in or sign up to see more results.

runs on WebDSL