Temat: "Program execution" - OpacWWW

Skocz do pozycji: 1.

Tytuł:: An Educational Setting to improve Students’ Understanding of Fundamental Computer Architecture Concepts
Autorzy:: Christina Kyriakou
Agoritsa Gogoulou
Maria Grigoriadou; Pokaż więcej
Temat:: Introductory Computer Science courses
Computer Architecture
Data Storage
Data Manipulation
main memory
program execution
Special aspects of education
LC8-6691
Źródło:: Informatics in Education, Vol 22, Iss 3, Pp 395-420 (2023)
Opis pliku:: electronic resource
Relacje:: https://doaj.org/toc/1648-5831; https://doaj.org/toc/2335-8971
Dostęp URL:: https://doaj.org/article/7f0655b1ea6041288c0340291c329351 Link otwiera się w nowym oknie

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Understanding the “this” reference in object oriented programming: Misconceptions, conceptions, and teaching recommendations
Autorzy:: Shmallo, Ronit
Ragonis, Noa; Pokaż więcej
Źródło:: Education and Information Technologies: The Official Journal of the IFIP Technical Committee on Education. 26(1):733-762

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Hardware-Assisted Program Execution Integrity: HAPEI
Autorzy:: Lashermes, Ronan
Le Bouder, Hélène
Thomas, Gaël; Pokaż więcej
Źródło:: Secure IT Systems : 23rd Nordic Conference, NordSec 2018, Oslo, Norway, November 28-30, 2018, Proceedings. 11252:405-420

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Modules for Teaching Parallel Performance Concepts
Autorzy:: Qasem, Apan; Pokaż więcej
Źródło:: Topics in Parallel and Distributed Computing : Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms. :59-77

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Working with the File and Operating System
Autorzy:: Kromann, Frank M.; Pokaż więcej
Źródło:: Beginning PHP and MySQL : From Novice to Professional. :271-307

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Secure execution environment for critical applications in embedded systems based on Elbrus family computing facilities
Autorzy:: T. R. Mustafin
A. I. Alekhin
E. M. Kravtsunov
B. O. Makaev; Pokaż więcej
Temat:: secure mode of program execution
elbrus architecture
uclibc-ng library
e4c/com processor module
linux kernel
lxc container
Electronics
TK7800-8360
Źródło:: Радиопромышленность, Vol 29, Iss 1, Pp 16-22 (2019)
Opis pliku:: electronic resource
Relacje:: https://www.radioprom.org/jour/article/view/385; https://doaj.org/toc/2413-9599; https://doaj.org/toc/2541-870X
Dostęp URL:: https://doaj.org/article/883242c2a9084c04b6b6c8d578b1a33d Link otwiera się w nowym oknie

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Software complex for modeling and optimization of program implementation on parallel calculation systems
Autorzy:: Bakanov Valery; Pokaż więcej
Temat:: graph algorithm presentations
analysis of information program structure
line-parallel form (lpf) of information graph
rational parameters for execution of parallel programs
strategy for constructing a rational plan for the parallel program execution
Electronic computers. Computer science
QA75.5-76.95
Źródło:: Open Computer Science, Vol 8, Iss 1, Pp 228-234 (2018)
Opis pliku:: electronic resource
Relacje:: https://doaj.org/toc/2299-1093
Dostęp URL:: https://doaj.org/article/767f7143fabe4e41b3c7876d0520d90e Link otwiera się w nowym oknie

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Using an Interactive Debugger
Autorzy:: Rother, Kristian; Pokaż więcej
Źródło:: Pro Python Best Practices : Debugging, Testing and Maintenance. :85-100

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Search drivers
Autorzy:: Krawiec, Krzysztof; Pokaż więcej
Źródło:: Behavioral Program Synthesis with Genetic Programming. 618:97-118

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Synthesizing programs with consistent execution traces
Autorzy:: Krawiec, Krzysztof; Pokaż więcej
Źródło:: Behavioral Program Synthesis with Genetic Programming. 618:67-75

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Measuring Time Usage
Autorzy:: Reus, Bernhard; Pokaż więcej
Źródło:: Limits of Computation : From a Programming Perspective. :151-160

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Basic Constructions
Autorzy:: Linge, SveinAff9, Aff10
Langtangen, Hans PetterAff9, Aff11; Pokaż więcej
Źródło:: Programming for Computations - MATLAB/Octave : A Gentle Introduction to Numerical Simulations with MATLAB/Octave. 14:25-46

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Ultimate Automizer with Two-track Proofs : (Competition Contribution)
Autorzy:: Heizmann, Matthias
Dietsch, Daniel
Greitschus, Marius
Leike, Jan
Musa, Betim
Schätzle, Claus
Podelski, Andreas; Pokaż więcej
Źródło:: Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. 9636:950-953

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Correct Audit Logging: Theory and Practice
Autorzy:: Amir-Mohammadian, Sepehr
Chong, Stephen
Skalka, Christian; Pokaż więcej
Źródło:: Principles of Security and Trust : 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings. 9635:139-162

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Selected Results and Related Issues of Confidentiality-Preserving Controlled Interaction Execution
Autorzy:: Biskup, Joachim; Pokaż więcej
Źródło:: Foundations of Information and Knowledge Systems : 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings. 9616:211-234

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Recovery Preparation
Autorzy:: Schagaev, Igor
Kaegi-Trachsel, Thomas; Pokaż więcej
Źródło:: Software Design for Resilient Computer Systems. :105-134

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Introducing the Xcode Debugger
Autorzy:: Bennett, Gary
Lees, Brad; Pokaż więcej
Źródło:: Swift 3 for Absolute Beginners. :237-250

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Building Control-Flow Integrity Defenses
Autorzy:: Davi, Lucas
Sadeghi, Ahmad-Reza; Pokaż więcej
Źródło:: Building Secure Defenses Against Code-Reuse Attacks. :27-54

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation
Autorzy:: Urban, Caterina
Miné, Antoine; Pokaż więcej
Źródło:: Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings. 8931:190-208

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Fairness Modulo Theory: A New Approach to LTL Software Model Checking
Autorzy:: Dietsch, Daniel
Heizmann, Matthias
Langenfeld, Vincent
Podelski, Andreas; Pokaż więcej
Źródło:: Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. 9206:49-66

Książka elektroniczna

na półce

Szczegóły

Informacja

Wyszukujesz frazę ""Program execution"" wg kryterium: Temat

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język