Výsledky vyhledávání - Computer Science with specialization in Embedded Systems

Types and Time: Languages, Tools, and Methods for Reliable Systems Engineering

Autoři: Huber, Nikolaus Wang, Yi, Professor Bourke, Timothy, Professor

Přispěvatelé: Huber, Nikolaus Wang, Yi, Professor Bourke, Timothy, Professor

Zdroj: Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology.

Témata: embedded systems, real-time systems, programming language design, testing, dynamic verification, OCaml, graph rewriting, interaction nets, Datavetenskap med inriktning mot inbyggda system, Computer Science with specialization in Embedded Systems

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-570474
https://uu.diva-portal.org/smash/get/diva2:2009087/FULLTEXT01.pdf

Transformations for Verifying Programs with Heap-Allocated Data Structures

Autoři: Esen, Zafer Rümmer, Philipp Weber, Tjark a další

Přispěvatelé: Esen, Zafer Rümmer, Philipp Weber, Tjark a další

Zdroj: Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology.

Témata: program verification, formal verification, constrained horn clauses, heaps, heap-allocated data structures, theory of heaps, program transformation, formal methods, smt, smt-lib, program instrumentation, Datavetenskap med inriktning mot inbyggda system, Computer Science with specialization in Embedded Systems

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-554456
https://uu.diva-portal.org/smash/get/diva2:1952212/FULLTEXT01.pdf

TunnelLiFi: Bringing LiFi to Commodity Internet of Things Devices

Autoři: Sarmad Mir, Muhammad Yan, Wenqing, Ph.D. Student Dutta, Prabal a další

Zdroj: HotMobile '23. :1-7

Témata: Electrical Engineering with Specialisation in Networked Embedded Systems, Elektroteknik med inriktning mot nätverksbaserade inbyggda system, Datavetenskap med inriktning mot inbyggda system, Computer Science with specialization in Embedded Systems

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-509605
https://doi.org/10.1145/3572864.3580327

Reducing Trust Assumptions with OSCORE, RISC-V, and Layer 2 One-Time Passwords

Autoři: Krentz, Konrad-Felix Voigt, Thiemo

Zdroj: Foundations and Practice of Security Lecture Notes in Computer Science (LNCS). :389-405

Témata: IoT security, trusted execution environment, denial of sleep, remote attestation, Datavetenskap med inriktning mot inbyggda system, Computer Science with specialization in Embedded Systems

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-488385
https://uu.diva-portal.org/smash/get/diva2:1710826/FULLTEXT01.pdf

Keep it cool and in time: With runtime monitoring to thermal-aware execution speeds for deadline constrained systems

Autoři: Lampka, Kai Forsberg, Björn Spiliopoulos, Vasileios

Zdroj: Journal of Parallel and Distributed Computing. 95:79-91

Témata: Real-time computing, Multicore architectures, Dynamic Voltage Frequency Scaling, Dynamic power and temperature management, Run-time monitoring, Online real-time scheduling, Datavetenskap med inriktning mot inbyggda system, Computer Science with specialization in Embedded Systems

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-283423

A Hybrid Approach to Cyber-Physical Systems Verification

Autoři: Kumar, Pratyush Goswami, Dip Chakraborty, Samarjit a další

Zdroj: COMBEST Proc. 49th Design Automation Conference. :688-696

Témata: Cyber-Physical Systems, Frequency-Delay Metric, Stability, Real-Time Calculus, Timed-Automata, Datavetenskap med inriktning mot inbyggda system, Computer Science with specialization in Embedded Systems

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-174455
https://uu.diva-portal.org/smash/get/diva2:527106/FULLTEXT02.pdf

Dependable Embedded Systems

Autoři: Jörg Henkel Nikil Dutt

Resource Type: eBook.

Témata: Computer engineering, Electronic circuits, Embedded computer systems, Internet of things, Microprocessors

Categories: TECHNOLOGY & ENGINEERING / Electronics / Circuits / General, COMPUTERS / Computer Architecture, COMPUTERS / Cybernetics, TECHNOLOGY & ENGINEERING / Electronics / General

Component-based system design: analytic real-time interfaces for state-based component implementations

Autoři: Lampka, Kai Perathoner, Simon Thiele, Lothar

Zdroj: CERTAINTY COMBEST UPMARC International Journal on Software Tools for Technology Transfer. 15(3):155-170

Témata: Datavetenskap med inriktning mot inbyggda system, Computer Science with specialization in Embedded Systems

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-183815

Uncovering the skillsets required in computer science jobs using social network analysis.

Autoři: Maghsoudi, Mehrdad

Zdroj: Education & Information Technologies; 2024, Vol. 29 Issue 10, p12759-12780, 22p

Témata: COMPUTER science, SOCIAL network analysis, PROFESSIONAL employees, ADVERTISING, INFRASTRUCTURE (Economics)

Quantifiers and Theories: A Lazy Approach

Autoři: Backeman, Peter Rümmer, Philipp Jiang, Jie-Hong Roland, Professor

Přispěvatelé: Backeman, Peter Rümmer, Philipp Jiang, Jie-Hong Roland, Professor

Zdroj: Uppsala Dissertations from the Faculty of Science and Technology.

Témata: Automated Reasoning, Automated Theorem Proving, SMT, Unification, Datavetenskap med inriktning mot inbyggda system, Computer Science with specialization in Embedded Systems

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-395985
https://uu.diva-portal.org/smash/get/diva2:1366312/FULLTEXT01.pdf

Model-Based Engineering of Collaborative Embedded Systems

Autoři: Wolfgang Böhm Manfred Broy Cornel Klein a další

Resource Type: eBook.

Témata: Management information systems, Embedded computer systems

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / Project Management, TECHNOLOGY & ENGINEERING / Automotive

Embedded Computer Systems: Architectures, Modeling, and Simulation : 23rd International Conference, SAMOS 2023, Samos, Greece, July 2–6, 2023, Proceedings

Autoři: Cristina Silvano Christian Pilato Marc Reichenbach

Resource Type: eBook.

Témata: Computer systems, Microprogramming, Software engineering, Computer input-output equipment

Categories: COMPUTERS / Computer Architecture, COMPUTERS / Data Transmission Systems / Electronic Data Interchange, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Using Web 2.0 Technologies for Teaching Technical Courses.

Autoři: Bogdan, R. Pop, N. Holotescu, C.

Zdroj: AIP Conference Proceedings; 2019, Vol. 2071 Issue 1, p050003-1-050003-6, 6p, 1 Diagram, 2 Charts, 4 Graphs

Témata: TECHNICAL education, COMPUTER science education, EMBEDDED computer systems, WEB 2.0, INTERNET of things, COMPUTERS in education

Embedded Systems : Design, Programming and Applications

Autoři: Ganguly, A. K.

Resource Type: eBook.

Témata: Embedded computer systems

Categories: COMPUTERS / Machine Theory, COMPUTERS / Computer Literacy, COMPUTERS / Computer Science, COMPUTERS / Data Science / General, COMPUTERS / Information Technology, COMPUTERS / Reference, COMPUTERS / Hardware / General

Designing a flexible and low-cost testbed for Wireless Sensor Networks

Autoři: Guo, Cheng Prasad, Venkatesha He, JiangJie a další

Zdroj: ProFuN International Journal of Ad Hoc and Ubiquitous Computing. 9(2):111-121

Témata: testbed, WSNs, wireless sensor networks, experiment, flexibility, low-cost, Datavetenskap med inriktning mot datorkommunikation, Computer Science with specialization in Computer Communication, Datavetenskap med inriktning mot inbyggda system, Computer Science with specialization in Embedded Systems

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-171698

Curriculum Development for Embedded Systems Security.

Autoři: Zalewski, Janusz Kornecki, Andrew J. Czejdo, Bogdan Denny a další

Zdroj: Proceedings of the ASEE Annual Conference & Exposition; 2014, p1-10, 10p

Témata: CURRICULUM planning, EMBEDDED computer systems, COMPUTER security, UNDERGRADUATE programs, COMPUTER science education, HIGHER education, EDUCATION

Cyber-Physical Systems of Systems : Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy

Autoři: Andrea Bondavalli Sara Bouchenak Hermann Kopetz

Resource Type: eBook.

Témata: Software engineering, Application software, Cooperating objects (Computer systems), System analysis, System theory

Categories: COMPUTERS / Hardware / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Software Development & Engineering / General, SCIENCE / System Theory

Principles for Safe and Automated Middleware Specializations for Distributed, Real-time and Embedded Systems

Autoři: Dabholkar, Akshay Vishwas

Thesis Advisors: Dr. Aniruddha Gokhale, Dr. Douglas Schmidt, Dr. Gabor Karsai, Dr. Jeffrey Gray, Dr. Janos Sztipanovits

Témata: Computer Science

Popis souboru: application/pdf

Dostupnost: http://etd.library.vanderbilt.edu/available/etd-04182012-070958/

Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Autoři: Nobuko Yoshida

Resource Type: eBook.

Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

Approximations and abstractions for reasoning about machine arithmetic

Autoři: Zeljic, Aleksandar Rümmer, Philipp, Docent

Přispěvatelé: Zeljic, Aleksandar Rümmer, Philipp, Docent

Zdroj: UPMARC IT licentiate theses / Uppsala University, Department of Information Technology.

Témata: Datavetenskap med inriktning mot inbyggda system, Computer Science with specialization in Embedded Systems

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-305190
https://uu.diva-portal.org/smash/get/diva2:1034570/FULLTEXT01.pdf