المؤلفون: Salwa Saad, Etimad Fadel, Ohoud Alzamzami, Fathy Eassa, Ahmed Mohammed Alghamdi

المصدر: IEEE Access, Vol 13, Pp 4171-4187 (2025)

مصطلحات موضوعية: Dual-level programming models, linear temporal logic, MPI, OpenMP, parallel computing, runtime errors, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/10820335/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/a52922994457450e8ba9928b5e47c122

المؤلفون: Piotr Gryszpanowicz, Natalia Gasik-Kowalska, Konrad J. Waluś

المصدر: Scientific Reports, Vol 14, Iss 1, Pp 1-18 (2024)

مصطلحات موضوعية: Road construction, Durability of the road surface, Acceptance of road surfaces, Road condition monitoring, Road safety, Runtime errors, Medicine, Science

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2045-2322

URL الوصول: https://doaj.org/article/113e220d2a564565af3567ad55ad2ea4

المؤلفون: Basloom, Huda Saleh, Dahab, Mohamed Yehia, Alghamdi, Ahmed Mohammed, Eassa, Fathy Elbouraey, Al-Ghamdi, Abdullah Saad Al-Malaise, Haridi, Seif, 1953

المصدر: IEEE Access. 10:117808-117826

مصطلحات موضوعية: Parallel programming, high-performance computing, OpenMP, OpenACC, deadlock, runtime errors, race condition, static testing, software testing, testing tools classifications, exascale systems, programming models

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-322203
https://doi.org/10.1109/ACCESS.2022.3219406

المؤلفون: Salwa Saad, Etimad Fadel, Ohoud Alzamzami, Fathy Eassa, Ahmed M. Alghamdi

المصدر: Computers, Vol 13, Iss 4, p 86 (2024)

مصطلحات موضوعية: dual-level programming models, Exascale computing, MPI, OpenMP, runtime errors, temporal logic, Electronic computers. Computer science, QA75.5-76.95

Relation: https://www.mdpi.com/2073-431X/13/4/86; https://doaj.org/toc/2073-431X; https://doaj.org/article/ff7d1c57f6d7417e8cb0dd63b91ce5c1

الاتاحة: https://doi.org/10.3390/computers13040086
https://doaj.org/article/ff7d1c57f6d7417e8cb0dd63b91ce5c1

المؤلفون: Bouvier, Dennis J*, Lovellette, Ellie, Santos, Eddie Antonio, Becker, Brett A., Dasigi, Venu G., Forden, Jack, Glebova, Olga, Joshi, Swaroop, Kurkovsky, Stan, Russell, Seán

المصدر: CompEd-2023, ACM Global Computing Education Conference, Hyderabad, India, 5-9 December 2023

مصطلحات موضوعية: programming error messages, novice programmers, computing education, error messages, runtime errors, warning messages, computer error messages

Relation: https://doi.org/10.1145/3598579.3689377; https://doi.org/10.5281/zenodo.13731141; https://doi.org/10.5281/zenodo.13731142; oai:zenodo.org:13731142

الاتاحة: https://doi.org/10.5281/zenodo.13731142

المؤلفون: Kästner, Daniel, Brockmeyer, Udo, Pister, Markus, Nenova, Stefana, Bienmüller, Tom, Dereani, Andreas, Ferdinand, Christian

المساهمون: AbsInt GmbH (Angewandte Informatik), AbsInt, BTC Embedded Systems AG

المصدر: ERTS 2014 proceedings ; Embedded real-time software and systems (ERTS² 2014) ; https://hal-onera.archives-ouvertes.fr/hal-02272100 ; Embedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France

مصطلحات موضوعية: model-based testing, static analysis, abstract interpretation, functional safety, worst-case execution time, worst-case stack usage, runtime errors, ISO 26262, DO 178B, DO 178C, certification, [INFO]Computer Science [cs], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

جغرافية الموضوع: TOULOUSE, France

Relation: hal-02272100; https://hal-onera.archives-ouvertes.fr/hal-02272100; https://hal-onera.archives-ouvertes.fr/hal-02272100/document; https://hal-onera.archives-ouvertes.fr/hal-02272100/file/ERTS_2014_submission_54.pdf

الاتاحة: https://hal-onera.archives-ouvertes.fr/hal-02272100
https://hal-onera.archives-ouvertes.fr/hal-02272100/document
https://hal-onera.archives-ouvertes.fr/hal-02272100/file/ERTS_2014_submission_54.pdf

المؤلفون: Siebert, Fridtjof

المساهمون: aicas GmbH

المصدر: ERTS 2008 proceedings ; Embedded Real Time Software and Systems (ERTS2008) ; https://hal.archives-ouvertes.fr/hal-02270265 ; Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France

مصطلحات موضوعية: program analysis, data-flow analysis, Java, Real-Time Specification for Java, context sensitive, pointer analysis, runtime errors, [INFO]Computer Science [cs], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems

جغرافية الموضوع: Toulouse, France

Relation: hal-02270265; https://hal.archives-ouvertes.fr/hal-02270265; https://hal.archives-ouvertes.fr/hal-02270265/document; https://hal.archives-ouvertes.fr/hal-02270265/file/ERTS2008_0066_paper.pdf

الاتاحة: https://hal.archives-ouvertes.fr/hal-02270265
https://hal.archives-ouvertes.fr/hal-02270265/document
https://hal.archives-ouvertes.fr/hal-02270265/file/ERTS2008_0066_paper.pdf

المؤلفون: VAN DEN BUSSCHE, Jan, VAN GUCHT, Dirk, VANSUMMEREN, Stijn

مصطلحات موضوعية: Computer science, runtime errors, well-definedness, type systems, typability, type inference, reflection, nested relational calculus, relational algebra, XQuery

وصف الملف: application/pdf

Relation: Libkin, Leonid (Ed.) Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. p. 143-154.; http://hdl.handle.net/1942/7736; 154; 143; http://doi.acm.org/10.1145/1265530.1265551

الاتاحة: http://hdl.handle.net/1942/7736
https://doi.org/10.1145/1265530.1265551

المؤلفون: Stijn Vansummeren

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://alpha.uhasselt.be/~lucg5855/papers/journal/jacm-Welldefinedness-trees.pdf.

مصطلحات موضوعية: General Terms, Verification, Theory, Languages Additional Key Words and Phrases, Runtime errors, well-definedness, XQuery

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.84.5023; http://alpha.uhasselt.be/~lucg5855/papers/journal/jacm-Welldefinedness-trees.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.84.5023
http://alpha.uhasselt.be/~lucg5855/papers/journal/jacm-Welldefinedness-trees.pdf

المؤلفون: Stefan Brass, Christian Goldberg

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://dbs.informatik.uni-halle.de/sqllint/qsic05.pdf.

مصطلحات موضوعية: Topics, Model Construction, Information Systems, Static Analysis, Software Quality. Keywords, SQL, Runtime Errors, Consistency

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.9756; http://dbs.informatik.uni-halle.de/sqllint/qsic05.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.9756
http://dbs.informatik.uni-halle.de/sqllint/qsic05.pdf

المؤلفون: Jesus, Galileu Santos de

المساهمون: Costa Neto, Alberto

المصدر: Repositório Institucional da UFS
Universidade Federal de Sergipe (UFS)
instacron:UFS

مصطلحات موضوعية: Erros de execução em python, Online judge, Tips for programming beginners, Teaching programming, Erros de sintaxe em python, Sintaxe de python, Computer programming, Runtime errors in python, CIENCIA DA COMPUTACAO [CIENCIAS EXATAS E DA TERRA], Juiz on-line, Ensino de programação, Programação de computadores, Dicas de programação para iniciantes, Syntax errors in phyton

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______3056::673ac3c3ee0d0335fe04c23d5e8c1578
http://ri.ufs.br/jspui/handle/riufs/10922

المؤلفون: Kästner, Daniel, Wilhelm, Stephan, Nenova, Stefana, Cousot, Patrick, Cousot, Radhia, Feret, Jérôme, Mauborgne, Laurent, Miné, Antoine, Rival, Xavier

المساهمون: AbsInt GmbH (Angewandte Informatik), AbsInt, Laboratoire d'informatique de l'école normale supérieure (LIENS), École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS), Abstract Interpretation and Static Analysis (ABSTRACTION), Département d'informatique de l'École normale supérieure (DI-ENS), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), AAAF, SEE, SIA, Laprie, J.C.

المصدر: Embedded real time software and systems - ERTS2 2010 ; https://hal.inria.fr/inria-00528600 ; Embedded real time software and systems - ERTS2 2010, AAAF, SEE, SIA, May 2010, Toulouse, France ; http://www.erts2010.org/Site/0ANDGY78/Fichier/PAPIERS%20ERTS%202010/ERTS2010_0024_final.pdf

مصطلحات موضوعية: Proof of absence of runtime errors, abstract interpretation, static C code analysis, DO-178B, ISO-26262, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

جغرافية الموضوع: Toulouse, France

Relation: inria-00528600; https://hal.inria.fr/inria-00528600

الاتاحة: https://hal.inria.fr/inria-00528600

المؤلفون: Chebaro, Omar

Thesis Advisors: Besançon, Julliand, Jacques, Giorgetti, Alain, Kosmatov, Nikolaï, Zaïdi, Fatiha

مصطلحات موضوعية: Analyse statique, Slicing, Test structurel, erreur à l’exécution, Génération de tests guidée par les alarmes, Bogue, Fausse alarme, Static analysis, Program slicing, All-paths test generation, Runtime errors, Alarm-guided test generation, Bugs, False positive, 004.6

الاتاحة: http://www.theses.fr/2011BESA2021/document

المؤلفون: Chebaro, Omar

المساهمون: STAR, ABES, Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre National de la Recherche Scientifique (CNRS), Université de Franche-Comté, Jacques Julliand, Alain Giorgetti, Nikolaï Kosmatov, Fatiha Zaïdi

المصدر: Autre [cs.OH]. Université de Franche-Comté, 2011. Français. ⟨NNT : 2011BESA2021⟩

مصطلحات موضوعية: Alarm-guided test generation, Analyse statique, Bogue, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], Fausse alarme, erreur à l’exécution, Static analysis, All-paths test generation, Génération de tests guidée par les alarmes, [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], Runtime errors, Test structurel, Bugs, Program slicing, False positive, Slicing

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::775c68a9e8be1dff9125e010ff2a3f48
https://theses.hal.science/tel-00839151

المؤلفون: HENNESSY, MATTHEW

مصطلحات موضوعية: Computer science, runtime errors

وصف الملف: 174-188

Relation: 16; 3; Matthew Hennessy and James Riely., Resource access control in systems of mobile agents (Extended Abstract)., Proceedings of 3rd International Workshop on High-Level Concurrent Languages, Proc. of 3rd International Workshop on High-Level Concurrent Languages (HLCL'98):, Nice, 16, 3, 1998, 174-188; Y; http://hdl.handle.net/2262/56483; http://people.tcd.ie/mcbhenne; 50982; http://dx.doi.org/10.1016/S1571-0661(04)00141-0

الاتاحة: http://hdl.handle.net/2262/56483
http://people.tcd.ie/mcbhenne
https://doi.org/10.1016/S1571-0661(04)00141-0

المؤلفون: Chebaro, Omar

المساهمون: Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC), Université de Franche-Comté, Jacques Julliand, Alain Giorgetti, Nikolaï Kosmatov, Fatiha Zaïdi

المصدر: https://theses.hal.science/tel-00839151 ; Autre [cs.OH]. Université de Franche-Comté, 2011. Français. ⟨NNT : 2011BESA2021⟩.

مصطلحات موضوعية: Static analysis, Program slicing, All-paths test generation, Runtime errors, Alarm-guided test generation, Bugs, False positive, Analyse statique, Slicing, Test structurel, erreur à l’exécution, Génération de tests guidée par les alarmes, Bogue, Fausse alarme, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Relation: NNT: 2011BESA2021; tel-00839151; https://theses.hal.science/tel-00839151; https://theses.hal.science/tel-00839151/document; https://theses.hal.science/tel-00839151/file/these_A_CHEBARO_Omar_2011.pdf

الاتاحة: https://theses.hal.science/tel-00839151
https://theses.hal.science/tel-00839151/document
https://theses.hal.science/tel-00839151/file/these_A_CHEBARO_Omar_2011.pdf

المؤلفون: Chebaro, Omar

المساهمون: Besançon, Julliand, Jacques, Giorgetti, Alain, Kosmatov, Nikolaï, Zaïdi, Fatiha

مصطلحات موضوعية: Analyse statique, Slicing, Test structurel, erreur à l’exécution, Génération de tests guidée par les alarmes, Bogue, Fausse alarme, Static analysis, Program slicing, All-paths test generation, Runtime errors, Alarm-guided test generation, Bugs, False positive, 004.6

Relation: http://www.theses.fr/2011BESA2021/document

الاتاحة: http://www.theses.fr/2011BESA2021/document

المؤلفون: Mordechai (Moti) Ben-Ari

مصطلحات موضوعية: compilation, exceptions, Java, runtime errors

Relation: http://cnx.org/content/col10913/latest/

الاتاحة: http://cnx.org/content/col10913/latest/

المؤلفون: Daniel Kästner, Stephan Wilhelm, Stefana Nenova, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.di.ens.fr/%7Emine/publi/kastner-al-erts10.pdf.

مصطلحات موضوعية: Proof of absence of runtime errors, abstract interpretation, static C code analysis, DO- 178B, ISO-26262

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.172.7173; http://www.di.ens.fr/%7Emine/publi/kastner-al-erts10.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.172.7173
http://www.di.ens.fr/%7Emine/publi/kastner-al-erts10.pdf

المؤلفون: German, Steven M.

المساهمون: STANFORD UNIV CA DEPT OF COMPUTER SCIENCE

المصدر: DTIC AND NTIS

مصطلحات موضوعية: Computer Programming and Software, COMPUTER PROGRAMMING, ERROR ANALYSIS, COMPUTER PROGRAM VERIFICATION, COMPUTER PROGRAMS, ALGORITHMS, PROGRAMMING LANGUAGES, COMPILERS, THEOREMS, PASCAL PROGRAMMING LANGUAGE, RUNCHECK COMPUTER PROGRAM, RUNTIME ERRORS

وصف الملف: text/html

Relation: http://www.dtic.mil/docs/citations/ADA109433

الاتاحة: http://www.dtic.mil/docs/citations/ADA109433
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA109433