Výsledky vyhledávání - "Computer programming languages"

An autonomous performance testing framework using self-adaptive fuzzy reinforcement learning

Autoři: Helali Moghadam, Mahshid Saadatmand, Mehrdad Borg, Markus a další

Zdroj: Software quality journal. :127-159

Témata: Autonomous testing, Performance testing, Reinforcement learning, Stress testing, Test case generation, Automation, Computer programming languages, Testing, Transfer learning, Automated generation, Optimal performance, Performance Model, Performance testing framework, Performance tests, Simulated performance, Software systems, Software testing

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-52628
https://doi.org/10.1007/s11219-020-09532-z

AquaLang: A Dataflow Programming Language

Autoři: Klas Segeljakt Seif Haridi Paris Carbone

Zdroj: Proceedings of the 18th ACM International Conference on Distributed and Event-based Systems. :42-53

Témata: Computer and Information Sciences, Computer programming languages, Data flow analysis, Continuous data, Data flow modeling, Data stream, Data-intensive application, Dataflow, Dataflow programming, Dataflow system, Performance, Programmability, Semantic gap, Semantics, Data- och informationsvetenskap

Popis souboru: application/pdf

Přístupová URL adresa: http://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-74846

Bounded Invariant Checking for Stateflow

Autoři: Filipovikj, Predrag Ung, G. Gurov, Dilian a další

Zdroj: Electronic Proceedings in Theoretical Computer Science, EPTCS. :38-52

Témata: Computer programming languages, Formal verification, Model checking, Semantics, Simulink, Bounded model checking, Complex software, Invariant checking, Invariant properties, Safety critical software, Software modeling, STATEFLOW, Stateflow models, Structural operational semantics, Symbolic Transition Systems, Accident prevention

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-328152
https://doi.org/10.4204/EPTCS.371.3

A tertiary study on links between source code metrics and external quality attributes

Autoři: Iftikhar, Umar Ali, Nauman bin, Dr. Börstler, Jürgen a další

Zdroj: eLLIIT – The Linköping – Lund Initiative on IT and Mobile Communication Information and Software Technology. 165

Témata: Code quality, Evidence, Product quality, Quality models, Tertiary review, Tertiary study, Codes (symbols), Computer programming languages, Data handling, Forecasting, Object oriented programming, Reliability, External quality, Internal quality, Products quality, Quality attributes, Quality modeling, Source code metrics, Maintainability

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:bth-25555
https://doi.org/10.1016/j.infsof.2023.107348

A Bi−directional method for evaluating integrals involving higher transcendental functions. HyperRAF: A Julia package for new hyper−radial functions

Autoři: Bağcı, A. Aucar, G.A.

Témata: Coulomb potential, Bi−directional method, Hyper−radial functions, Laplace expansion, Non−integer Slater−type orbitals, Algebra, Computer programming languages, Electric fields, Electrons, Function evaluation, Laplace transforms, Quantum theory, Bi-directional, Geometric functions, Higher transcendental functions, Hyper−radial function, Laplace expansions, Non−integer slater−type orbital, Radial functions, Slater-type orbitals, Quantum chemistry

Relation: Computer Physics Communications; Makale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı; https://hdl.handle.net/11499/56069; http://dx.doi.org/10.1016/j.cpc.2023.108990; 295; WOS:001111374000001

Dostupnost: https://hdl.handle.net/11499/56069
https://doi.org/10.1016/j.cpc.2023.108990

Fully Abstract Normal Form Bisimulation for Call-by-Value PCF ; 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Autoři: Koutavas, Vasileios Lin Hou, Yu Science Foundation Ireland (SFI) a další

Přispěvatelé: Koutavas, Vasileios Lin Hou, Yu Science Foundation Ireland (SFI) a další

Témata: PCF, Biosimulation, Computer Programming Languages, Formal (i.e. mathematical) Methods In Computer Science, Formal Methods, Formal Semantics, Program Equivalence, Program Verification

Popis souboru: application/pdf

Relation: Y; http://hdl.handle.net/2262/103829; http://people.tcd.ie/vkoutav; http://people.tcd.ie/linhouy; 258371; http://dx.doi.org/10.1109/LICS56636.2023.10175778

Dostupnost: http://hdl.handle.net/2262/103829
http://people.tcd.ie/vkoutav
http://people.tcd.ie/linhouy
https://doi.org/10.1109/LICS56636.2023.10175778

An Operational Semantics for Yul ; Lecture Notes in Computer Science ; Software Engineering and Formal Methods. SEFM 2024

Autoři: Koutavas, Vasileios Lin Hou, Yu Madeira, Alexandre and Knapp, Alexander a další

Přispěvatelé: Koutavas, Vasileios Lin Hou, Yu Madeira, Alexandre and Knapp, Alexander a další

Témata: Yul, Ethereum, Operational semantics, Programming lan- guages, Formal methods, Blockchain, Computer Programming Languages, Computer Science, Software Engineering

Popis souboru: application/pdf

Relation: 15280; Y; https://hdl.handle.net/2262/111298; http://people.tcd.ie/vkoutav; http://people.tcd.ie/linhouy; 276010

Dostupnost: https://hdl.handle.net/2262/111298
http://people.tcd.ie/vkoutav
http://people.tcd.ie/linhouy
https://doi.org/10.1007/978-3-031-77382-2_19

COMPUTERIZATION OF PHARMACY SYSTEM IN C# PROGRAMMING LANGUAGE

Autoři: Ergashov Asliddin Otabek O'g'li. Xakimov Shoyatbek

Témata: C#, computer, programming languages, MO, operator, Pascal, Java, Microsoft, pharmacy, Login, Label, panel, module, reports, customization

Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity

Autoři: JIAO, Jiao KAN, Shuanglong LIN, Shang Wei a další

Zdroj: 2020 IEEE Symposium on Security and Privacy (SP). :1695-1712

Témata: Computer programming languages, Ethereum, Finance and Financial Management, 1. No poverty, 0202 electrical engineering, electronic engineering, information engineering, Software Engineering, 02 engineering and technology, Bitcoin

Popis souboru: application/pdf

Přístupová URL adresa: https://ieeexplore.ieee.org/ielx7/9144328/9152199/09152785.pdf
https://ink.library.smu.edu.sg/sis_research/5968/
http://ink.library.smu.edu.sg/sis_research/5968/
https://dblp.uni-trier.de/db/conf/sp/sp2020.html#JiaoK0S0020
https://ink.library.smu.edu.sg/cgi/viewcontent.cgi?article=6971&context=sis_research
https://www.computer.org/csdl/proceedings-article/sp/2020/349700b265/1j2LggQlkvm
https://ieeexplore.ieee.org/document/9152785/

Empezando a visualizar datos con R y ggplot2

Autoři: Julio César Alonso Cifuentes Maria Fernanda Largo

Témata: Statistics - Data processing, Estadística, id.loc.gov/authorities/subjects/sh86007767 [http], Big data analytics, Lenguajes de programación, Big data, Databases, Computer Programming languages, Lenguaje de programación, Lenguaje estadístico, Y20 Introductory material, Estadística - Procesamiento de datos, vocabularies.unesco.org/thesaurus/concept119 [http], L86 Computer software, R (Lenguaje de programación de computadores), Statistics, Introducción, Programming languages, Data bases, Base de datos, vocabularies.unesco.org/thesaurus/concept6007 [http], Bases de datos, Statistical data, id.loc.gov/authorities/subjects/sh85127583 [http], id.loc.gov/authorities/subjects/sh2002004407 [http], R (Computer program language), vocabularies.unesco.org/thesaurus/concept501 [http], Datos estadísticos, id.loc.gov/authorities/subjects/sh2012003227 [http], Computer languages

Popis souboru: 94 páginas; Digital; pdf; application/pdf

Empezando a transformar bases de datos con R y dplyr

Autoři: Julio César Alonso Cifuentes

Témata: Statistics - Data processing, Estadística, id.loc.gov/authorities/subjects/sh86007767 [http], Big data analytics, Lenguajes de programación, Big data, Databases, Computer Programming languages, Lenguaje de programación, Lenguaje estadístico, Y20 Introductory material, Estadística - Procesamiento de datos, vocabularies.unesco.org/thesaurus/concept119 [http], R (Lenguaje de programación de computadores), Statistics, Introducción, Programming languages, Data bases, L86 Computer Software, Base de datos, vocabularies.unesco.org/thesaurus/concept6007 [http], Bases de datos, Statistical data, id.loc.gov/authorities/subjects/sh85127583 [http], id.loc.gov/authorities/subjects/sh2002004407 [http], R (Computer program language), vocabularies.unesco.org/thesaurus/concept501 [http], Datos estadísticos, id.loc.gov/authorities/subjects/sh2012003227 [http], Computer languages

Popis souboru: 60 páginas; Digital; pdf; application/pdf

Přístupová URL adresa: http://repository.icesi.edu.co/biblioteca_digital/handle/10906/94249

Empezando a usaR. Una guía paso a paso

Autoři: Julio César Alonso Cifuentes Maria Paula Ocampo

Témata: Statistics - Data processing, Estadística, id.loc.gov/authorities/subjects/sh86007767 [http], Big data analytics, Lenguajes de programación, Big data, Databases, Computer Programming languages, Lenguaje de programación, Lenguaje estadístico, Y20 Introductory material, Estadística - Procesamiento de datos, vocabularies.unesco.org/thesaurus/concept119 [http], R (Lenguaje de programación de computadores), Statistics, Introducción, Programming languages, Data bases, L86 Computer Software, Base de datos, vocabularies.unesco.org/thesaurus/concept6007 [http], Bases de datos, Statistical data, id.loc.gov/authorities/subjects/sh85127583 [http], id.loc.gov/authorities/subjects/sh2002004407 [http], R (Computer program language), vocabularies.unesco.org/thesaurus/concept501 [http], Datos estadísticos, id.loc.gov/authorities/subjects/sh2012003227 [http], Computer languages

Popis souboru: 110 páginas; Digital; pdf; application/pdf

Přístupová URL adresa: http://repository.icesi.edu.co/biblioteca_digital/handle/10906/94248

Studying expert initial set and hard to map cases in automated code-to-architecture mappings

Autoři: Olsson, Tobias Ericsson, Morgan, Docent Wingkvist, Anna, PhD

Zdroj: Companion Proceedings of the 15th European Conference on Software Architecture CEUR Workshop Proceedings.

Témata: Naive Bayes, Orphan Adoption, Software Architecture, Source Code Clustering, Computer programming languages, Mapping, Automatic mapping, Clusterings, Ground truth, Human expert, Performance, Refactorings, Source codes, Classifiers, Software Technology, Programvaruteknik

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-112596

Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs

Autoři: De Angelis E Fioravanti F Palacios A a další

Zdroj: 5th Workshop on Horn Clauses for Verification and Synthesis, pp. 19–26, Oxford, 13/07/2018
info:cnr-pdr/source/autori:De Angelis, E.; Fioravanti, F.; Palacios, A.; Pettorossi, A.; Proietti, M./congresso_nome:5th Workshop on Horn Clauses for Verification and Synthesis/congresso_luogo:Oxford/congresso_data:13%2F07%2F2018/anno:2018/pagina_da:19/pagina_a:26/intervallo_pagine:19–26
Electronic Proceedings in Theoretical Computer Science, Vol 278, Iss Proc. HCVS 2018, Pp 19-26 (2018)

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, D.2.5, D.2.4, QA75.5-76.95, Erlang, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Computer programming languages, Errors, Logic programming, Model checking, Bounded Verification, F.3.1, Mathematics, Programming Languages (cs.PL)

Popis souboru: application/pdf

Přístupová URL adresa: https://arxiv.org/pdf/1809.04770
http://arxiv.org/abs/1809.04770
http://www.cnr.it/prodotto/i/395911
https://publications.cnr.it/doc/395911
https://doaj.org/article/a8ab9ef371784e27a7bbad553f0ff509
http://ui.adsabs.harvard.edu/abs/2018arXiv180904770D/abstract
https://arxiv.org/abs/1809.04770
https://arxiv.org/pdf/1809.04770v1
https://hdl.handle.net/20.500.14243/350290

A Semantic Account of Rigorous Simulation

Autoři: Duracz, Adam Moggi, Eugenio Taha, Walid a další

Zdroj: Principles of Modeling Lecture Notes In Computer Science. :223-239

Témata: Correctness, Programming languages, Reachability analysis, Computer programming languages, Embedded systems, Hybrid systems, Semantics, Simulators, Denotational semantics, General method, Non Determinism, Operational semantics, Rigorous simulation, Safety property, Uncertainty analysis

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-38736

Implementation of a Low Cost Prototype for Electrical Impedance Tomography based on the Integrated Circuit for Body Composition Measurement AFE4300

Autoři: Mosquera, V.H. Arregui, A. Bragós Bardia, Ramon a další

Přispěvatelé: Mosquera, V.H. Arregui, A. Bragós Bardia, Ramon a další

Zdroj: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname

Témata: Reconstruction software, Electric impedance tomography, Tomografia d'impedància elèctrica, Bluetooth communications, Electric impedance, Biomedical signal processing, Electric impedance measurement, Impedance spectroscopy, Integrated circuits, Espectroscòpia d'impedància, 02 engineering and technology, Electrical impe dance tomography (EIT), Biochemistry, Phantoms, Computer programming languages, 03 medical and health sciences, 0302 clinical medicine, Timing circuits, 0202 electrical engineering, electronic engineering, information engineering, Fluorine compounds, Conductivity distributions, Electrodes, Application programs, Signal to noise ratio, Enginyeria elèctrica [Àrees temàtiques de la UPC], Àrees temàtiques de la UPC::Enginyeria elèctrica, Conductivity variation, Conductivity distribution, Costs, Tanks (containers), National Instruments, Electrical impedance tomography, Image reconstruction, Electronic medical equipment, Electrical conductivity distribution, Biomedical engineering

Popis souboru: application/pdf

Přístupová URL adresa: http://hdl.handle.net/2117/123197
https://dblp.uni-trier.de/db/conf/biostec/biodevices2018.html#MosqueraABR18
https://upcommons.upc.edu/bitstream/2117/123197/1/BIODEVICES_2018_8.pdf
https://upcommons.upc.edu/handle/2117/123197
https://hdl.handle.net/2117/123197
https://doi.org/10.5220/0006554901210127

Student Ability for Learning Computer Programming Languages in Primary Schools

Autoři: Karzan WAKIL Shanaz KHDIR Lava SABIR a další

Zdroj: Volume: 3, Issue: 6 109-115
International e-Journal of Educational Studies

Témata: Eğitim Üzerine Çalışmalar, 4. Education, 05 social sciences, Studies on Education, Learning programming, educational technology, computer programming languages, 0503 education

Popis souboru: application/pdf

Přístupová URL adresa: https://dergipark.org.tr/en/download/article-file/761876
https://dergipark.org.tr/en/download/article-file/761876
https://dergipark.org.tr/en/pub/iejes/issue/47905/591938
https://dergipark.org.tr/tr/pub/iejes/issue/47905/591938

An implementation method for the supervisory control of time-driven systems applied to high-voltage direct current transmission grids

Autoři: Romero-Rodríguez, Miguel Delpoux, Romain Piétrac, Laurent a další

Přispěvatelé: Romero-Rodríguez, Miguel Delpoux, Romain Piétrac, Laurent a další

Zdroj: Control Engineering Practice. 82:97-107

Témata: Computer programming languages, Supervisory control theoryControl implementation, 0209 industrial biotechnology, Discrete event systems, [SPI.NRJ]Engineering Sciences [physics]/Electric power, 0202 electrical engineering, electronic engineering, information engineering, HVDC transmission systems, 02 engineering and technology, 7. Clean energy, EMTP-RV, [SPI.NRJ] Engineering Sciences [physics]/Electric power

Přístupová URL adresa: https://hal.archives-ouvertes.fr/hal-01899878
https://www.sciencedirect.com/science/article/pii/S0967066118306270

MONDO: Scalable Modelling and Model Management on the Cloud

Thesis Advisors: UAM. Departamento de Ingeniería Informática, Modelado e Ingeniería del Software (ING EPS-013)

Zdroj: PS-STAF 2015 Projects Showcase @ STAF 2015: Proceedings of the Projects Showcase, part of the Software Technologies: Applications and Foundations 2015 federation of conferences (STAF 2015). Ed. Marco Autili, Tom Ritter, Andrey Sadovykh, Massimo Tivoli. CEUR Workshop Proceedings. Volume 1400, 2015. 44-53
44
53
1400

Témata: Application programs, Computer programming languages, Problem oriented languages, Scalability Domain specific languages, Indexing and retrieval, Large models, Model elements, Model management, Scalable Modelling, State of the art, Modeling languages, Informática

Přístupová URL adresa: http://hdl.handle.net/10486/675263

MONDO: Scalable Modelling and Model Management on the Cloud

Thesis Advisors: UAM. Departamento de Ingeniería Informática, Modelado e Ingeniería del Software (ING EPS-013)

Zdroj: STAF16-DS-PS 2016 STAF 2016 Doctoral Symposium and Projects Showcase: Joint Proceedings of the Doctoral Symposium and Projects Showcase Held as Part of STAF 2016 co-located with Software Technologies: Applications and Foundations (STAF 2016). Ed. Catherine Dubois, Francesco Parisi-Presicce, Dimitris Kolovos, Nicholas Matragkas. CEUR Workshop Proceedings. Volume 1675, 2016. 55-64
55
64
1675

Témata: Application programs, Computer programming languages, Problem oriented languages, Scalability Domain specific languages, Indexing and retrieval, Large models, Model elements, Model management, Scalable Modelling, State of the art, Modeling languages, Informática

Přístupová URL adresa: http://hdl.handle.net/10486/675248