„State Machine“

Suchergebnisse

3.441 Treffer

• State estimation with quantum extreme learning machines beyond the scrambling time
  Vetrano, Marco ; Lo Monaco, Gabriele ; Innocenti, Luca ; Lorenzo, Salvatore ; Palma, G. Massimo
• Determination of Current Loads of Cable Lines Laid Underground and Crossing External Heat Sources Using Mathematical Simulation of Steady-State Heat Conduction Processes
  Shcherbinin, A. G. ; Scriabin, A. A. ; Nedyudina, E. P. ; Subbotin, E. V.
• Effect of Spin‐Split Band and its Machine Learning Prediction on Tunnel Magnetoresistance across Organic Magnetic Tunnel Junctions
  Nath, Debarati ; Soujanya, Pamulapati ; Roy, Joseph ; Deb, Debajit ; Swarnakar, Sandip
• Linearizable Replicated State Machines With Lattice Agreement
  Zheng, Xiong ; Garg, Vijay K. ; Kaippallimalil, John 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Well Structured Problem for Presburger Counter Machines
  Finkel, Alain ; Gupta, Ekanshdeep 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions
  Brunello, Andrea ; Montanari, Angelo ; Reynolds, Mark 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Reliable State Machines: A Framework for Programming Reliable Cloud Services
  Mukherjee, Suvam ; Raj, Nitin John ; Govindraj, Krishnan ; Deligiannis, Pantazis ; Ravichandran, Chandramouleswaran ; Lal, Akash ; Rastogi, Aseem ; Krishnaswamy, Raja 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Exploration of High-Dimensional Grids by Finite Automata
  Dobrev, Stefan ; Narayanan, Lata ; Opatrny, Jaroslav ; Pankratov, Denis 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Synergy of Finite State Machines
  Afek, Yehuda ; Emek, Yuval ; Kolikant, Noa 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Reachability for Two-Counter Machines with One Test and One Reset
  Finkel, Alain ; Leroux, Jérôme ; Sutre, Grégoire 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Lattice Agreement in Message Passing Systems
  Zheng, Xiong ; Hu, Changyong ; Garg, Vijay K. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• State Machine Replication Is More Expensive Than Consensus
  Antoniadis, Karolos ; Guerraoui, Rachid ; Malkhi, Dahlia ; Seredinschi, Dragos-Adrian 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Selecting a Leader in a Network of Finite State Machines
  Afek, Yehuda ; Emek, Yuval ; Kolikant, Noa 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before"
  Bollig, Benedikt ; Fortin, Marie ; Gastin, Paul 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Efficient Population Transfer via Non-Ergodic Extended States in Quantum Spin Glass
  Kechedzhi, Kostyantyn ; Smelyanskiy, Vadim ; McClean, Jarrod R. ; Denchev, Vasil S. ; Mohseni, Masoud ; Isakov, Sergei ; Boixo, Sergio ; Altshuler, Boris ; Neven, Hartmut 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Comparison of Performance of Induction Motor and Line-Start Permanent Magnet Synchronous Motor—the State of the Art
  Jawad Faiz ; Mohammad Davari
• Study of the Thermal State of an Electric Motor with a Magnetic Circuit Made of Amorphous Soft Magnetic Material
  Vavilov, V. E. ; Ismagilov, F. R. ; Urazbakhtin, R. R.
• State-of-the-art Review of Metallic Microneedles: Structure, Fabrication, and Application
  Yuan, Zhishan ; Zhang, Hongzhao ; Hu, Wentao ; Yu, Xiao ; Qin, Si ; Wang, Chengyong ; Zhang, Fenglin
• Communicating Finite-State Machines and Two-Variable Logic
  Bollig, Benedikt ; Fortin, Marie ; Gastin, Paul 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Brief Announcement: The Synergy of Finite State Machines
  Afek, Yehuda ; Emek, Yuval ; Kolikant, Noa 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik