David Hopkins

According to our database1, David Hopkins authored at least 14 papers between 1994 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Design Considerations of Monolithically Integrated Voltage Regulators for Multicore Processors.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2018

2015
Fragments of ML Decidable by Nested Data Class Memory Automata.
Proceedings of the Foundations of Software Science and Computation Structures, 2015

2012
Hector: An Equivalence Checker for a Higher-Order Fragment of ML.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011
An Evaluation of Asynchronous Stacks.
IEEE Des. Test Comput., 2011

A Fragment of ML Decidable by Visibly Pushdown Automata.
Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

2009
Homer: A Higher-Order Observational Equivalence Model checkER.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008
High Speed and Low Energy Capacitively Driven On-Chip Wires.
IEEE J. Solid State Circuits, 2008

High-radix crossbar switches enabled by proximity communication.
Proceedings of the ACM/IEEE Conference on High Performance Computing, 2008

2007
Circuit Techniques to Enable 430Gb/s/mm2 Proximity Communication.
Proceedings of the 2007 IEEE International Solid-State Circuits Conference, 2007

A Configurable Asynchronous Pseudorandom Bit Sequence Generator.
Proceedings of the 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2007), 2007

2006
An Asynchronous High-Throughput Control Circuit For Proximity Communication.
Proceedings of the 12th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2006), 2006

2004
A Fast and Energy-Efficient Stack.
Proceedings of the 10th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2004), 2004

2000
Web Documentation Project at the University of Delaware.
Proceedings of the 28th annual ACM SIGUCCS conference on User services: Building the future, Richmond, Virginia, USA, October 29, 2000

1994
USMED: broadening the impact of simulation analysis methodology (panel).
Proceedings of the 26th conference on Winter simulation, 1994


  Loading...