ATACS

ATACS

Contributors

Avatar

Curt Nelson

Walla Walla University, Professor, Retired

Avatar

David Walter

Amazon (AWS S3), Senior SDE

Avatar

Eric Mercer

Brigham Young University, Associate Professor

Avatar

Eric Peskin

Yale University, Director of High-Performance Computing

Avatar

Hans Jacobson

IBM T. J. Watson Research Center, Researcher

Avatar

Robert Thacker

AMD, MTS Silicon Design Engineer

Avatar

Scott Little

Maxim Integrated, EDA

Avatar

Wendy Belluomini

IBM, Director of AI and Cognitive Software

Avatar

Brandon Bachman

Intel, Engineering Technology Development Manager

Avatar

Chris Krieger

University of Maryland, Laboratory for Physical Sciences, Lead researcher

Avatar

Kip Killpack

Intel, System Architect

Avatar

Yanyi Zhao

Juniper Networks, Program Manager

Avatar

Nick Seegmiller

Amazon, Software Development Manager

Publications

  • Representing Genetic Networks as Labeled Hybrid Petri Nets for State Space Exploration and Markov Chain Analysis
  • Complete State Coding of Timed Asynchronous Circuits
  • Interfacing synchronous and asynchronous modules within a high-speed pipeline
  • Interfacing synchronous and asynchronous modules within a high-speed pipeline
  • Verification of delayed-reset domino circuits using ATACS
  • Specification and Compilation of Timed Systems
  • Technology mapping of timed circuits