Academic literature on the topic 'Automated computer-aided synthesis'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Automated computer-aided synthesis.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Automated computer-aided synthesis"
Petrov, Dmitriy Nikiforovich, and Tamara Balabekovna Chistyakova. "SYSTEM OF AUTOMATED DESIGN AND PROTOTYPING OF SYNTHESIS SITES OF CARBON NANOCLUSTER STRUCTURES." Vestnik of Astrakhan State Technical University. Series: Management, computer science and informatics 2021, no. 3 (July 30, 2021): 16–27. http://dx.doi.org/10.24143/2072-9502-2021-3-16-27.
Full textUnruh, V., and P. Krishnaswami. "A Computer-Aided Design Technique for Semi-Automated Infinite Point Coupler Curve Synthesis of Four-Bar Linkages." Journal of Mechanical Design 117, no. 1 (March 1, 1995): 143–49. http://dx.doi.org/10.1115/1.2826099.
Full textAlankus, Gazihan, A. Alphan Bayazit, and O. Burchan Bayazit. "Automated motion synthesis for dancing characters." Computer Animation and Virtual Worlds 16, no. 3-4 (2005): 259–71. http://dx.doi.org/10.1002/cav.99.
Full textZhigang Deng, J. P. Lewis, and U. Neumann. "Automated Eye Motion Using Texture Synthesis." IEEE Computer Graphics and Applications 25, no. 2 (March 2005): 24–30. http://dx.doi.org/10.1109/mcg.2005.35.
Full textOsman, A., Y. Kutay, I. Mozgova, and R. Lachmayer. "Procedure to Create an Automated Design Environment for Functional Assemblies." Proceedings of the Design Society 2 (May 2022): 553–62. http://dx.doi.org/10.1017/pds.2022.57.
Full textLustig, Daniel, Andrew Wright, Alexandros Papakonstantinou, and Olivier Giroux. "Automated Synthesis of Comprehensive Memory Model Litmus Test Suites." ACM SIGPLAN Notices 52, no. 4 (May 12, 2017): 661–75. http://dx.doi.org/10.1145/3093336.3037723.
Full textRjazancev, A. N. "The structural models automated synthesis for choice logical problems solution in computer-aided processes planning systems." Вестник Белорусско-Российского университета, no. 2 (2011): 87–95. http://dx.doi.org/10.53078/20778481_2011_2_87.
Full textVerteshev, Sergei, and Vladimir Konevtsov. "DIRECT DIGITAL CONTROL IN A COMPLEX OF SOFTWARE DESIGN OF DIGITAL CONTROL SYSTEMS." Environment. Technology. Resources. Proceedings of the International Scientific and Practical Conference 3 (June 15, 2017): 332. http://dx.doi.org/10.17770/etr2017vol3.2534.
Full textVerteshev, Sergei, and Vladimir Konevtsov. "DIRECT DIGITAL CONTROL IN A COMPLEX OF SOFTWARE DESIGN OF DIGITAL CONTROL SYSTEMS." Environment. Technology. Resources. Proceedings of the International Scientific and Practical Conference 3 (June 15, 2017): 337. http://dx.doi.org/10.17770/etr2017vol3.2536.
Full textDhingra, A. K., and N. K. Mani. "Finitely and Multiply Separated Synthesis of Link and Geared Mechanisms Using Symbolic Computing." Journal of Mechanical Design 115, no. 3 (September 1, 1993): 560–67. http://dx.doi.org/10.1115/1.2919226.
Full textDissertations / Theses on the topic "Automated computer-aided synthesis"
Deas, Alexander Roger. "An idiomatic framework for the automated synthesis of topographical information from behavioural specifications." Thesis, University of Edinburgh, 1985. http://hdl.handle.net/1842/13604.
Full textBeikzadeh, Mohammad Reza. "Automatic high-level synthesis based upon artificial intelligence techniques." Thesis, University of Essex, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.315691.
Full textSinghal, Rahul. "Logic Realization Using Regular Structures in Quantum-Dot Cellular Automata (QCA)." PDXScholar, 2011. https://pdxscholar.library.pdx.edu/open_access_etds/196.
Full textPatel, Jay K. 1978. "An approach to automate the synthesis of sheet metal parts." 2008. http://hdl.handle.net/2152/17895.
Full texttext
Books on the topic "Automated computer-aided synthesis"
Yu, Meng-Lin. Automatic random logic layout synthesis: A module generator approach. Urbana, Ill: Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1986.
Find full textBook chapters on the topic "Automated computer-aided synthesis"
Kang, Eunsuk, Stéphane Lafortune, and Stavros Tripakis. "Automated Synthesis of Secure Platform Mappings." In Computer Aided Verification, 219–37. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-25540-4_12.
Full textSingher, Eytan, and Shachar Itzhaky. "Theory Exploration Powered by Deductive Synthesis." In Computer Aided Verification, 125–48. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9_6.
Full textLavaei, Abolfazl, Mahmoud Khaled, Sadegh Soudjani, and Majid Zamani. "AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems." In Computer Aided Verification, 461–74. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-53291-8_24.
Full textAbate, Alessandro, Iury Bessa, Dario Cattaruzza, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen. "Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants." In Computer Aided Verification, 462–82. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-63387-9_23.
Full textUnno, Hiroshi, Tachio Terauchi, and Eric Koskinen. "Constraint-Based Relational Verification." In Computer Aided Verification, 742–66. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_35.
Full textMansouri, Nazanin, and Ranga Vemuri. "A Methodology for Automated Verification of Synthesized RTL Designs and Its Integration with a High-Level Synthesis Tool." In Formal Methods in Computer-Aided Design, 204–21. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-49519-3_15.
Full textCheng, Chih-Hong, Michael Geisinger, Harald Ruess, Christian Buckl, and Alois Knoll. "MGSyn: Automatic Synthesis for Industrial Automation." In Computer Aided Verification, 658–64. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31424-7_46.
Full textGarcía Soto, Miriam, Thomas A. Henzinger, Christian Schilling, and Luka Zeleznik. "Membership-Based Synthesis of Linear Hybrid Automata." In Computer Aided Verification, 297–314. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-25540-4_16.
Full textPeter, Hans-Jörg, Rüdiger Ehlers, and Robert Mattmüller. "Synthia: Verification and Synthesis for Timed Automata." In Computer Aided Verification, 649–55. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22110-1_52.
Full textVardi, Moshe Y. "An automata-theoretic approach to fair realizability and synthesis." In Computer Aided Verification, 267–78. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60045-0_56.
Full textConference papers on the topic "Automated computer-aided synthesis"
Soni, A. H., and Y. Weng. "Computer Aided Synthesis Equation Derivation for Mechanisms Design Automation." In ASME 1987 Design Technology Conferences. American Society of Mechanical Engineers, 1987. http://dx.doi.org/10.1115/detc1987-0024.
Full textJha, Susmit, Vasumathi Raman, and Sanjit A. Seshia. "On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks." In 2016 Formal Methods in Computer-Aided Design (FMCAD). IEEE, 2016. http://dx.doi.org/10.1109/fmcad.2016.7886664.
Full textGangwar, Anup, Nitin Kumar Agarwal, Ravishankar Sreedharan, Ambica Prasad, Sri Harsha Gade, and Zheng Xu. "Automated synthesis of custom networks-on-chip for real world applications." In ICCAD '20: IEEE/ACM International Conference on Computer-Aided Design. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3400302.3415656.
Full textEsmaeilzadeh, Hadi, Soroush Ghodrati, Jie Gu, Shiyu Guo, Andrew B. Kahng, Joon Kyung Kim, Sean Kinzer, et al. "VeriGOOD-ML: An Open-Source Flow for Automated ML Hardware Synthesis." In 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD). IEEE, 2021. http://dx.doi.org/10.1109/iccad51958.2021.9643449.
Full textKuzlyakina, Valentina V., and Marina V. Nagaeva. "Computer-Aided Laboratory Work to “Mechanism and Machine Science” Course." In ASME 2007 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2007. http://dx.doi.org/10.1115/detc2007-34609.
Full textLin, Yi-shih, Kristina Shea, Aylmer Johnson, John Coultate, and Jamie Pears. "A Method and Software Tool for Automated Gearbox Synthesis." In ASME 2009 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2009. http://dx.doi.org/10.1115/detc2009-86935.
Full textKamalian, Raffi, Alice M. Agogino, and Hideyuki Takagi. "The Role of Constraints and Human Interaction in Evolving MEMS Designs: Microresonator Case Study." In ASME 2004 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2004. http://dx.doi.org/10.1115/detc2004-57462.
Full textTing, Kwun-Lon, Changyu Xue, Jun Wang, and Kenneth R. Currie. "General Mobility Identification and Rectification of Watt Six-Bar Linkages." In ASME 2007 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2007. http://dx.doi.org/10.1115/detc2007-34584.
Full textYang, Zhi-Xin, and Ajay Joneja. "OSCAP: An Environment for Manufacturing Planning of Mechanical Products." In ASME 1997 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1997. http://dx.doi.org/10.1115/detc97/dfm-4334.
Full textWang, Jun, and Kwun-Lon Ting. "Mobility Identification of a Group of Single Degree-of-Freedom Eight-Bar Linkages." In ASME 2010 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2010. http://dx.doi.org/10.1115/detc2010-28961.
Full text