Chris Myers
Chris Myers
Bestätigte E-Mail-Adresse bei ece.utah.edu
Titel
Zitiert von
Zitiert von
Jahr
Asynchronous circuit design
CJ Myers
John Wiley & Sons, 2001
4122001
The Synthetic Biology Open Language (SBOL) provides a community standard for communicating designs in synthetic biology
M Galdzicki, KP Clancy, E Oberortner, M Pocock, JY Quinn, CA Rodriguez, ...
Nature biotechnology 32 (6), 545-550, 2014
2432014
Synthesis of timed asynchronous circuits
CJ Myers, THY Meng
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 1 (2), 106-119, 1993
1951993
Interfacing synchronous and asynchronous modules within a high-speed pipeline
AE Sjogren, CJ Myers
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 8 (5), 573-583, 2000
1242000
Synchronous interlocked pipelines
HM Jacobson, PN Kudva, P Bose, PW Cook, SE Schuster, EG Mercer, ...
Proceedings Eighth International Symposium on Asynchronous Circuits and …, 2002
1222002
Engineering genetic circuits
CJ Myers
CRC Press, 2016
1112016
RAPPID: An asynchronous instruction length decoder
S Rotem, K Stevens, R Ginosar, P Beerel, C Myers, K Yun, R Kol, C Dike, ...
Proceedings. Fifth International Symposium on Advanced Research in …, 1999
1111999
An asynchronous instruction length decoder
KS Stevens, S Rotem, R Ginosar, P Beerel, CJ Myers, KY Yun, R Koi, ...
IEEE Journal of solid-state circuits 36 (2), 217-228, 2001
1022001
iBioSim: a tool for the analysis and design of genetic circuits
CJ Myers, N Barker, K Jones, H Kuwahara, C Madsen, NPD Nguyen
Bioinformatics 25 (21), 2848-2849, 2009
1002009
Computer-aided synthesis and verification of gate-level timed circuits
CJ Myers
stanford university, 1995
991995
Automatic verification of timed circuits
TG Rokicki, CJ Myers
International Conference on Computer Aided Verification, 468-480, 1994
991994
CMOS analog MAP decoder for (8, 4) Hamming code
C Winstead, J Dai, S Yu, C Myers, RR Harrison, C Schlegel
IEEE Journal of Solid-State Circuits 39 (1), 122-131, 2004
982004
Automatic abstraction for verification of cyber-physical systems
RA Thacker, KR Jones, CJ Myers, H Zheng
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical …, 2010
822010
COMBINE archive and OMEX format: one file to share all information to reproduce a modeling project
FT Bergmann, R Adams, S Moodie, J Cooper, M Glont, M Golebiewski, ...
BMC bioinformatics 15 (1), 1-9, 2014
732014
SBOL visual: a graphical language for genetic designs
JY Quinn, RS Cox III, A Adler, J Beal, S Bhatia, Y Cai, J Chen, K Clancy, ...
PLoS biology 13 (12), e1002310, 2015
672015
Analog MAP decoder for (8, 4) Hamming code in subthreshold CMOS
C Winstead, J Dai, WJ Kim, S Little
Proceedings 2001 Conference on Advanced Research in VLSI. ARVLSI 2001, 132-147, 2001
66*2001
Verification of timed systems using POSETs
W Belluomini, CJ Myers
International Conference on Computer Aided Verification, 403-415, 1998
661998
Sharing structure and function in biological design with SBOL 2.0
N Roehner, J Beal, K Clancy, B Bartley, G Misirli, R Grunberg, ...
ACS synthetic biology 5 (6), 498-506, 2016
602016
Verification of analog/mixed-signal circuits using symbolic methods
D Walter, S Little, C Myers, N Seegmiller, T Yoneda
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2008
602008
Synthetic biology open language (SBOL) version 2.0. 0
B Bartley, J Beal, K Clancy, G Misirli, N Roehner, E Oberortner, M Pocock, ...
Journal of integrative bioinformatics 12 (2), 902-991, 2015
542015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20