Výsledky vyhľadávania - ((automatic OR automatizacia) OR automation) programming—program verification general terms

Automatic Verilog Code Generation through Grammatical Evolution

Autori: Ulya R. Karpuzcu The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Ulya R. Karpuzcu The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005wks/papers/0394.pdf.

Predmety: I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis, program verification. General Terms Design, Verification. Keywords Grammatical Evolution, Automatic Code Generation, Verilog

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.604.3300; http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005wks/papers/0394.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.604.3300
http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005wks/papers/0394.pdf

Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms.

Autori: Ji, Ruyi Zhao, Yuwei Xiong, Yingfei a ďalší

Zdroj: ACM Transactions on Programming Languages & Systems; Jun2024, Vol. 46 Issue 2, p1-59, 59p

Predmety: DECOMPOSITION method, PROGRAM transformation, SYNTAX (Grammar)

Hammer for Coq: Automation for Dependent Type Theory.

Autori: Czajka, Łukasz Kaliszyk, Cezary

Zdroj: Journal of Automated Reasoning; Jun2018, Vol. 61 Issue 1-4, p423-453, 31p

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autori: Bernd Finkbeiner Laura Kovács

Typ zdroja: eBook.

Predmet: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Analysis and Transformation of Constrained Horn Clauses for Program Verification.

Autori: DE ANGELIS, EMANUELE FIORAVANTI, FABIO GALLAGHER, JOHN P. a ďalší

Zdroj: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p974-1042, 69p

Predmety: CONSTRAINT programming, LOGIC programming, PROGRAMMING languages, SYSTEMS software, PROGRAM transformation

DSD-Crasher: A hybrid analysis tool for bug finding

Autori: Christoph Csallner Tao Xie The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Christoph Csallner Tao Xie The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.uoregon.edu/~yannis/dsd-tosem.pdf.

Predmety: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—formal methods, reliability, D.2.5 [Software Engineering, Testing and Debugging— testing tools, I.2.2 [Artificial Intelligence, Automatic Programming—program verification General Terms, Verification Additional Key Words and Phrases, Automatic testing, bug finding, dynamic analysis, dynamic invariant detection

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.4597

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.4597
http://www.cs.uoregon.edu/~yannis/dsd-tosem.pdf

The MetaCoq Project.

Autori: Sozeau, Matthieu Anand, Abhishek Boulier, Simon a ďalší

Zdroj: Journal of Automated Reasoning; Jun2020, Vol. 64 Issue 5, p947-999, 53p

Predmety: COMPUTER programming, SEMANTICS, COMPILERS (Computer programs), PROOF theory

Geografický termín: PARIS (France)

Performance Verification for Behavior-Based Robot Missions.

Autori: Lyons, Damian M. Arkin, Ronald C. Jiang, Shu a ďalší

Zdroj: IEEE Transactions on Robotics; Jun2015, Vol. 31 Issue 3, p619-636, 18p

Predmety: ROBOT programming, AUTOMATIC control systems, CONFIRMATION (Logic), PROGRAMMABLE controllers, ROBOTICS

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p

Predmety: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Autori: Arie Gurfinkel Marijn Heule

Typ zdroja: eBook.

Predmet: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Kleene Algebra with Tests

Autori: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Dexter Kozen The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.cornell.edu/kozen/papers/kat.ps.

Predmety: Expressions and Their Representations---simplification of expressions, I.1.3 [Algebraic Manipulation, Languages and Systems---special-purpose algebraic systems, I.2.2 [Algebraic Manipulation, Automatic Programming---program modification, program synthesis, program transformation, program verification General Terms, Design, Languages, Theory, Verification Additional Key Words and Phrases, Dynamic logic, Kleene algebra, specification

Popis súboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.70; http://www.cs.cornell.edu/kozen/papers/kat.ps

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.70
http://www.cs.cornell.edu/kozen/papers/kat.ps

Evaluating Energy Efficiency and Optimal Positioning of Industrial Robots in Sustainable Manufacturing.

Autori: Ruzarovsky, Roman Horak, Tibor Bocak, Robert

Zdroj: Journal of Manufacturing & Materials Processing; Dec2024, Vol. 8 Issue 6, p276, 36p

Predmety: INDUSTRIAL energy consumption, SUSTAINABILITY, CONSUMPTION (Economics), ENERGY consumption, ENERGY industries

The quantum monadology.

Autori: Sati, Hisham Schreiber, Urs

Zdroj: Quantum Studies: Mathematics & Foundations; Oct2025, Vol. 12 Issue 3, p1-148, 148p

Constructing a AI ERP diamond model for the optimal allocation of long-term care center resources - applying a fuzzy analytic hierarchy process for operations research.

Autori: Wei-Chuan Wang

Zdroj: Journal of Accounting, Finance & Management Strategy; Jun2023, Vol. 18 Issue 1, p71-118, 48p

Predmety: ANALYTIC hierarchy process, OPERATIONS research, LONG-term health care, ELDER care, SENIOR housing, LONG-term care insurance, HOUSING finance

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Autori: Shuvendu K. Lahiri Chao Wang

Typ zdroja: eBook.

Predmet: Computer software--Verification--Congresses

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Hardware / General

DEPS: a model- and property-based language for system synthesis problems.

Autori: Yvars, Pierre-Alain Zimmer, Laurent

Zdroj: Software & Systems Modeling; Aug2024, Vol. 23 Issue 4, p973-1002, 30p

Predmety: MODELING languages (Computer science), SYSTEMS design, CONSTRAINT programming, PROBLEM solving, STRUCTURAL models

Analysis of Vehicle-Induced Vibration Response and Impact Coefficient for Composite Truss Bridge with Partially Concrete-Filled Rectangular Steel Tube Members.

Autori: Liu, Shizhong Zhang, Ruiyin Ge, Jialin a ďalší

Zdroj: Buildings (2075-5309); Sep2025, Vol. 15 Issue 18, p3330, 21p

Predmety: TRUSS bridges, CONCRETE-filled tubes, ANSYS (Computer system), BRIDGE design & construction, DYNAMIC stiffness, FATIGUE limit, AUTOMOBILE vibration

Automatic Technology in Food Industry

Autori: Jaime, Cristina Garcia

Typ zdroja: eBook.

Predmet: Food industry and trade--Automation

Kategórie: TECHNOLOGY & ENGINEERING / General

Hoare logic-based genetic programming.

Autori: He, Pei Kang, LiShan Johnson, Colin a ďalší

Zdroj: SCIENCE CHINA Information Sciences; Mar2011, Vol. 54 Issue 3, p623-637, 15p

Convex risk-bounded continuous-time trajectory planning and tube design in uncertain nonconvex environments.

Autori: Jasour, Ashkan Han, Weiqiao Williams, Brian C.

Zdroj: International Journal of Robotics Research; Sep2023, Vol. 42 Issue 10, p705-728, 24p

Predmety: SUM of squares, TIME perspective, TUBES, SCHEDULING, PARAMETERIZATION, POINT set theory