David Jefferson

15 papers A* 4A 2B 1Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2016 — conf
The Future of Parallel Discrete Event Simulation.
SIGSIM-PADS
David Jefferson
2009 — ed.
2009 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, EVT/WOTE '09, Montreal, Canada, August 10-11, 2009
EVT/WOTE
David Jefferson, Joseph Lorenzo Hall, Tal Moran
2003 A conf
The Stratix
FPGA
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
1998 A conf
A 100 MHz PLL Implemented on a 100K Gate Programmable Logic Device (Abstract).
FPGA
David Jefferson, Srinivas Reddy, Christopher Lane, Ninh Ngo, Wanli Chang, Manuel Mijia, Ketan Zaveri, Cameron McClintock, Richard Cliff
1994 J jnl
Artificial Life as a Tool for Biological Inquiry.
Artif. Life
Charles E. Taylor, David Jefferson
1994 — conf
The Symmetry Programming Language.
IPPS
Kong Li, David Jefferson
1990 A* conf
Virtual Time II: Storage Management in Conservative and Optimistic Systems.
PODC
David Jefferson
1988 — conf
A Basic Protocol for Routing Messages to Migrating Processes.
ICPP (2)
T. M. Ravi, David Jefferson
1987 — conf
Optimized Virtual Time Synchronization.
Computer Performance and Reliability
Anat Gafni, Orna Berry, David Jefferson
1986 J jnl
Reference Model for DBMS Standardization, Database Architecture Framework Task Group (DAFTG) of the ANSI/X3/SPARC Database System Study Group.
SIGMOD Rec.
Thomas Burns, Elizabeth N. Fong, David Jefferson, Richard Knox, Leo Mark, Christopher Reedy, Louis Reich, Nick Roussopoulos, Walter Truszkowski
1984 A* conf
An Approach to Performance Analysis of Timestamp-driven Synchronization Mechanisms.
PODC
David Jefferson, Andrew Witkowski
1983 B conf
Virtual Time.
ICPP
David Jefferson
1980 J jnl
Verification Decidability of Presburger Array Programs.
J. ACM
Norihisa Suzuki, David Jefferson
1977 A* conf
Panel: Directions in Database Research.
VLDB
George A. Champine, Craig Fields, Koichi Furukawa, David Jefferson, Fritz Krückeberg, Giora Pelled, Charles Purcell, John Rundell, Tadahiko Takahama
1975 A* conf
Protection in the HYDRA Operating System.
SOSP
Ellis S. Cohen, David Jefferson