Artigos de revistas sobre o tema "Register Automata"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Veja os 50 melhores artigos de revistas para estudos sobre o assunto "Register Automata".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Veja os artigos de revistas das mais diversas áreas científicas e compile uma bibliografia correta.
FIGUEIRA, DIEGO, PIOTR HOFMAN e SŁAWOMIR LASOTA. "Relating timed and register automata". Mathematical Structures in Computer Science 26, n.º 6 (5 de dezembro de 2014): 993–1021. http://dx.doi.org/10.1017/s0960129514000322.
Texto completo da fonteTzevelekos, Nikos. "Fresh-register automata". ACM SIGPLAN Notices 46, n.º 1 (26 de janeiro de 2011): 295–306. http://dx.doi.org/10.1145/1925844.1926420.
Texto completo da fonteFigueira, Diego, Piotr Hofman e Sławomir Lasota. "Relating timed and register automata". Electronic Proceedings in Theoretical Computer Science 41 (28 de novembro de 2010): 61–75. http://dx.doi.org/10.4204/eptcs.41.5.
Texto completo da fonteMurawski, A. S., S. J. Ramsay e N. Tzevelekos. "Reachability in pushdown register automata". Journal of Computer and System Sciences 87 (agosto de 2017): 58–83. http://dx.doi.org/10.1016/j.jcss.2017.02.008.
Texto completo da fonteQuaas, Karin, e Mahsa Shirmohammadi. "Synchronizing Data Words for Register Automata". ACM Transactions on Computational Logic 20, n.º 2 (4 de abril de 2019): 1–27. http://dx.doi.org/10.1145/3309760.
Texto completo da fonteAlmagor, Shaull, Michaël Cadilhac, Filip Mazowiecki e Guillermo A. Pérez. "Weak Cost Register Automata are Still Powerful". International Journal of Foundations of Computer Science 31, n.º 06 (setembro de 2020): 689–709. http://dx.doi.org/10.1142/s0129054120410026.
Texto completo da fonteOrlov, Alexei O., Ravi Kummamuru, R. Ramasubramaniam, Craig S. Lent, Gary H. Bernstein e Gregory L. Snider. "Clocked quantum-dot cellular automata shift register". Surface Science 532-535 (junho de 2003): 1193–98. http://dx.doi.org/10.1016/s0039-6028(03)00214-0.
Texto completo da fonteSeki, Hiroyuki, Reo Yoshimura e Yoshiaki Takata. "Optimal run problem for weighted register automata". Theoretical Computer Science 850 (janeiro de 2021): 185–201. http://dx.doi.org/10.1016/j.tcs.2020.11.003.
Texto completo da fonteAllender, Eric, Andreas Krebs e Pierre McKenzie. "Better Complexity Bounds for Cost Register Automata". Theory of Computing Systems 63, n.º 3 (13 de junho de 2018): 367–85. http://dx.doi.org/10.1007/s00224-018-9871-4.
Texto completo da fonteKadiev, P. A., K. K. Nazarov e Z. G. Kardashova. "Formation of streams of binary sequences with controlled structure of "cellular" automata in homogeneous register environments". Herald of Dagestan State Technical University. Technical Sciences 48, n.º 4 (11 de fevereiro de 2022): 90–99. http://dx.doi.org/10.21822/2073-6185-2021-48-4-90-99.
Texto completo da fonteChen, Yu-Fang, Bow-Yaw Wang e Di-De Yen. "A Finite Exact Representation of Register Automata Configurations". Electronic Proceedings in Theoretical Computer Science 140 (23 de fevereiro de 2014): 16–34. http://dx.doi.org/10.4204/eptcs.140.2.
Texto completo da fonteDemri, Stéphane, e Ranko Lazić. "LTL with the freeze quantifier and register automata". ACM Transactions on Computational Logic 10, n.º 3 (abril de 2009): 1–30. http://dx.doi.org/10.1145/1507244.1507246.
Texto completo da fonteDaviaud, Laure. "Register complexity and determinisation of max-plus automata". ACM SIGLOG News 7, n.º 2 (29 de abril de 2020): 4–14. http://dx.doi.org/10.1145/3397619.3397621.
Texto completo da fonteIsberner, Malte, Falk Howar e Bernhard Steffen. "Learning register automata: from languages to program structures". Machine Learning 96, n.º 1-2 (4 de outubro de 2013): 65–98. http://dx.doi.org/10.1007/s10994-013-5419-7.
Texto completo da fontePeng, Kai Bei, e Jin Tao Zhang. "Reconfigurable Boundary Scan Tester Using Cellular-Automata Register Technology". Advanced Materials Research 1006-1007 (agosto de 2014): 986–89. http://dx.doi.org/10.4028/www.scientific.net/amr.1006-1007.986.
Texto completo da fonteMukherjee, Chiradeep, Saradindu Panda, Asish K. Mukhopadhyay e Bansibadan Maji. "Towards the Design of Cost-efficient Generic Register Using Quantum-dot Cellular Automata". Nanoscience & Nanotechnology-Asia 10, n.º 4 (26 de agosto de 2020): 534–47. http://dx.doi.org/10.2174/2210681209666190412142207.
Texto completo da fonteBabari, Parvaneh, Manfred Droste e Vitaly Perevoshchikov. "Weighted register automata and weighted logic on data words". Theoretical Computer Science 744 (outubro de 2018): 3–21. http://dx.doi.org/10.1016/j.tcs.2018.01.004.
Texto completo da fontePurkayastha, Tamoghna, Debashis De e Tanay Chattopadhyay. "Universal shift register implementation using quantum dot cellular automata". Ain Shams Engineering Journal 9, n.º 2 (junho de 2018): 291–310. http://dx.doi.org/10.1016/j.asej.2016.01.011.
Texto completo da fonteMazowiecki, Filip, e Cristian Riveros. "Copyless cost-register automata: Structure, expressiveness, and closure properties". Journal of Computer and System Sciences 100 (março de 2019): 1–29. http://dx.doi.org/10.1016/j.jcss.2018.07.002.
Texto completo da fonteKozlitin, Oleg A. "On periodic properties of polylinear shift registers". Discrete Mathematics and Applications 28, n.º 1 (23 de fevereiro de 2018): 35–52. http://dx.doi.org/10.1515/dma-2018-0005.
Texto completo da fonteМаксимовский, Александр Юрьевич, Григорий Александрович Остапенко e Олег Николаевич Чопоров. "ABOUT PARAMETERS OF AUTOMATED MODELS FOR MONITORING INFORMATION SECURITY OF NETWORK OBJECTS, II". ИНФОРМАЦИЯ И БЕЗОПАСНОСТЬ, n.º 3(-) (1 de dezembro de 2020): 327–36. http://dx.doi.org/10.36622/vstu.2020.23.3.001.
Texto completo da fonteVaandrager, Frits, e Abhisek Midya. "A Myhill-Nerode theorem for register automata and symbolic trace languages". Theoretical Computer Science 912 (abril de 2022): 37–55. http://dx.doi.org/10.1016/j.tcs.2022.01.015.
Texto completo da fonteOrlov, Alexei O., Ravi Kummamuru, R. Ramasubramaniam, Craig S. Lent, Gary H. Bernstein e Gregory L. Snider. "A Two-Stage Shift Register for Clocked Quantum-Dot Cellular Automata". Journal of Nanoscience and Nanotechnology 2, n.º 3 (1 de julho de 2002): 351–55. http://dx.doi.org/10.1166/jnn.2002.109.
Texto completo da fonteClemente, Lorenzo, Sławomir Lasota, Ranko Lazić e Filip Mazowiecki. "Binary Reachability of Timed-register Pushdown Automata and Branching Vector Addition Systems". ACM Transactions on Computational Logic 20, n.º 3 (16 de julho de 2019): 1–31. http://dx.doi.org/10.1145/3326161.
Texto completo da fonteTAKATA, Yoshiaki, Akira ONISHI, Ryoma SENDA e Hiroyuki SEKI. "A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata". IEICE Transactions on Information and Systems E106.D, n.º 3 (1 de março de 2023): 294–302. http://dx.doi.org/10.1587/transinf.2022fcp0003.
Texto completo da fonteSingh, Balwinder, e Birinderjit Singh Kalyan. "Performance Analysis of Quantum Dot Cellular Automata (QCA) based Linear Feedback Shift Register (LFSR)". International Journal of Computing and Digital Systems 9, n.º 3 (1 de maio de 2020): 545–51. http://dx.doi.org/10.12785/ijcds/090318.
Texto completo da fonteKummamuru, R. K., A. O. Orlov, R. Ramasubramaniam, C. S. Lent, G. H. Bernstein e G. L. Snider. "Operation of a quantum-dot cellular automata (QCA) shift register and analysis of errors". IEEE Transactions on Electron Devices 50, n.º 9 (setembro de 2003): 1906–13. http://dx.doi.org/10.1109/ted.2003.816522.
Texto completo da fonteDas, Jadav Chandra, e Debashis De. "Operational efficiency of novel SISO shift register under thermal randomness in quantum-dot cellular automata design". Microsystem Technologies 23, n.º 9 (26 de julho de 2016): 4155–68. http://dx.doi.org/10.1007/s00542-016-3085-y.
Texto completo da fonteAfrooz, Sonia, e Nima Jafari Navimipour. "Fault-Tolerant Design of a Shift Register at the Nanoscale Based on Quantum-dot Cellular Automata". International Journal of Theoretical Physics 57, n.º 9 (26 de maio de 2018): 2598–614. http://dx.doi.org/10.1007/s10773-018-3781-8.
Texto completo da fonteMelnyk, Oleksandr, Andriy Mykolushko e Arsen Myshynskyi. "Nanocircuits for Protection of the Cipher Information". Electronics and Control Systems 1, n.º 67 (12 de maio de 2021): 61–68. http://dx.doi.org/10.18372/1990-5548.67.15607.
Texto completo da fonteAsthana, Amita, Dr Anil Kumar, Dr Preeta Sharan e Dr Sumita Mishra. "Design of Arm Processor’s Elements Using QCA". International Journal of Engineering & Technology 7, n.º 4.36 (9 de dezembro de 2018): 306. http://dx.doi.org/10.14419/ijet.v7i4.36.23793.
Texto completo da fonteSabbaghi-Nadooshan, Reza, Zahra Shahosseini e Davood Rezaeipour. "Design of New QCA LFSR and NLFSR for Grain-128 Stream Cipher". Journal of Circuits, Systems and Computers 25, n.º 02 (23 de dezembro de 2015): 1650005. http://dx.doi.org/10.1142/s0218126616500055.
Texto completo da fonteBouhmala, Noureddine, e Ole-Christoffer Granmo. "Stochastic Learning for SAT- Encoded Graph Coloring Problems". International Journal of Applied Metaheuristic Computing 1, n.º 3 (julho de 2010): 1–19. http://dx.doi.org/10.4018/jamc.2010070101.
Texto completo da fonteHoe, David H. K., Jonathan M. Comer, Juan C. Cerda, Chris D. Martinez e Mukul V. Shirvaikar. "Cellular Automata-Based Parallel Random Number Generators Using FPGAs". International Journal of Reconfigurable Computing 2012 (2012): 1–13. http://dx.doi.org/10.1155/2012/219028.
Texto completo da fonteYaqoob, Salma, Suhaib Ahmed, Syed Farah Naz, Sadaf Bashir e Sparsh Sharma. "Design of efficient N‐bit shift register using optimized D flip flop in quantum dot cellular automata technology". IET Quantum Communication 2, n.º 2 (9 de abril de 2021): 32–41. http://dx.doi.org/10.1049/qtc2.12008.
Texto completo da fontePrakash, G., Mehdi Darbandi, N. Gafar, Noor H. Jabarullah e Mohammad Reza Jalali. "A New Design of 2-Bit Universal Shift Register Using Rotated Majority Gate Based on Quantum-Dot Cellular Automata Technology". International Journal of Theoretical Physics 58, n.º 9 (14 de junho de 2019): 3006–24. http://dx.doi.org/10.1007/s10773-019-04181-w.
Texto completo da fonteKim, Hyun-Il, e Jun-Cheol Jeon. "Quantum LFSR Structure for Random Number Generation Using QCA Multilayered Shift Register for Cryptographic Purposes". Sensors 22, n.º 9 (6 de maio de 2022): 3541. http://dx.doi.org/10.3390/s22093541.
Texto completo da fonteGarg, Pranav, Christof Löding, P. Madhusudan e Daniel Neider. "Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists". Formal Methods in System Design 47, n.º 1 (agosto de 2015): 120–57. http://dx.doi.org/10.1007/s10703-015-0231-6.
Texto completo da fonteAfrooz, Sonia, e Nima Jafari Navimipour. "Memory Designing Using Quantum-Dot Cellular Automata: Systematic Literature Review, Classification and Current Trends". Journal of Circuits, Systems and Computers 26, n.º 12 (agosto de 2017): 1730004. http://dx.doi.org/10.1142/s0218126617300045.
Texto completo da fonteMaksimovskiy, Alexander. "On Two Classes of Automata Over Finite Rings, Based on the Isomorphism of the Shift Register and Their Application for the Protection of Information". Voprosy kiberbezopasnosti, n.º 1(29) (2019): 69–76. http://dx.doi.org/10.21681/2311-3456-2019-1-69-76.
Texto completo da fonteKAMINSKI, MICHAEL, e DANIEL ZEITLIN. "FINITE-MEMORY AUTOMATA WITH NON-DETERMINISTIC REASSIGNMENT". International Journal of Foundations of Computer Science 21, n.º 05 (outubro de 2010): 741–60. http://dx.doi.org/10.1142/s0129054110007532.
Texto completo da fonteGLADUN, O. M., e M. V. PUHACHOVA. "Genesis of the Demographic Registry in Ukraine". Demography and social economy 3 (1 de novembro de 2022): 3–25. http://dx.doi.org/10.15407/dse2022.03.003.
Texto completo da fonteNehrey, Maryna, e Andrii Taranenko. "E-GOVERNANCE OF THE AGRICULTURAL SECTOR OF UKRAINE: STATE AGRARIAN REGISTER". Bulletin of Taras Shevchenko National University of Kyiv. Economics, n.º 222 (2023): 113–19. http://dx.doi.org/10.17721/1728-2667.2023/222-1/14.
Texto completo da fonteAWODUN, Mojirade Adejumoke. "Proposed Online Voters’ Registration Automated System in Election". International Journal of Research and Innovation in Social Science VIII, n.º II (2024): 1943–51. http://dx.doi.org/10.47772/ijriss.2024.802136.
Texto completo da fontePapaioannou, Evi, Angelos Vardakis e Christos Kaklamanis. "oPESA: ONLINE PLATFORM FOR AUTOMATIC EXAM-HALL SEAT ALLOCATION". International Journal of Engineering Technologies and Management Research 5, n.º 6 (27 de fevereiro de 2020): 51–65. http://dx.doi.org/10.29121/ijetmr.v5.i6.2018.245.
Texto completo da fonteBiber, Douglas, Jesse Egbert e Mark Davies. "Exploring the composition of the searchable web: a corpus-based taxonomy of web registers". Corpora 10, n.º 1 (abril de 2015): 11–45. http://dx.doi.org/10.3366/cor.2015.0065.
Texto completo da fonteKjos-Hanssen, Bjørn. "Automatic complexity of shift register sequences". Discrete Mathematics 341, n.º 9 (setembro de 2018): 2409–17. http://dx.doi.org/10.1016/j.disc.2018.05.015.
Texto completo da fonteLaippala, Veronika, Jesse Egbert, Douglas Biber e Aki-Juhani Kyröläinen. "Exploring the role of lexis and grammar for the stable identification of register in an unrestricted corpus of web documents". Language Resources and Evaluation 55, n.º 3 (25 de janeiro de 2021): 757–88. http://dx.doi.org/10.1007/s10579-020-09519-z.
Texto completo da fonteAttie, Paul C., e Hana Chockler. "Automatic Verification of Fault-Tolerant Register Emulations". Electronic Notes in Theoretical Computer Science 149, n.º 1 (fevereiro de 2006): 49–60. http://dx.doi.org/10.1016/j.entcs.2005.11.016.
Texto completo da fonteYagain, Deepa, Sivanag Balla e Vijaya Krishna. "Efficient Audio Filter Using Folded Pipelining Architecture Based on Retiming Using Evolutionary Computation". Journal of Circuits, Systems and Computers 24, n.º 05 (8 de abril de 2015): 1550068. http://dx.doi.org/10.1142/s0218126615500681.
Texto completo da fonte