David Jefferson

Publication Activity (10 Years)

Years Active: 1975-2017
Publications (10 Years): 3

Top Topics

Image Denoising

Computational Challenges

Semiconductor Manufacturing

Discrete Event Simulation

Top Venues

Publications

Richard M. Fujimoto, Christopher D. Carothers, Alois Ferscha, David Jefferson, Margaret L. Loper, Madhav Marathe, Simon J. E. Taylor
Computational challenges in modeling & simulation of complex systems. WSC (2017)
David Jefferson
The Future of Parallel Discrete Event Simulation. SIGSIM-PADS (2016)
Eric Mikida, Nikhil Jain, Laxmikant V. Kalé, Elsa Gonsiorowski, Christopher D. Carothers, Peter D. Barnes Jr., David Jefferson
Towards PDES in a Message-Driven Paradigm: A Preliminary Case Study Using Charm++. SIGSIM-PADS (2016)
Shuki Bruck, David Jefferson, Ronald L. Rivest
A Modular Voting Architecture ("Frog Voting"). Towards Trustworthy Elections (2010)
David 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
routing and logic architecture. FPGA (2003)
David Jefferson, Srinivas Reddy, Christopher Lane, Ninh Ngo, Wanli Chang, Manuel Mijia, Ketan Zaveri, Cameron McClintock, Richard Cliff
A 100 MHz PLL Implemented on a 100K Gate Programmable Logic Device (Abstract). FPGA (1998)
Kong Li, David Jefferson
The Symmetry Programming Language. IPPS (1994)
Charles E. Taylor, David Jefferson
Artificial Life as a Tool for Biological Inquiry. Artif. Life 1 (1-2) (1994)
David Jefferson
Virtual Time II: Storage Management in Conservative and Optimistic Systems. PODC (1990)
T. M. Ravi, David Jefferson
A Basic Protocol for Routing Messages to Migrating Processes. ICPP (2) (1988)
Anat Gafni, Orna Berry, David Jefferson
Optimized Virtual Time Synchronization. Computer Performance and Reliability (1987)
Thomas Burns, Elizabeth N. Fong, David Jefferson, Richard Knox, Leo Mark, Christopher Reedy, Louis Reich, Nick Roussopoulos, Walter Truszkowski
Reference Model for DBMS Standardization, Database Architecture Framework Task Group (DAFTG) of the ANSI/X3/SPARC Database System Study Group. SIGMOD Rec. 15 (1) (1986)
David Jefferson, Andrew Witkowski
An Approach to Performance Analysis of Timestamp-driven Synchronization Mechanisms. PODC (1984)
David Jefferson
Virtual Time. ICPP (1983)
Norihisa Suzuki, David Jefferson
Verification Decidability of Presburger Array Programs. J. ACM 27 (1) (1980)
George A. Champine, Craig Fields, Koichi Furukawa, David Jefferson, Fritz Krückeberg, Giora Pelled, Charles Purcell, John Rundell, Tadahiko Takahama
Panel: Directions in Database Research. VLDB (1977)
Ellis S. Cohen, David Jefferson
Protection in the HYDRA Operating System. SOSP (1975)