Search Results - acm: g.: mathematics of computing/g.4: matematika software/g.4.8: verification~

Message Chains for Distributed System Verification

Authors: Mora, Federico Desai, Ankush Polgreen, Elizabeth et al.

Source: Proceedings of the ACM on Programming Languages. 7(OOPSLA2)

Subject Terms: Theory Of Computation, Distributed Computing and Systems Software, Information and Computing Sciences, Software Engineering, Formal verification, distributed systems, message passing, Software engineering, Theory of computation, Numerical and computational mathematics

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/2053z0bw
https://escholarship.org/content/qt2053z0bw/qt2053z0bw.pdf

A Shift Selection Strategy for Parallel Shift-invert Spectrum Slicing in Symmetric Self-consistent Eigenvalue Computation

Authors: Williams-Young, David B Beckman, Paul G Yang, Chao

Source: ACM Transactions on Mathematical Software. 46(4)

Subject Terms: 46 Information and Computing Sciences (for-2020), 4601 Applied Computing (for-2020), Eigenvalues, parallel eigenvalue algorithms, self-consistent field, shift-invert spectrum slicing, math.NA, math.NA, cs.DC, cs.NA, physics.comp-ph, 0802 Computation Theory and Mathematics (for), 0806 Information Systems (for), Numerical & Computational Mathematics (science-metrix), 4606 Distributed computing and systems software (for-2020), 4613 Theory of computation (for-2020), 4901 Applied mathematics (for-2020)

Access URL: https://escholarship.org/uc/item/8wq6g5t4

KREDITRENDSZERŰ KÉPZÉSEK MINTATANTERVEINEK ÉS ELŐTANULMÁNYI HÁLÓINAK ELEMZÉSE A HAZAI MATEMATIKA ALAPSZAKOK PÉLDÁJÁN.

Alternate Title: ANALYZING THE CURRICULA AND PREREQUISITE NETWORKS OF HUNGARIAN MATHEMATICS BSC PROGRAMS. (English)

Authors: JÚLIA, BERGMANN ROLAND, MOLONTAY MIHÁLY, SZABÓ et al.

Source: Alkalmazott matematikai lapok; 2020, Vol. 37 Issue 1, p13-49, 37p

Name Space Analysis: Verification of Named Data Network Data Planes

Authors: Jahanian, Mohammad Ramakrishnan, KK

Source: IEEE/ACM Transactions on Networking. 29(2)

Subject Terms: Theory Of Computation, Information and Computing Sciences, Tools, Aerospace electronics, Transfer functions, Data models, Analytical models, Topology, Real-time systems, Named data networks, network verification, Distributed Computing, Electrical and Electronic Engineering, Communications Technologies, Networking & Telecommunications, Communications engineering, Distributed computing and systems software

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/9w6426j2
https://escholarship.org/content/qt9w6426j2/qt9w6426j2.pdf

Software composition and verification for sensor networks

Authors: Völgyesi, Péter Maróti, Miklós Dóra, S. et al.

Source: Science of Computer Programming. 56:191-210

Subject Terms: 0209 industrial biotechnology, QA Mathematics / matematika, 0202 electrical engineering, electronic engineering, information engineering, QA72 Algebra / algebra, 02 engineering and technology, Software

File Description: text

Problems of computer science : Proceedings of the Joint workshop of Computer and Automation Institute of HAS and Computing Centre of Armenian Academy of Sciences : held in Budapest, September, 1987.

Contributors: Marandzhâna, G. B. Uhrin, Béla

Subject Terms: QA Mathematics / matematika, QA75 Electronic computers. Computer science / számítástechnika, QA76 Computer software / programozás

File Description: text

Relation: https://real-eod.mtak.hu/2160/1/SZTAKITanulmanyok_202.pdf; Marandzhâna, G. B. and Uhrin, Béla, eds. (1987) Problems of computer science : Proceedings of the Joint workshop of Computer and Automation Institute of HAS and Computing Centre of Armenian Academy of Sciences : held in Budapest, September, 1987. Tanulmányok (MTA SZTAKI) (202). MTA Számítástechnikai és Automatizálási Kutató Intézet, Budapest. ISBN 963-311-242-7

Availability: https://real-eod.mtak.hu/2160/

Kolmogorov and contemporary mathematics (Moscow, June 16-21, 2003) in commemoration of the centennial of Andrei Nikolaevich Kolmogorov (25.IV.1903-20.X.1987) : abstracts : international conference = Kolmogorov i sovremennaâ matematika (Moskva, 16-21 iûnâ 2003 g.) posvâŝennaâ 100-letiû so dnâ roždeniâ Andreâ Nikolaeviča Kolmogorova (25.IV.1903-20.X.1987) : tezisy dokladov : meždunarodnaâ konferenciâ / Russian Academy of Sciences (RAS), Moscow State University (MSU) = Rossijskaâ Akademiâ Nauk, Moskovskij Gosudarstvennyj Universitet im. M. V. Lomonosova ; organizing and scientific committee: Yu. S. Osipov, V. A. Sadovnichiy, A. N. Shiryaev, V. N. Chubarikov.
Kolmogorov i sovremennaâ matematika (Moskva, 16-21 iûnâ 2003 g.) posvâŝennaâ 100-letiû so dnâ roždeniâ Andreâ Nikolaeviča Kolmogorova (25.IV.1903-20.X.1987) : tezisy dokladov : meždunarodnaâ konferenciâ

Contributors: Osipov, Ûrij Sergeevič. Sadovničij, Viktor Antonovič (1939- ). Širâev, Al'bert Nikolaevič (1934- ). et al.

Source: Bibliografia przy niektórych pracach.

Access URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:4390549&theme=nukat

Generic Refinement Types

Authors: Lehmann, Nico Kurashige, Cole Akiti, Nikhil et al.

Source: Proceedings of the ACM on Programming Languages. 9(POPL)

Subject Terms: Information and Computing Sciences, Software Engineering, Software engineering, Theory of computation, Numerical and computational mathematics

Access URL: https://escholarship.org/uc/item/22k7q6h5

Analysis of Undergraduate Students' Metacognitive Ability in Mathematical Problemsolving using Cloud Classroom Blended Learning.

Authors: Anupan, Anuchit Chimmalee, Benjamas

Source: Anatolian Journal of Education; Apr2024, Vol. 9 Issue 1, p1-18, 18p

Subject Terms: UNDERGRADUATES, METACOGNITION, MATHEMATICS, CLOUD computing, PROBLEM solving

PENGEMBANGAN SOFTWARE BERHITUNG DALAM PEMBELAJARAN MATEMATIKA PADA MATERI BANGUN DATAR DAN BANGUN RUANG

Authors: SEPTIANI , LIA

Source: EDUTECH : Jurnal Inovasi Pendidikan Berbantuan Teknologi; Vol. 1 No. 3 (2021); 203-208 ; 2797-0140 ; 2797-0590 ; 10.51878/edutech.v1i3

Subject Terms: Mathematics Learning, Computing Software, Development

File Description: application/pdf

Relation: https://jurnalp4i.com/index.php/edutech/article/view/656/681; https://jurnalp4i.com/index.php/edutech/article/view/656

Availability: https://jurnalp4i.com/index.php/edutech/article/view/656

Systematic Literature Review: Analisis Kemampuan Berpikir Komputasi Siswa Menggunakan Software Matematika Geogebra

Authors: Cici Wulandari Sitorus Yahfizham Yahfizham

Source: Pendekar : Jurnal Pendidikan Berkarakter; Vol 2 No 3 (2024): Juni : Jurnal Pendidikan Berkarakter; 107-116 ; 2988-1129 ; 2988-0661 ; 10.51903/pendekar.v2i3

Subject Terms: Geogebra, Computing, Mathematics, Software

File Description: application/pdf

Relation: https://journal.politeknik-pratama.ac.id/index.php/Pendekar/article/view/736/700; https://journal.politeknik-pratama.ac.id/index.php/Pendekar/article/view/736/701

Availability: https://journal.politeknik-pratama.ac.id/index.php/Pendekar/article/view/736
https://doi.org/10.51903/pendekar.v2i3.736

VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems.

Authors: Adzkiya, Dieky Zhang, Yining Abate, Alessandro

Source: Discrete Event Dynamic Systems; Mar2016, Vol. 26 Issue 1, p109-145, 37p

OBRAZOVNI ALATI U NASTAVI MATEMATIKE. (Bosnian)

Alternate Title: EDUCATIONAL SOFTWARE IN TEACHING MATHEMATICS. (English)

Authors: Kovačević, Ivana Kostić Lukač, Duško Gavrilović, Jelena et al.

Source: Singidunum Journal of Applied Sciences; 2014 Supplement, p340-344, 5p

Pengembangan Mobile Game 'Slime Mathematics' menggunakan G-Develop Software sebagai media latihan soal UN SMA dengan memperhatikan 3 Level Kognitif Soal

Authors: Widyaningrum, Nur Aini

Subject Terms: Matematika, Media

File Description: text

Relation: http://digilib.uinsa.ac.id/30342/3/Nur%20Aini%20Widyaningrum_D74214039.pdf; Widyaningrum, Nur Aini (2019) Pengembangan Mobile Game "Slime Mathematics" menggunakan G-Develop Software sebagai media latihan soal UN SMA dengan memperhatikan 3 Level Kognitif Soal. Undergraduate thesis, UIN Sunan Ampel Surabaya.

Availability: http://digilib.uinsa.ac.id/30342/
http://digilib.uinsa.ac.id/30342/3/Nur%20Aini%20Widyaningrum_D74214039.pdf

Univariate Ore Polynomial Rings in Computer Algebra.

Authors: Abramov, S. A. Le, H. Q. Li, Z.

Source: Journal of Mathematical Sciences; Dec2005, Vol. 131 Issue 5, p5885-5903, 19p

Subject Terms: ALGORITHMS, POLYNOMIAL rings, ALGEBRA, MATHEMATICS, COMMUTATIVE rings

Uporaba evolucijskih algoritmov za preverjanje znanja iz matematike ; Using evolutionary algorithms for the verification of knowledge in mathematics

Authors: Gornik, Boštjan Črepinšek, Matej

Contributors: Gornik, Boštjan Črepinšek, Matej

Source: Maribor

Subject Terms: igra, matematika, aritmetični operatorji, evolucijski algoritem, libgdx, game, mathematics, arithmetic operators, evolutionary algorithm, info:eu-repo/classification/udc/004.8.021:51(043.2)

File Description: application/pdf

Relation: https://dk.um.si/IzpisGradiva.php?id=41846; https://dk.um.si/Dokument.php?id=58119&dn=; https://plus.si.cobiss.net/opac7/bib/17524758?lang=sl

Availability: https://dk.um.si/IzpisGradiva.php?id=41846
https://dk.um.si/Dokument.php?id=58119&dn=
https://plus.si.cobiss.net/opac7/bib/17524758?lang=sl

A design and verification methodology for secure isolated regions

Authors: Sinha, Rohit Costa, Manuel Lal, Akash et al.

Source: ACM SIGPLAN Notices. 51(6)

Subject Terms: Enclave Programs, Secure Computation, Confidentiality, Formal Verification, Software Engineering

Access URL: https://escholarship.org/uc/item/49f1638t

Hoareova logika ; Hoare's logic

Authors: Livaja, Petra Perić, Jurica

Contributors: Livaja, Petra Perić, Jurica

Subject Terms: PRIRODNE ZNANOSTI. Matematika. Matematička logika i računarstvo, NATURAL SCIENCES. Mathematics. Mathematical Logic and Accounting, IMP, provjera ispravnosti računalnog programa, aksiomatska semantika, potpunost i utemeljenost sustava dokaza, tvrdnje parcijalne korektnosti, software verification, axiomatic semantics, soundness and completeness of proof system, partial correctness assertions

File Description: application/pdf

Relation: https://repozitorij.svkst.unist.hr/islandora/object/pmfst:1184; https://urn.nsk.hr/urn:nbn:hr:166:264314; https://repozitorij.svkst.unist.hr/islandora/object/pmfst:1184/datastream/PDF

Availability: https://repozitorij.svkst.unist.hr/islandora/object/pmfst:1184
https://urn.nsk.hr/urn:nbn:hr:166:264314
https://repozitorij.svkst.unist.hr/islandora/object/pmfst:1184/datastream/PDF

Simulacija i topološka analiza vremenskih nizova za modele rasta pouzdanosti softvera – znanstveno istraživački projekt ; Simulation and Topological Analysis of Software Reliability Growth Model Time Series – Research Project

Authors: Burić, Alan Grbac, Neven

Contributors: Burić, Alan Grbac, Neven

Subject Terms: TEHNIČKE ZNANOSTI. Računarstvo. Obradba informacija, TECHNICAL SCIENCES. Computing. Data Processing, TEHNIČKE ZNANOSTI. Računarstvo. Programsko inženjerstvo, TECHNICAL SCIENCES. Computing. Program Engineering, PRIRODNE ZNANOSTI. Matematika. Geometrija i topologija, NATURAL SCIENCES. Mathematics. Geometry and Topology, PRIRODNE ZNANOSTI. Matematika. Matematička logika i računarstvo, NATURAL SCIENCES. Mathematics. Mathematical Logic and Accounting, model rasta pouzdanosti softvera, vremenski nizovi, simulacija, oblak točaka, topološka analiza podataka, topologija, perzistentna homologija, Vietoris-Ripsovi crtični kodovi perzistentnosti, udaljenost uskog grla, t-test, software reliability growth model, time series, simulation, point cloud, topological data analysis, topology, persistent homology, Vietoris-Rips persistence barcodes, bottleneck distance

File Description: application/pdf

Relation: https://zir.nsk.hr/islandora/object/unipu:10779; https://urn.nsk.hr/urn:nbn:hr:137:357274; https://zir.nsk.hr/islandora/object/unipu:10779/datastream/PDF

Availability: https://zir.nsk.hr/islandora/object/unipu:10779
https://urn.nsk.hr/urn:nbn:hr:137:357274
https://zir.nsk.hr/islandora/object/unipu:10779/datastream/PDF

Performanse alata za računanje perzistentne homologije u primjenama na pouzdanost softvera – znanstveno istraživački projekt ; Performance of Persistent Homology Tools in Software Reliability Applications – Research Project

Authors: Jovanović, Tin Nanndo Grbac, Neven

Contributors: Jovanović, Tin Nanndo Grbac, Neven

Subject Terms: TEHNIČKE ZNANOSTI. Računarstvo. Programsko inženjerstvo, TECHNICAL SCIENCES. Computing. Program Engineering, TEHNIČKE ZNANOSTI. Računarstvo. Obradba informacija, TECHNICAL SCIENCES. Computing. Data Processing, PRIRODNE ZNANOSTI. Matematika. Geometrija i topologija, NATURAL SCIENCES. Mathematics. Geometry and Topology, PRIRODNE ZNANOSTI. Matematika. Matematička logika i računarstvo, NATURAL SCIENCES. Mathematics. Mathematical Logic and Accounting, pouzdanost softvera, topološka analiza podataka, perzistentna homologija, pogreške i kvarovi softvera, vremenski nizovi, modeli rasta pouzdanosti softvera, software reliability, topological data analysis, persistent homology, software faults and failures, time series, software reliability growth models

File Description: application/pdf

Relation: https://zir.nsk.hr/islandora/object/unipu:10674; https://urn.nsk.hr/urn:nbn:hr:137:685202; https://zir.nsk.hr/islandora/object/unipu:10674/datastream/PDF

Availability: https://zir.nsk.hr/islandora/object/unipu:10674
https://urn.nsk.hr/urn:nbn:hr:137:685202
https://zir.nsk.hr/islandora/object/unipu:10674/datastream/PDF