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

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

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

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

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

New techniques for handling quantifiers in Boolean and first-order logic

Autoři: Backeman, Peter Rümmer, Philipp, Docent

Přispěvatelé: Backeman, Peter 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-311592
https://uu.diva-portal.org/smash/get/diva2:1060772/FULLTEXT01.pdf

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

Models and Complexity Results in Real-Time Scheduling Theory

Autoři: Ekberg, Pontus Yi, Wang, Professor Marchetti-Spaccamela, Alberto, Professor

Přispěvatelé: Ekberg, Pontus Yi, Wang, Professor Marchetti-Spaccamela, Alberto, Professor

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

Témata: Real-time systems, Scheduling theory, Task models, Computational complexity, 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-267017
https://uu.diva-portal.org/smash/get/diva2:873310/FULLTEXT01.pdf

Improving performance by monitoring while maintaining worst-case guarantees

Autoři: Abdullah, Syed Md Jakaria Lampka, Kai Yi, Wang

Zdroj: UPMARC Proc. 19th Conference on Design, Automation and Test in Europe. :257-260

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-295505

Low-Power Listening Goes Multi-Channel

Autoři: Al Nahas, Beshr Duquennoy, Simon Iyer, Venkatraman a další

Zdroj: 2014 IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING IN SENSOR SYSTEMS (IEEE DCOSS 2014) IEEE International Conference on Distributed Computing in Sensor Systems. :2-9

Témata: Wireless Sensor Networks, 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, Computer Science with specialization in Real Time Systems, Datavetenskap med inriktning mot realtidssystem

Popis souboru: print

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

Fixed-Priority Multiprocessor Scheduling with Liu & Layland's Utilization Bound

Autoři: Guan, Nan Stigge, Martin Yi, Wang a další

Zdroj: CoDeR-MP UPMARC Proc. 16th Real-Time and Embedded Technology and Applications Symposium. :165-174

Témata: TECHNOLOGY, Information technology, Computer engineering, TEKNIKVETENSKAP, Informationsteknik, Datorteknik, Computer science, Datavetenskap, 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-130901

Minimizing Multi-Resource Energy for Real-Time Systems with Discrete Operation Modes

Autoři: Kong, Fanxin Wang, Yiqun Deng, Qingxu a další

Zdroj: UPMARC Proc. 22nd Euromicro Conference on Real-Time Systems. :113-122

Témata: TECHNOLOGY, Information technology, Computer engineering, TEKNIKVETENSKAP, Informationsteknik, Datorteknik, Computer science, Datavetenskap, 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-130903

Cache-aware scheduling and analysis for multicores

Autoři: Guan, Nan Stigge, Martin Yi, Wang a další

Zdroj: UPMARC Proc. 9th ACM International Conference on Embedded Software. :245-254

Témata: TECHNOLOGY, Information technology, Computer science, TEKNIKVETENSKAP, Informationsteknik, Datavetenskap, 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-130914

New Response Time Bounds for Fixed Priority Multiprocessor Scheduling

Autoři: Guan, Nan Stigge, Martin Yi, Wang a další

Zdroj: UPMARC CoDeR-MP Proc. Real-Time Systems Symposium. :387-397

Témata: TECHNOLOGY, Information technology, Computer science, TEKNIKVETENSKAP, Informationsteknik, Datavetenskap, 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-130904

Modeling and analysis of thread-pools in an industrial communication platform

Autoři: de Boer, Frank S. Grabe, Immo Jaghoori, Mohammad Mahdi a další

Zdroj: UPMARC CoDeR-MP Formal Methods and Software Engineering Lecture Notes in Computer Science. :367-386

Témata: TECHNOLOGY, Information technology, Computer science, TEKNIKVETENSKAP, Informationsteknik, Datavetenskap, 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-130906

Conformance testing for cyber-physical systems

Autoři: Woehrle, Matthias Lampka, Kai Thiele, Lothar

Zdroj: ACM Transactions on Embedded Computing Systems. 11(4)-23

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-193574