Chemical Reaction Network Designs for Asynchronous Logic Circuits∗ Luca Cardelli1,2 , Marta Kwiatkowska1 , and Max Whitby1 1 Department of Computer Science, University of Oxford

Source URL: qav.comlab.ox.ac.uk

• Electronic engineering
• Logic gates
• Digital electronics
• Electrical engineering
• Electronics
• Electrical circuits
• Digital systems
• Clock signal
• C-element
• Asynchronous circuit
• Sequential logic
• Flip-flop

Noname manuscript No. (will be inserted by the editor) Chemical Reaction Network Designs for Asynchronous Logic Circuits Luca Cardelli ⋅ Marta Kwiatkowska ⋅ Max Whitby

Source URL: qav.comlab.ox.ac.uk

• Digital electronics
• Electronic engineering
• Electrical engineering
• Logic gates
• Electronics
• Digital systems
• Logic in computer science
• C-element
• Asynchronous circuit
• Chemical reaction network theory
• Flip-flop
• Sequential logic

A Fault-tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation DANNY DOLEV, Hebrew University of Jerusalem, Israel

Source URL: people.mpi-inf.mpg.de

ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal

Source URL: www.ijmetmr.com

• Electronic engineering
• Electrical engineering
• Electronics
• Digital electronics
• Computer arithmetic
• Electronic design
• Electrical circuits
• Adder
• Binary logic
• Early completion
• Asynchronous circuit
• Carry-lookahead adder

Asynchronous Knowledge Gradient Policy for Ranking and Selection

Source URL: informs-sim.org

• Statistics
• Operations research
• Probability
• Mathematical analysis
• Algorithm
• Mathematical logic
• Theoretical computer science
• Selection algorithm
• Mathematical optimization
• Simulation
• Normal distribution
• Logic simulation

A Fault-tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation DANNY DOLEV, Hebrew University of Jerusalem, Israel

Source URL: people.mpi-inf.mpg.de

• Clocks
• Synchronization
• Clock
• Tree
• Synchronous Ethernet

Advanced Logic Design Techniques in Asynchronous Sequential Circuit Synthesis Charles R. Bond http://www.crbond.com

Source URL: www.crbond.com

• Electronic engineering
• Digital electronics
• Electronics
• Electromagnetism
• Flip-flop
• Sequential logic
• Synchronous circuit
• Logic gate
• Counter
• Hazard
• Clock signal
• Logic synthesis

On the Coverability Problem for Asynchronous Broadcast Networks (Extended and Revised Version) Giorgio Delzanno and Riccardo Traverso DIBRIS, Università di Genova, Italy {Giorgio.Delzanno,Riccardo.Traverso}@unige.it

Source URL: verify.disi.unige.it

• Email
• Email box
• IP
• FO
• Mathematics
• Logic

Fault-tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation [Extended Abstract]? Danny Dolev1 , Matthias F¨ ugger2 , Christoph Lenzen1 , and Ulrich Schmid2 1

Source URL: people.mpi-inf.mpg.de

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs Claudio Corrodi1,2? , Alexander Heußner3 , and Christopher M. Poskitt1,4? Department of Computer Science, ETH Zürich, Switzerland Software Composit

Source URL: se.inf.ethz.ch

• Software engineering
• Computing
• Computer programming
• Logic in computer science
• Object-oriented programming languages
• Programming language semantics
• SCOOP
• Semantics
• Eiffel
• Operational semantics
• Concurrency
• Actor model