Статті в журналах з теми "Boolean Functional Synthesis"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-20 статей у журналах для дослідження на тему "Boolean Functional Synthesis".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.
Pashukov, Artem. "Application of Weight-Based Sum Codes at the Synthesis of Circuits for Built-in Control by Boolean Complement Method." Automation on transport 8, no. 1 (March 15, 2022): 101–14. http://dx.doi.org/10.20295/2412-9186-2022-8-1-101-114.
Повний текст джерелаEfanov, Dmitriy, and Tat'yana Pogodina. "Self-Dual Functional Gates for the Synthesis of Controllable Digital Systems." Transport automation research 9, no. 2 (June 13, 2023): 205–21. http://dx.doi.org/10.20295/2412-9186-2023-9-02-205-221.
Повний текст джерелаRawski, Mariusz. "Application of Indexed Partition Calculus in Logic Synthesis of Boolean Functions for FPGAs." International Journal of Electronics and Telecommunications 57, no. 2 (June 1, 2011): 209–16. http://dx.doi.org/10.2478/v10177-011-0029-4.
Повний текст джерелаAbdollahi, Afshin, Mehdi Saeedi, and Massoud Pedram. "Reversible logic synthesis by quantum rotation gates." Quantum Information and Computation 13, no. 9&10 (September 2013): 771–92. http://dx.doi.org/10.26421/qic13.9-10-3.
Повний текст джерелаBRAHA, DAN. "Design-as-satisfiability: A new approach to automated synthesis." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 15, no. 5 (November 2001): 385–99. http://dx.doi.org/10.1017/s0890060401155022.
Повний текст джерелаPrihozhy, Anatoly A. "Synthesis of quantum circuits based on incompletely specified functions and if-decision diagrams." Journal of the Belarusian State University. Mathematics and Informatics, no. 3 (December 14, 2021): 84–97. http://dx.doi.org/10.33581/2520-6508-2021-3-84-97.
Повний текст джерелаPerkowski, Marek A., Malgorzata Chrzanowska-Jeske, Andisheh Sarabi, and Ingo Schäfer. "Multi-Level Logic Synthesis Based on Kronecker Decision Diagrams and Boolean Ternary Decision Diagrams for Incompletely Specified Functions." VLSI Design 3, no. 3-4 (January 1, 1995): 301–13. http://dx.doi.org/10.1155/1995/24594.
Повний текст джерелаStojkovic, Suzana, Milena Stankovic, and Claudio Moraga. "Complexity reduction of Toffoli networks based on FDD." Facta universitatis - series: Electronics and Energetics 28, no. 2 (2015): 251–62. http://dx.doi.org/10.2298/fuee1502251s.
Повний текст джерелаEfanov, D. V., and D. V. Pivovarov. "FUNCTIONAL APPROACH TO THE SYNTHESIS OF CONCURRENT ERROR-DETECTION CIRCUIT BASED ON BOOLEAN COMPLEMENT AND USE OF "2-OUT-OF-5" CONSTANT-WEIGHT CODE." Informatika i sistemy upravleniya, no. 4 (2021): 81–94. http://dx.doi.org/10.22250/isu.2021.70.81-94.
Повний текст джерелаSELVARAJ, HENRY, PIOTR SAPIECHA, MARIUSZ RAWSKI, and TADEUSZ ŁUBA. "FUNCTIONAL DECOMPOSITION — THE VALUE AND IMPLICATION FOR BOTH NEURAL NETWORKS AND DIGITAL DESIGNING." International Journal of Computational Intelligence and Applications 06, no. 01 (March 2006): 123–38. http://dx.doi.org/10.1142/s1469026806001782.
Повний текст джерелаCheburakhin, I. F., and O. N. Gavrish. "About One Efficient Method of Synthesis of Boolean Formulas and Circuits of Functional Elements." MEHATRONIKA, AVTOMATIZACIA, UPRAVLENIE 18, no. 6 (June 15, 2017): 407–14. http://dx.doi.org/10.17587/mau.18.407-414.
Повний текст джерелаBibilo, P. N. "Hardware Implementation of Code Converters Designed to Reduce the Length of Binary Encoded Words." Programmnaya Ingeneria 13, no. 8 (September 8, 2022): 363–82. http://dx.doi.org/10.17587/prin.13.363-382.
Повний текст джерелаCHIANG, TSUNG-HSI, and LAN-RONG DUNG. "VERIFICATION OF DATAFLOW SCHEDULING." International Journal of Software Engineering and Knowledge Engineering 18, no. 06 (September 2008): 737–58. http://dx.doi.org/10.1142/s0218194008003891.
Повний текст джерелаPEDRYCZ, WITOLD, and ADAM GACEK. "LEARNING OF FUZZY AUTOMATA." International Journal of Computational Intelligence and Applications 01, no. 01 (March 2001): 19–33. http://dx.doi.org/10.1142/s1469026801000068.
Повний текст джерелаDas, Apangshu, and Sambhu Nath Pradhan. "Shared Reed-Muller Decision Diagram Based Thermal-Aware AND-XOR Decomposition of Logic Circuits." VLSI Design 2016 (April 27, 2016): 1–14. http://dx.doi.org/10.1155/2016/3191286.
Повний текст джерелаAkshay, S., Supratik Chakraborty, Shubham Goel, Sumith Kulal, and Shetal Shah. "Boolean functional synthesis: hardness and practical algorithms." Formal Methods in System Design, October 21, 2020. http://dx.doi.org/10.1007/s10703-020-00352-2.
Повний текст джерелаTupkalo, Viltalii, and Serhii Cherepkov. "Systems engineering of cybersecured digital and information measuring systems based on the signature Boolean-polynomial algebra synthesis apparatus." Measurements infrastructure 5 (May 5, 2023). http://dx.doi.org/10.33955/v5(2023)-024.
Повний текст джерелаBhunia, Kousik, Arighna Deb, Kamalika Datta, Muhammad Hassan, Saeideh Shirinzadeh, and Rolf Drechsler. "ReSG: A Data Structure for Verification of Majority based In-Memory Computing on ReRAM Crossbars." ACM Transactions on Embedded Computing Systems, August 9, 2023. http://dx.doi.org/10.1145/3615358.
Повний текст джерелаBenyo, Sarah, Robert A. Saadi, Scott Walen, and Jessyka G. Lighthall. "A Systematic Review of Surgical Techniques for Management of Severe Rhinophyma." Craniomaxillofacial Trauma & Reconstruction, January 6, 2021, 194338752098311. http://dx.doi.org/10.1177/1943387520983117.
Повний текст джерелаRamsay, Jennifer, Christopher Sandom, Thomas Ings, and Helen C. Wheeler. "What evidence exists on the impacts of large herbivores on climate change? A systematic map protocol." Environmental Evidence 11, no. 1 (April 19, 2022). http://dx.doi.org/10.1186/s13750-022-00270-2.
Повний текст джерела