Relevant bibliographies by topics / Computer-aided design. Algorithms

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Computer-aided design. Algorithms'

Author: Grafiati
Published: 4 June 2021
Last updated: 9 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Computer-aided design. Algorithms.'

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 "Computer-aided design. Algorithms"

1

Graham, I. J., K. Case, and R. L. Wood. "Genetic algorithms in computer-aided design." Journal of Materials Processing Technology 117, no. 1-2 (2001): 216–21. http://dx.doi.org/10.1016/s0924-0136(01)01144-x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Renner, Gábor, and Anikó Ekárt. "Genetic algorithms in computer aided design." Computer-Aided Design 35, no. 8 (2003): 709–26. http://dx.doi.org/10.1016/s0010-4485(03)00003-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Renner, Gábor. "Genetic Algorithms in Computer-Aided Design." Computer-Aided Design and Applications 1, no. 1-4 (2004): 691–700. http://dx.doi.org/10.1080/16864360.2004.10738315.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Fivaz, Jean, and Willem A. Cronjé. "Genetic algorithms in computer aided inductor design." Suid-Afrikaanse Tydskrif vir Natuurwetenskap en Tegnologie 23, no. 3 (2004): 68–78. http://dx.doi.org/10.4102/satnt.v23i3.195.

Full text
Abstract:
The goal of this investigation is to determine the advantages of using genetic algorithms in computer-aided design as applied to inductors. These advantages are exploited in design problems with a number of specifications and constraints, as encountered in power electronics during practical inductor design. The design tool should be able to select components, such as cores and wires, from databases of available components, and evaluate these choices based on the components’ characteristic data read from a database of manufacturers’ data-sheets. The proposed design must always be practically re
APA, Harvard, Vancouver, ISO, and other styles
5

Clark, David E., and David R. Westhead. "Evolutionary algorithms in computer-aided molecular design." Journal of Computer-Aided Molecular Design 10, no. 4 (1996): 337–58. http://dx.doi.org/10.1007/bf00124503.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Venkatasubramanian, V., K. Chan, and J. M. Caruthers. "Computer-aided molecular design using genetic algorithms." Computers & Chemical Engineering 18, no. 9 (1994): 833–44. http://dx.doi.org/10.1016/0098-1354(93)e0023-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Farshadnia, Reza. "Genetic Algorithms in Optimization and Computer Aided Design." Journal of Applied Sciences 1, no. 3 (2001): 289–94. http://dx.doi.org/10.3923/jas.2001.289.294.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Tsai, Hung Cheng, Tien Li Chen, Hung Jung Tsai, and Fei Kung Hung. "Computer-Aided Form Generation for Product Design." Advanced Materials Research 97-101 (March 2010): 3785–88. http://dx.doi.org/10.4028/www.scientific.net/amr.97-101.3785.

Full text
Abstract:
The product form design activities involve a high degree of uncertainty and complexity and are therefore not easily formulated, coded and regularized. Consequently, very few of the computer-aided design approaches presented in the literature can support the conceptual form design tasks typically performed at the preliminary stages of a product’s development cycle. To enable designers to perform their design activities more objectively and efficiently, this paper combines the principles of fuzzy set theory, the shape-blending method and genetic algorithms to generate a knowledge-based approach
APA, Harvard, Vancouver, ISO, and other styles
9

Zapletina, M. A., D. V. Zhukov, and S. V. Gavrilov. "Boolean Satisfiability Methods for Modern Computer-Aided Design Problems in Microelectronics." Proceedings of Universities. ELECTRONICS 25, no. 6 (2020): 525–38. http://dx.doi.org/10.24151/1561-5405-2020-25-6-525-538.

Full text
Abstract:
Currently, the methods based on a Boolean satisfiability (SAT) problem are one of the efficient approaches to solving the problem of Boolean matching and the equivalence checking of digital circuits. In combination with classic routing algorithms and optimization techniques, the SAT methods demonstrate the results exceeding the classic routing algorithms by the operation speed and the quality of obtained results. In the paper, the analysis of the modern practice of using the SAT methods in the CAD systems for VLSI has been performed. The examples of modern SAT approaches to the problems of the
APA, Harvard, Vancouver, ISO, and other styles
10

Turng, L.-S., and M. Peić. "Computer aided process and design optimization for injection moulding." Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture 216, no. 12 (2002): 1523–32. http://dx.doi.org/10.1243/095440502321016288.

Full text
Abstract:
Sophisticated computer aided engineering (CAE) simulation tools for injection moulding have been available and are now widely used in industrial practices. As a result, the design and manufacturing of injection-moulded parts have been literally transformed from a ‘black art’ to an engineering discipline based on scientific principles. It is well recognized that computer simulation tools help engineers to gain process insight and to pinpoint blind spots and problems that are overlooked. Nevertheless, there remains a missing link in CAE, which lies in the ability to identify effectively the opti
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Computer-aided design. Algorithms"

1

Abdul, Karim Mohamad Sharis. "Computer-aided aesthetics in evolutionary computer aided design." Thesis, Loughborough University, 2004. https://dspace.lboro.ac.uk/2134/27913.

Full text
Abstract:
This thesis presents research into the possibility of developing a computerised system that can evaluate the aesthetics and engineering aspects of solid shapes. One of the research areas is also to include such an evaluation system into an existing evolutionary CAD system which utilizes the Genetic Algorithms (GAs) technology. An extensive literature survey has been carried out to better understand and clarify the vagueness and subjectivity of the concept of aesthetics, which leads to the work of defining and quantifying a set of aesthetic parameters. This research achieves its novelty in aimi
APA, Harvard, Vancouver, ISO, and other styles
2

Rich, Thomas H. "Algorithms for computer aided design of digital filters." Thesis, Monterey, California. Naval Postgraduate School, 1988. http://hdl.handle.net/10945/22867.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Yang, Meng. "Algorithms in computer-aided design of VLSI circuits." Thesis, Edinburgh Napier University, 2006. http://researchrepository.napier.ac.uk/Output/6493.

Full text
Abstract:
With the increased complexity of Very Large Scale Integrated (VLSI) circuits, Computer Aided Design (CAD) plays an even more important role. Top-down design methodology and layout of VLSI are reviewed. Moreover, previously published algorithms in CAD of VLSI design are outlined. In certain applications, Reed-Muller (RM) forms when implemented with AND/XOR or OR/XNOR logic have shown some attractive advantages over the standard Boolean logic based on AND/OR logic. The RM forms implemented with OR/XNOR logic, known as Dual Forms of Reed-Muller (DFRM), is the Dual form of traditional RM implement
APA, Harvard, Vancouver, ISO, and other styles
4

Wu, Yue. "Computer-aided design of cellular manufacturing layout." Thesis, Durham University, 1999. http://etheses.dur.ac.uk/1464/.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Chipperfield, Andrew John. "Parallel processing in computer aided control system design." Thesis, University of Sheffield, 1995. http://etheses.whiterose.ac.uk/10218/.

Full text
Abstract:
The available sources have, to some extent, determined the form of this thesis, which was undertaken in the hope that a more detailed study of the relations between London and the Crown during the years 1 1400_1 1150 would place in perspective the crises with which it begins and ends. The most important source of material for this study has been the Journals of the Court of Aldermen and Common Council which survive from 1416 (the years 1429- 1436 are missing). Historians with the help of a nineteenth century index have quarried in these Journals, but they have never been read through systemati
APA, Harvard, Vancouver, ISO, and other styles
6

Han, Yiding. "Graphics Processing Unit-Based Computer-Aided Design Algorithms for Electronic Design Automation." DigitalCommons@USU, 2014. https://digitalcommons.usu.edu/etd/3868.

Full text
Abstract:
The electronic design automation (EDA) tools are a specific set of software that play important roles in modern integrated circuit (IC) design. These software automate the design processes of IC with various stages. Among these stages, two important EDA design tools are the focus of this research: floorplanning and global routing. Specifically, the goal of this study is to parallelize these two tools such that their execution time can be significantly shortened on modern multi-core and graphics processing unit (GPU) architectures. The GPU hardware is a massively parallel architecture, enabling
APA, Harvard, Vancouver, ISO, and other styles
7

Duponcheele, Georges. "Use of genetic algorithms in shape optimisation." Thesis, University of Bath, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.338596.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Todd, David. "Multiple criteria genetic algorithms in engineering design and operation." Thesis, University of Newcastle Upon Tyne, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.362410.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Whyatt, James Duncan. "Visualisation and re-evaluation of line simplification algorithms." Thesis, University of Hull, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.259749.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Davis, Raymond. "The spatial assessment of environmental engineering systems using database generated design algorithms." Thesis, Queen's University Belfast, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.356878.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Computer-aided design. Algorithms"

1

Parallel algorithms for VLSI computer-aided design applications. Prentice-Hall, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Rich, Thomas H. Algorithms for computer aided design of digital filters. Naval Postgraduate School, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

M, Hoffmann Christoph, and Roller Dieter, eds. CAD Tools and Algorithms for Product Design. Springer Berlin Heidelberg, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Van Landingham, Hugh F., 1935-, ed. Algorithms for computer-aided design of multivariable control systems. M. Dekker, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Algorithms for computer-aided design of linear microwave circuits. Artech House, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Computer graphics for design: From algorithms to AutoCAD. Prentice Hall, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Sherwani, Naveed. Algorithms for VLSI Physical Design Automation. Springer US, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Sherwani, N. A. Algorithms for VLSI physical design automation. Kluwer Academic Publishers, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Sherwani, N. A. Algorithms for VLSI physical design automation. 3rd ed. Kluwer Academic Publishers, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Algorithms for VLSI physical design automation. 2nd ed. Kluwer Academic Publishers, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Computer-aided design. Algorithms"

1

Garg, Hitendra. "Watermarking in Computer Aided Design-Generated 3D Objects." In Algorithms for Intelligent Systems. Springer Singapore, 2021. http://dx.doi.org/10.1007/978-981-33-4862-2_37.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Amram, Gal, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, and Gera Weiss. "Adapting Behaviors via Reactive Synthesis." In Computer Aided Verification. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_41.

Full text
Abstract:
AbstractIn the Adapter Design Pattern, a programmer implements a Target interface by constructing an Adapter that accesses an existing Adaptee code. In this work, we present a reactive synthesis interpretation to the adapter design pattern, wherein an algorithm takes an Adaptee and a Target transducers, and the aim is to synthesize an Adapter transducer that, when composed with the Adaptee, generates a behavior that is equivalent to the behavior of the Target. One use of such an algorithm is to synthesize controllers that achieve similar goals on different hardware platforms. While this problem can be solved with existing synthesis algorithms, current state-of-the-art tools fail to scale. To cope with the computational complexity of the problem, we introduce a special form of specification format, called Separated GR(k), which can be solved with a scalable synthesis algorithm but still allows for a large set of realistic specifications. We solve the realizability and the synthesis problems for Separated GR(k), and show how to exploit the separated nature of our specification to construct better algorithms, in terms of time complexity, than known algorithms for GR(k) synthesis. We then describe a tool, called SGR(k), that we have implemented based on the above approach and show, by experimental evaluation, how our tool outperforms current state-of-the-art tools on various benchmarks and test-cases.
APA, Harvard, Vancouver, ISO, and other styles
3

Marques-Silva, João, and Karem Sakallah. "Invited Tutorial: Boolean Satisfiability Algorithms and Applications in Electronic Design Automation." In Computer Aided Verification. Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/10722167_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Somenzi, Fabio, Kavita Ravi, and Roderick Bloem. "Analysis of Symbolic SCC Hull Algorithms." In Formal Methods in Computer-Aided Design. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-36126-x_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Mann, Makai, Ahmed Irfan, Florian Lonsing, et al. "Pono: A Flexible and Extensible SMT-Based Model Checker." In Computer Aided Verification. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9_22.

Full text
Abstract:
AbstractSymbolic model checking is an important tool for finding bugs (or proving the absence of bugs) in modern system designs. Because of this, improving the ease of use, scalability, and performance of model checking tools and algorithms continues to be an important research direction. In service of this goal, we present , an open-source SMT-based model checker. is designed to be both a research platform for developing and improving model checking algorithms, as well as a performance-competitive tool that can be used for academic and industry verification applications. In addition to performance, prioritizes transparency (developed as an open-source project on GitHub), flexibility ( can be adapted to a variety of tasks by exploiting its general SMT-based interface), and extensibility (it is easy to add new algorithms and new back-end solvers). In this paper, we describe the design of the tool with a focus on the flexible and extensible architecture, cover its current capabilities, and demonstrate that is competitive with state-of-the-art tools.
APA, Harvard, Vancouver, ISO, and other styles
6

Miner, Paul S., and James F. Leathrum. "Verification of IEEE compliant subtractive division algorithms." In Formal Methods in Computer-Aided Design. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/bfb0031800.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Akbarpour, Behzad, and Sofiène Tahar. "A Methodology for the Formal Verification of FFT Algorithms in HOL." In Formal Methods in Computer-Aided Design. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30494-4_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Ravi, Kavita, Roderick Bloem, and Fabio Somenzi. "A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles." In Formal Methods in Computer-Aided Design. Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-40922-x_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Barbot, Jean-Pierre. "A computer-aided design for sampling a nonlinear analytic system." In Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/3-540-51083-4_49.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Vasudevan, Shobha, Lingyi Liu, and Samuel Hertz. "A Comparative Study of Assertion Mining Algorithms in GoldMine." In Machine Learning in VLSI Computer-Aided Design. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-04666-8_20.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Computer-aided design. Algorithms"

1

Papadimitriou, Christos. "Understanding evolution through algorithms." In 2016 Formal Methods in Computer-Aided Design (FMCAD). IEEE, 2016. http://dx.doi.org/10.1109/fmcad.2016.7886648.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Shenoy, Brayton, and Sangiovanni-Vincentelli. "Graph algorithms for clock schedule optimization." In IEEE/ACM International Conference on Computer-Aided Design. IEEE Comput. Soc. Press, 1992. http://dx.doi.org/10.1109/iccad.1992.279401.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Narodytska, Nina, Leonid Ryzhyk, Igor Ganichev, and Soner Sevinc. "BDD-Based Algorithms for Packet Classification." In 2019 Formal Methods in Computer Aided Design (FMCAD). IEEE, 2019. http://dx.doi.org/10.23919/fmcad.2019.8894253.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Seshadri, P., and Larry C. Witte. "Computer Aided Optimal Design of Heat Exchanger Networks." In ASME 1991 International Computers in Engineering Conference and Exposition. American Society of Mechanical Engineers, 1991. http://dx.doi.org/10.1115/cie1991-0076.

Full text
Abstract:
Abstract A method for finding the best (optimal) operating layout of heat exchangers in complicated thermal networks is developed in this paper. Computer algorithms are developed that take advantage of pinch technology and economic considerations, and exergetic constraints as well as conventional heat and mass balances. Our goals were to achieve minimum loss of exergy between hot and cold streams subject to practical system constraints. Furthermore, resulting networks should be limited to no more units than the theoretical minimum. The ultimate goal was to minimize investment and operating cos
APA, Harvard, Vancouver, ISO, and other styles
5

Kung. "Hazard-non-increasing gate-level optimization algorithms." In IEEE/ACM International Conference on Computer-Aided Design. IEEE Comput. Soc. Press, 1992. http://dx.doi.org/10.1109/iccad.1992.279300.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

"Formal Verification of Financial Algorithms with Imandra." In 2018 Formal Methods in Computer Aided Design (FMCAD). IEEE, 2018. http://dx.doi.org/10.23919/fmcad.2018.8602992.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Zeid, I. "Computer Aided Rheological Design of Injection Molded Products." In ASME 1987 Design Technology Conferences. American Society of Mechanical Engineers, 1987. http://dx.doi.org/10.1115/detc1987-0020.

Full text
Abstract:
Abstract Traditionally, injection mold design has been quite empirical, relying on previous experiences, rather than sound engineering principles. This is due to the lack of algorithms available to injection mold designers. With the continuous advancement of the CAD/CAM technology, new principles can be developed to generate fully integrated and automated mold design procedures. This paper presents a methodology of a more analytical approach to mold design. Such methodology is based on the branching technique which is utilized to develop the required data for the rheological analysis. A post-p
APA, Harvard, Vancouver, ISO, and other styles
8

Alaybeyi, Lee, and Rohrer. "Numerical integration algorithms and asymptotic waveform evaluation (AWE)." In IEEE/ACM International Conference on Computer-Aided Design. IEEE Comput. Soc. Press, 1992. http://dx.doi.org/10.1109/iccad.1992.279394.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Lamoureux, J., and S. J. E. Wilton. "On the interaction between power-aware FPGA CAD Algorithms." In ICCAD-2003. International Conference on Computer Aided Design. IEEE, 2003. http://dx.doi.org/10.1109/iccad.2003.159755.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Cong, J., M. Romesis, and Min Xie. "Optimality and stability study of timing-driven placement algorithms." In ICCAD-2003. International Conference on Computer Aided Design. IEEE, 2003. http://dx.doi.org/10.1109/iccad.2003.159726.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Computer-aided design. Algorithms"

1

Birchler, W. D., and S. A. Schilling. Comparisons of Wilson-Fowler and Parametric Cubic Splines with the Curve-Fitting Algorithms of Several Computer-Aided Design Systems. Office of Scientific and Technical Information (OSTI), 2001. http://dx.doi.org/10.2172/776180.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Computer-aided design. Algorithms' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography