David Kinniment
According to our database1,
David Kinniment
authored at least 39 papers
between 1968 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2011
2010
Proceedings of the 16th IEEE International Symposium on Asynchronous Circuits and Systems, 2010
2009
Proceedings of the 4th International Workshop on the Application of Formal Methods for Globally Asynchronous and Locally Synchronous Design, 2009
Proceedings of the 16th IEEE International Conference on Electronics, 2009
2008
IEEE J. Solid State Circuits, 2008
High resolution flash time-to-digital converter with sub-picosecond measurement capabilities.
Proceedings of the 2008 IEEE International Symposium on System-on-Chip, 2008
Proceedings of the 14th IEEE International Symposium on Asynchronous Circuits and Systems, 2008
2007
IEEE Trans. Very Large Scale Integr. Syst., 2007
IET Comput. Digit. Tech., 2007
IET Comput. Digit. Tech., 2007
Proceedings of the First International Symposium on Networks-on-Chips, 2007
A High Resolution Flash Time-to-Digital Converter Taking Into Account Process Variability.
Proceedings of the 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2007), 2007
2006
Proceedings of the 2006 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2006), 2006
Proceedings of the 12th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2006), 2006
2004
Proceedings of the Integrated Circuit and System Design, 2004
Proceedings of the 2004 Design, 2004
2003
2002
Proceedings of the 2002 International Symposium on Circuits and Systems, 2002
Proceedings of the 8th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2002), 2002
2000
IEEE Trans. Very Large Scale Integr. Syst., 2000
Proceedings of the 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000), 2000
Proceedings of the 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000), 2000
1999
Proceedings of the Seventh International Workshop on Hardware/Software Codesign, 1999
1998
Proceedings of the 4th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '98), 30 March, 1998
1996
IEEE Trans. Very Large Scale Integr. Syst., 1996
Microprocess. Microsystems, 1996
Integr., 1996
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996
Proceedings of the ACM SIGCSE 1st Australasian Conference on Computer Science Education, 1996
1992
SIMSTRICT: A Behavioural Simulator for Use with the STRICT Hardware Description Language (Short Note).
Comput. J., 1992
Modelling and Verification of Timing Conditions with the Boyer Moore Prover.
Proceedings of the Theorem Provers in Circuit Design, 1992
1991
Proceedings of the conference on European design automation, 1991
1984
Proceedings of the American Federation of Information Processing Societies: 1984 National Computer Conference, 1984
1983
1978
1971
1968
Associative memories in large computer systems <i>and</i> An integrated associateve memory matrix.
Proceedings of the Information Processing, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5-10 August 1968, Volume 2, 1968