Profiler

Dhiraj K Pradhan

Professor of Computer Science, University of Bristol

Verifisert e-postadresse på cs.bris.ac.uk

Sitert av 15145

Fault tolerance Logic Synthesis Computer architecture error correcting codes Galois Field

Marek Perkowski

Professor of Electrical and Computer Engineering, Portland State University

Verifisert e-postadresse på pdx.edu

Sitert av 9579

multiple-valued logic reversible logic logic synthesis quantum computing

Niklas Een

Researcher at Google

Verifisert e-postadresse på een.se

Sitert av 9457

Machine Learning Formal verification Logic synthesis

Tsutomu Sasao

Visiting Professor, Meiji University

Verifisert e-postadresse på cs.meiji.ac.jp

Sitert av 9169

Logic synthesis Multiple-valued logic Logic Design Switching Theory

Alexander Barkalov

Professor, University of Zielona Góra

Verifisert e-postadresse på iie.uz.zgora.pl

Sitert av 6488

Logic Synthesis Control Units VLSI

Mathias Soeken

Microsoft

Verifisert e-postadresse på epfl.ch

Sitert av 5548

Computer Science Logic Synthesis Quantum Computing

Gerhard W Dueck

Professor of Computer Science, University of New Brunswick

Verifisert e-postadresse på unb.ca

Sitert av 5370

Logic Synthesis Reversible Logic Garbage Collection

Marc Riedel

Full Professor of Electrical and Computer Engineering, University of Minnesota

Verifisert e-postadresse på umn.edu

Sitert av 4866

Logic Synthesis Logic Verification Formal Verification Synthetic Biology Molecular Computing

Fabrizio Ferrandi

Politecnico di Milano

Verifisert e-postadresse på polimi.it

Sitert av 4049

High-Level Synthesis HW/SW codesign Reconfigurable Computing Logic synthesis Embedded Systems

Maciej Ciesielski

Professor of ELectrical and Computer Engineering

Verifisert e-postadresse på ecs.umass.edu

Sitert av 3646

Formal verification SImulation Logic synthesis High-level Synthesis

1 - 10