Search results

{{Short description|Software engineering}} ...or change. It is mostly employed for finding the patch that introduced a [[software bug|bug]]. Another application area is finding the patch that indirectly fi ...

...cribes algorithms for [[polygon operations]] involved in electronic design automation ([[design rule checking]], [[circuit extraction]], [[placement and routing] ...im that it was "first --><ref name=noniso>{{cite book|title=Foundations of Software Technology and Theoretical Computer Science|chapter=Location of Largest Emp ...

| influenced_by = [[ML (programming language)|ML]]<br>[[Coq (software)|Coq]]<br>[[Haskell]] ...ch is then compiled, enabling the development of efficient domain-specific automation.<ref>{{cite book |last1=Moura |first1=Leonardo de |last2=Ullrich |first2=Se ...

* Engineering Software for [[Decentralised system|Decentralized Systems]] * [[Formal language|Formal Languages]], [[Compiler]] & Software Construction ...

{{Infobox software ...in the growth of [[decentralized finance]] (DeFi) by introducing the '''[[Automation|Automated]] [[Market maker|Market]]''' [[Market maker|Maker]] (AMM) model, ...

...ite web|url=https://www.can-cia.org/can-knowledge/can/can-fd/|title=CAN in Automation (CiA): CAN FD - The basic idea|website=www.can-cia.org|language=en|access-d ...well, such as in electronic systems used in robotics, defense, industrial automation, underwater vehicles, medical equipment, avionics, down-hole drilling senso ...

...ience]], [[Electrical engineering]], [[Optimization]], [[Electronic design automation]], [[Artificial intelligence]], [[Quantum computing]] ...gorithms for optimizing [[integrated circuits]] and on [[electronic design automation]], as well as [[artificial intelligence]]. Additionally, Markov is an Ameri ...

...Cross section (physics)|cross-section]]s values and to the event generator software. The idea of automation of the calculations in high-energy physics is not new. It dates back to the ...

...cally and many [[:Category:Mathematical optimization software|optimization software]] exist in academic and commercial forms.<ref>{{Cite book|url=https://books ...timize several other performance criteria. Concurrently, structural design automation endeavors to streamline the design process, mitigate human errors, and enha ...

...e=2014 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS) |chapter=Applying the roofline model |date=2014-03-01|pages=76–85| ...he two additional ceilings represent the absence of [[Instruction prefetch|software prefetching]] and [[Non-uniform memory access|NUMA]] organization of [[Comp ...

{{Infobox Software | genre = [[List of numerical analysis software|Technical computing]] ...

== Software == There are various software packages for computing persistence intervals of a finite filtration.<ref na ...

...tware test pattern generation, software package dependencies, hardware and software model checking, and cryptography. ...ceton.edu/~chaff/publication/DAC2001v56.pdf | title=Proc. 38th Ann. Design Automation Conference (DAC) | pages=530–535 | year=2001 }} ...

...the parameters (e.g. layer thickness, material type) within the printer's software #* Generation of the tool path plan by the software (including infill and infill pattern) ...

...method exponential time differencing (ETD) method that they used [[Maple (software)|Maple]] to derive. ...ckage for Exponential Integrators|journal=ACM Transactions on Mathematical Software|year=2007|volume=33|issue=1|pages=4–es|doi=10.1145/1206040.1206044|s2cid=15 ...

...= In 9th International Symposium on Artificial Intelligence, Robotics and Automation in Space | journal = Automated Software Engineering ...

...signal]] generated by [[computer hardware|hardware]] or [[computer program|software]] to indicate normal operation or to [[Synchronization (computer science)|s ...rtbeat Protocol|conference= 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009)|date=11 July 2009|publisher=[[IEEE]]|lo ...

...ning old interferometry techniques with modern electronics, computers, and software has produced extremely powerful measurement tools. [[Yuri Denisyuk]] and [[ is described by the exponential term of equation 4. The [[software]] calculates the envelope from the correlogram data. The principle of the e ...

...0|last1=Xu|first1=J.|last2=Parnas|first2=D.L.|journal=IEEE Transactions on Software Engineering|volume=16|issue=3|pages=360–369}}</ref> for EDF is: ...le = 2011 IEEE International Conference on Emerging Technology and Factory Automation|year = 2011|last1 = Short|first1 = Michael|pages = 1–8|doi = 10.1109/ETFA.2 ...

...ew York|isbn=978-0-471-45565-3|edition=2nd}}</ref> and from Rody Oldenhuis software.<ref>{{cite web|last=Oldenhuis|first=Rody|title=Many test functions for glo ...ware developed by Deb can be downloaded,<ref name="Deb_nsga">Deb K. (2011) Software for multi-objective NSGA-II code in C. Available at URL: https://www.iitk.a ...