المؤلفون: Gayratovich, Ergashev Nuriddin¹, Uktamovich, Shukurov Akmal², Erkinogli, Jabborov Elbek³

المصدر: ACADEMICIA: An International Multidisciplinary Research Journal 10(5):689-696. 2020

المؤلفون: qizi , Ibragimova Mohigul Komiljon, oʻgʻli , Xurramov Ruslan Erkin

المصدر: International Journal of Inclusive and Sustainable Education; Vol. 1 No. 6 (2022): INTERNATIONAL JOURNAL OF INCLUSIVE AND SUSTAINABLE EDUCATION ; 122-125 ; 2833-5414 ; 10.51699/ijise.v1i6

مصطلحات موضوعية: high-level programming languages, low-level programming languages, compiler

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

Relation: https://inter-publishing.com/index.php/IJISE/article/view/732/632

الاتاحة: https://inter-publishing.com/index.php/IJISE/article/view/732
https://doi.org/10.51699/ijise.v1i6.732

المؤلفون: Martins, Hugo M. S., Ferreira, Paulo J. S. G., Reis, Manuel J. C. S.

مصطلحات موضوعية: collaborative development, IoT, low‐level programming, remote laboratory, smart sensors

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

Relation: Computer Applications in Engineering Education; https://hdl.handle.net/10348/13065

الاتاحة: https://hdl.handle.net/10348/13065
https://doi.org/10.1002/cae.22478

المؤلفون: Brandl, Edenilson

مصطلحات موضوعية: Assembly x86 Optimization, Low-level Programming, Computational Speed, Real-time Signal Processing, Image Processing, Multithreading, Networking Protocols, Embedded Systems, Cryptographic Algorithms, Web Server Efficiency

Relation: https://doi.org/10.5281/zenodo.10420819; https://doi.org/10.5281/zenodo.10420820; oai:zenodo.org:10420820

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

المؤلفون: de Oliveira Rosa, Thatiane, Goldman, Alfredo

المصدر: Agile Processes in Software Engineering and Extreme Programming – Workshops

مصطلحات موضوعية: Linux kernel, Teaching challenges, Low-level programming, XP Lab, ComputingMilieux_COMPUTERSANDEDUCATION, Agile methods, Article

URL الوصول: https://explore.openaire.eu/search/publication?articleId=pmc_________::130d2281b8f05cbf5a74c92fce737cad
http://europepmc.org/articles/PMC7510804

المؤلفون: R. Raymond Lang, Theresa Beaubouef

المصدر: Journal of Systemics, Cybernetics and Informatics, Vol 10, Iss 1, Pp 85-88 (2012)

مصطلحات موضوعية: Machine Language, Assembly Language, simulator, Low Level Programming, Von Neumann Machine, Information technology, T58.5-58.64, Communication. Mass media, P87-96

وصف الملف: electronic resource

Relation: http://www.iiisci.org/Journal/CV$/sci/pdfs/HEA863MJ.pdf; https://doaj.org/toc/1690-4524

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

المؤلفون: Blazy, Sandrine, Laporte, Vincent, Pichardie, David

المساهمون: Software certification with semantic analysis (CELTIQUE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), ANR-11-INSE-0003,VERASCO,Vérification formelle d'analyseurs statiques et de compilateurs(2011)

المصدر: ISSN: 0168-7433.

مصطلحات موضوعية: Coq Proof Assistant, Abstract Interpretation, Low-level programming language, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

الاتاحة: https://inria.hal.science/hal-01243700
https://inria.hal.science/hal-01243700v1/document
https://inria.hal.science/hal-01243700v1/file/main.pdf
https://doi.org/10.1007/s10817-015-9359-8

المؤلفون: Oscar Karnalim

المصدر: International Journal of Computers and Applications. 43:566-576

مصطلحات موضوعية: Reverse engineering, Source code, Information retrieval, Computer science, media_common.quotation_subject, 020206 networking & telecommunications, 02 engineering and technology, computer.software_genre, Computer Graphics and Computer-Aided Design, Computer Science Applications, Structural representation, Hardware and Architecture, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Plagiarism detection, Low-level programming language, computer, Software, media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::321adf3526275baee616e9ad2e864596
https://doi.org/10.1080/1206212x.2019.1589944

المؤلفون: Gareth George, Rich Wolski, Chandra Krintz, Fatih Bakir

المصدر: SEC

مصطلحات موضوعية: 050101 languages & linguistics, Service (systems architecture), Computer science, business.industry, 05 social sciences, Cloud computing, 02 engineering and technology, Python (programming language), computer.software_genre, Runtime system, Resource (project management), 0202 electrical engineering, electronic engineering, information engineering, Operating system, Key (cryptography), 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, Programmer, business, computer, Low-level programming language, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::82db8a532224d1089c223d12a843cfe2
https://doi.org/10.1109/sec50012.2020.00035

المؤلفون: Mohamed Abdelrazek, Qiang He, John Hosking, Hourieh Khalajzadeh, Andrew J. Simmons, John Grundy

المصدر: VL/HCC

مصطلحات موضوعية: business.industry, End user, Computer science, Big data, 020207 software engineering, 02 engineering and technology, 010501 environmental sciences, 01 natural sciences, Data science, Data type, Data modeling, Domain (software engineering), Software, Analytics, 0202 electrical engineering, electronic engineering, information engineering, business, Low-level programming language, 0105 earth and related environmental sciences

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::fd6dccb088454ee465a4fee63d1d9ed9
https://doi.org/10.1109/vl/hcc50065.2020.9127196

المؤلفون: Sherif Sakr, Victor Aluko

المصدر: Cluster Computing. 22:1347-1377

مصطلحات موضوعية: SQL, Computer Networks and Communications, business.industry, Computer science, Big data, 020206 networking & telecommunications, 02 engineering and technology, Domain (software engineering), Set (abstract data type), Data model, Spark (mathematics), Scalability, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Software engineering, business, computer, Low-level programming language, Software, computer.programming_language, Declarative programming

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::83434907abb4b854e6e541387b9c43df
https://doi.org/10.1007/s10586-019-02914-4

المؤلفون: Tiago Oliveira, Adrien Koutsos, José B. Almeida, Pierre-Yves Strub, Vincent Laporte, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire

المساهمون: Institute for Systems and Computer Engineering, Technology and Science [Porto] (INESC TEC), Faculdade de Ciências da Universidade do Porto (FCUP), Universidade do Porto, Institute IMDEA Software [Madrid], Max Planck Institute for Security and Privacy [Bochum] (MPI Security and Privacy), Sûreté du logiciel et Preuves Mathématiques Formalisées (STAMP), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Laboratoire Spécification et Vérification (LSV), Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Proof techniques for security protocols (PESTO), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), Universidade do Porto = University of Porto, Universidade do Minho

المصدر: SP 2020-41st IEEE Symposium on Security and Privacy
SP 2020-41st IEEE Symposium on Security and Privacy, May 2020, San Francisco / Virtual, United States. pp.965-982, ⟨10.1109/SP40000.2020.00028⟩
IEEE Symposium on Security and Privacy

مصطلحات موضوعية: FOS: Computer and information sciences, Correctness, Computer Science - Cryptography and Security, Computer science, Cryptography, 02 engineering and technology, computer.software_genre, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], 0202 electrical engineering, electronic engineering, information engineering, Implementation, Equivalence (measure theory), computer.programming_language, Science & Technology, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Assembly language, Programming language, business.industry, Proof assistant, Formal equivalence checking, 020207 software engineering, Automated theorem proving, 020201 artificial intelligence & image processing, Compiler, business, Low-level programming language, computer, Cryptography and Security (cs.CR), Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b6f1cc4c35cb2796677a765c91ed1177
https://hal.univ-lorraine.fr/hal-02974993

المؤلفون: Ewan Crawford, Alastair Murray

المصدر: IWOCL

مصطلحات موضوعية: business.industry, Computer science, Interface (computing), Separation of concerns, Optimizing compiler, computer.software_genre, Abstraction layer, Programming paradigm, Compiler, Software engineering, business, Low-level programming language, computer, Implementation

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d2e4772b8a1293c5a3dcf5c08460e760
https://doi.org/10.1145/3388333.3388652

المؤلفون: David Chisnall

المصدر: Communications of the ACM. 61:44-48

مصطلحات موضوعية: Root (linguistics), 020303 mechanical engineering & transports, 0203 mechanical engineering, General Computer Science, Computer science, 0211 other engineering and technologies, 02 engineering and technology, Computer security, computer.software_genre, computer, Low-level programming language, 021106 design practice & management

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8b70ea73e61906d8027d36ab00836cdd
https://doi.org/10.1145/3209212

المؤلفون: Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Matthieu Lemerre, Lauren Mounier, Marie-Laure Potet

مصطلحات موضوعية: low-level programming, inline assembly, compilation issues, program analysis

Relation: https://doi.org/10.5281/zenodo.4601171; https://doi.org/10.5281/zenodo.4601172; oai:zenodo.org:4601172

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

المؤلفون: John H. Kelm, Daniel R. Johnson, Matthew R. Johnson, Neal C. Crago, William Tuohy, Aqeel Mahesri, Steven S. Lumetta, Matthew I. Frank, Sanjay J. Patel

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

المصدر: http://ipa.ece.illinois.edu/pub/Kelm-2009-ISCA.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors C.1.4 [Computer Systems Organization, Processor Architectures—Parallel Architectures General Terms Design, Performance Keywords Accelerator, Computer Architecture, Low-level programming

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.303.6792; http://ipa.ece.illinois.edu/pub/Kelm-2009-ISCA.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.303.6792
http://ipa.ece.illinois.edu/pub/Kelm-2009-ISCA.pdf

المؤلفون: Balogh, Ádám, Csörnyei, Zoltán

المصدر: Periodica Polytechnica Electrical Engineering (Archives); Vol. 51 No. 3-4 (2007); 85-97 ; 1587-3781 ; 0324-6000

مصطلحات موضوعية: System Programming, Low-level Programming, Object-oriented Programmig, Inheritance, Polymorphism, Predicate Classes, Predicate Dispatching

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

Relation: https://pp.bme.hu/ee/article/view/880/498; https://pp.bme.hu/ee/article/view/880

الاتاحة: https://pp.bme.hu/ee/article/view/880

المؤلفون: Yukiyoshi Kameyama, Junpei Oishi

المصدر: GPCE

مصطلحات موضوعية: Soundness, Multi-stage programming, Theoretical computer science, Computer science, Programming language, Program transformation, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Computer Graphics and Computer-Aided Design, Programming language implementation, Very high-level programming language, 010201 computation theory & mathematics, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Code generation, First-generation programming language, Programmer, computer, Low-level programming language, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9ae530a8ae4284b6d66fdcc0e3ed2fcb
https://doi.org/10.1145/3170492.3136049

المؤلفون: Travis Carlson, Eric Van Wyk, Ted Kaminski, Lucas Kramer

المصدر: Proceedings of the ACM on Programming Languages. 1:1-29

مصطلحات موضوعية: 020203 distributed computing, Programming language, Computer science, 020207 software engineering, 02 engineering and technology, Specification language, computer.software_genre, Language primitive, Universal Networking Language, High-level programming language, Programming language specification, 0202 electrical engineering, electronic engineering, information engineering, Data control language, Safety, Risk, Reliability and Quality, First-generation programming language, computer, Low-level programming language, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::cef63927d9127cda013562a053a9160c
https://doi.org/10.1145/3138224

المؤلفون: Kathryn S. McKinley, Todd Mytkowicz, Adrian Sampson

المصدر: Proceedings of the ACM on Programming Languages. 1:1-27

مصطلحات موضوعية: 010302 applied physics, Source code, business.industry, Computer science, Programming language, media_common.quotation_subject, Computer programming, 020207 software engineering, 02 engineering and technology, Dynamic compilation, computer.software_genre, 01 natural sciences, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, Programming paradigm, Reactive programming, Compiler, Safety, Risk, Reliability and Quality, business, Low-level programming language, computer, Software, media_common, Compile time

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d1d4b9bdd1897e9377838d406fd99dfa
https://doi.org/10.1145/3133895