Výsledky vyhledávání - ((((programme OR program) OR program) OR programovací) OR programovanie) systems informatik

Unveil in OpenBSD: The Unveil system call, it's use in Programs, and new semantics for it

Autoři: Bob Beck Kompetenzzentrum für nicht-textuelle Materialien

Přispěvatelé: Bob Beck Kompetenzzentrum für nicht-textuelle Materialien

Témata: Computer Science, Studienbereich Informatik, Ingenieurwissenschaften

Relation: https://av.tib.eu/media/45172

Dostupnost: https://av.tib.eu/media/45172

Advancing program representation and leveraging big code for automatic program transformation

Autoři: Chen, Binger

Témata: big code, automatic program transformation, code translation, code stylization, program representation, 000 Informatik, Informationswissenschaft, allgemeine Werke::000 Informatik, Wissen, Systeme::004 Datenverarbeitung, Informatik

Modelling to Program

Autoři: Ajantha Dahanayake Oscar Pastor Bernhard Thalheim

Resource Type: eBook.

Témata: Software engineering, Computer programming, Compilers (Computer programs), Computer systems

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Architecture, COMPUTERS / Programming / General, COMPUTERS / Hardware / General

Designing a GDPR-Compliant and Usable Privacy Dashboard

Autoři: Raschke, Philip Küpper, Axel Drozd, Olha a další

Témata: 000 Informatik, Informationswissenschaft, allgemeine Werke::000 Informatik, Wissen, Systeme::004 Datenverarbeitung, Informatik, Systeme::005 Computerprogrammierung, Programme, Daten, systems and data security, security, computers and society, user interfaces, artificial intelligence, computer systems organization, communication networks, human computer interaction

Popis souboru: application/pdf

Dostupnost: https://depositonce.tu-berlin.de/handle/11303/23149
https://doi.org/10.14279/depositonce-21962

Keeping safety-critical programs alive when Linux isn’t able to: Using OP-TEE to deliver availability to applications in a Trusted Execution Environment.

Autoři: Tom Van Eyck N. N.

Přispěvatelé: Tom Van Eyck N. N.

Témata: Computer Science, Studienbereich Informatik, Ingenieurwissenschaften

Relation: https://av.tib.eu/media/61700

Dostupnost: https://av.tib.eu/media/61700

Smartphone Global Positioning System–Based System to Assess Mobility in Health Research: Development, Accuracy, and Usability Study

Autoři: Spang, Robert P. Haeger, Christine Mümken, Sandra A. a další

Témata: 000 Informatik, Informationswissenschaft, allgemeine Werke::000 Informatik, Wissen, Systeme::005 Computerprogrammierung, Programme, Daten, geographic information system, rehabilitation, prevention medicine, geoinformatics, out-of-home mobility

Popis souboru: application/pdf

Dostupnost: https://depositonce.tu-berlin.de/handle/11303/18538
https://doi.org/10.14279/depositonce-17347

Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems

Autoři: Simon Gregersen Kompetenzzentrum für nicht-textuelle Materialien

Přispěvatelé: Simon Gregersen Kompetenzzentrum für nicht-textuelle Materialien

Témata: distributed systems, separation logic, program verification, Computer Science, Studienbereich Informatik, Ingenieurwissenschaften

Relation: https://av.tib.eu/media/54927

Dostupnost: https://av.tib.eu/media/54927

Development of Data Archiving and Distribution System For the Philippines' LiDAR Program Using Object Storage Systems

Autoři: Ken Abryl Eleazar Salanio Kompetenzzentrum für nicht-textuelle Materialien

Přispěvatelé: Ken Abryl Eleazar Salanio Kompetenzzentrum für nicht-textuelle Materialien

Témata: Computer Science, Studienbereich Informatik, Ingenieurwissenschaften

Relation: https://av.tib.eu/media/32005

Dostupnost: https://av.tib.eu/media/32005

Voting Village - The DARPA SSITH Program at DEFCON

Autoři: Linton Salmon Kompetenzzentrum für nicht-textuelle Materialien

Přispěvatelé: Linton Salmon Kompetenzzentrum für nicht-textuelle Materialien

Témata: System Security Integrated Through Hardware (SSITH), Computer Science, Studienbereich Informatik, Ingenieurwissenschaften

Relation: https://av.tib.eu/media/48516

Dostupnost: https://av.tib.eu/media/48516

LARS: A Light-Augmented Reality System for Collective Robotics Interaction

Autoři: Raoufi, Mohsen

Témata: 000 Informatik, Informationswissenschaft, allgemeine Werke::000 Informatik, Wissen, Systeme::005 Computerprogrammierung, Programme, Daten, 600 Technik, Medizin, angewandte Wissenschaften::600 Technik::600 Technik, Technologie, angewandte Wissenschaften::600 Technik::607 Ausbildung, Forschung, verwandte Themen, collective robotics, multi-robot systems, extended reality (XR), augmented reality (AR), human-robot interaction

Popis souboru: application/md; application/zip

Dostupnost: https://depositonce.tu-berlin.de/handle/11303/25207
https://doi.org/10.14279/depositonce-24029

Enhancing information security awareness programs through collaborative learning

Autoři: ADAM FILIPPIDIS Thomas Lagkas Haralambos Mouratidis a další

Zdroj: European Conference on Games Based Learning

Témata: Information security awareness, Collaborative Learning, 4. Education, security assessment, Serious Games, 05 social sciences, 02 engineering and technology, 0502 economics and business, 0202 electrical engineering, electronic engineering, information engineering, Game-Based Learning, Multi-player Games, Systemvetenskap, informationssystem och informatik, computer security, Information Systems

Popis souboru: application/pdf

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

An open-source platform for knowledge sharing in the built environment ; Eine offene Wissensplattform für die Gebäudetechnik

Autoři: Rehmann, Felix Cudok, Falk Degner, Martin Tobias a další

Témata: 000 Informatik, Informationswissenschaft, allgemeine Werke::000 Informatik, Wissen, Systeme::005 Computerprogrammierung, Programme, Daten, built environment, energy systems, open source, open data, knowledge sharing platform, Gebäudetechnik, Energiesystem, Wissensplattform

Popis souboru: application/pdf

Dostupnost: https://depositonce.tu-berlin.de/handle/11303/23496
https://doi.org/10.14279/depositonce-22310

Debugging concurrency programs in Go

Autoři: Andrii Soldatenko Maartje Eyskens

Přispěvatelé: Andrii Soldatenko Maartje Eyskens

Témata: Computer Science, Studienbereich Informatik, Ingenieurwissenschaften

Relation: https://av.tib.eu/media/62050

Dostupnost: https://av.tib.eu/media/62050

Optimizing string usage in Go programs

Autoři: Matej Gera Kompetenzzentrum für nicht-textuelle Materialien

Přispěvatelé: Matej Gera Kompetenzzentrum für nicht-textuelle Materialien

Témata: Computer Science, Studienbereich Informatik, Ingenieurwissenschaften

Relation: https://av.tib.eu/media/62057

Dostupnost: https://av.tib.eu/media/62057

Partial program analysis for staged compilation systems.

Autoři: Anand, Aditya Thakur, Manas

Zdroj: Formal Methods in System Design; Apr2025, Vol. 65 Issue 1, p195-230, 36p

Témata: COST analysis, EVALUATORS, TRANSLATORS, COMPILERS (Computer programs), LIBRARIES