Gotowa bibliografia na temat „Embedded computer systems”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Spis treści
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Embedded computer systems”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Artykuły w czasopismach na temat "Embedded computer systems"
Chakraborty, Pratic. "Embedded Machine Learning and Embedded Systems in the Industry." International Journal for Research in Applied Science and Engineering Technology 9, nr 11 (30.11.2021): 1872–75. http://dx.doi.org/10.22214/ijraset.2021.39067.
Pełny tekst źródłaThiruvathukal, George K., i Yung-Hsiang Lu. "Efficient Computer Vision for Embedded Systems". Computer 55, nr 4 (kwiecień 2022): 15–19. http://dx.doi.org/10.1109/mc.2022.3145677.
Pełny tekst źródłaLeveson, Nancy G. "Software safety in embedded computer systems". Communications of the ACM 34, nr 2 (luty 1991): 34–46. http://dx.doi.org/10.1145/102792.102799.
Pełny tekst źródłaLee, B. H. "Embedded Internet Systems: Poised for Takeoff [Embedded Systems]". IEEE Internet Computing 2, nr 3 (maj 1998): 24–29. http://dx.doi.org/10.1109/mic.1998.683796.
Pełny tekst źródłaHickey, Patrick C., Lee Pike, Trevor Elliott, James Bielman i John Launchbury. "Building embedded systems with embedded DSLs". ACM SIGPLAN Notices 49, nr 9 (26.11.2014): 3–9. http://dx.doi.org/10.1145/2692915.2628146.
Pełny tekst źródłaKarsai, Gabor, Fabio Massacci, Leon Osterweil i Ina Schieferdecker. "Evolving Embedded Systems". Computer 43, nr 5 (maj 2010): 34–40. http://dx.doi.org/10.1109/mc.2010.135.
Pełny tekst źródłaGuo, Li, Dajiang Zhou, Jinjia Zhou, Shinji Kimura i Satoshi Goto. "Lossy Compression for Embedded Computer Vision Systems". IEEE Access 6 (2018): 39385–97. http://dx.doi.org/10.1109/access.2018.2852809.
Pełny tekst źródłaEgyhazy, Csaba. "Using database machines in embedded computer systems". Information & Management 8, nr 4 (kwiecień 1985): 197–203. http://dx.doi.org/10.1016/0378-7206(85)90016-3.
Pełny tekst źródłaJiang, Zi Li. "Research of Development of Embedded Systems". Applied Mechanics and Materials 539 (lipiec 2014): 547–50. http://dx.doi.org/10.4028/www.scientific.net/amm.539.547.
Pełny tekst źródłaJonsson, E., i S. Asmussen. "A Practical Dependability Measure for Embedded Computer Systems". IFAC Proceedings Volumes 26, nr 2 (lipiec 1993): 647–52. http://dx.doi.org/10.1016/s1474-6670(17)49023-9.
Pełny tekst źródłaRozprawy doktorskie na temat "Embedded computer systems"
Finney, James. "Autocoding methods for networked embedded systems". Thesis, University of Warwick, 2009. http://wrap.warwick.ac.uk/36892/.
Pełny tekst źródłaThomas, Sam Lloyd. "Backdoor detection systems for embedded devices". Thesis, University of Birmingham, 2018. http://etheses.bham.ac.uk//id/eprint/8365/.
Pełny tekst źródłaTosun, Suleyman. "Reliability-centric system design for embedded systems". Related electronic resource: Current Research at SU : database of SU dissertations, recent titles available full text, 2005. http://wwwlib.umi.com/cr/syr/main.
Pełny tekst źródłaVan, Riet F. A. "LF : a language for reliable embedded systems". Thesis, Stellenbosch : Stellenbosch University, 2001. http://hdl.handle.net/10019.1/52322.
Pełny tekst źródłaENGLISH ABSTRACT: Computer-aided verification techniques, such as model checking, are often considered essential to produce highly reliable software systems. Modern model checkers generally require models to be written in eSP-like notations. Unfortunately, such systems are usually implemented using conventional imperative programming languages. Translating the one paradigm into the other is a difficult and error prone process. If one were to program in a process-oriented language from the outset, the chasm between implementation and model could be bridged more readily. This would lead to more accurate models and ultimately more reliable software. This thesis covers the definition of a process-oriented language targeted specifically towards embedded systems and the implementation of a suitable compiler and run-time system. The language, LF, is for the most part an extension of the language Joyce, which was defined by Brinch Hansen. Both LF and Joyce have features which I believe make them easier to use than other esp based languages such as occam. An example of this is a selective communication primitive which allows for both input and output guards which is not supported in occam. The efficiency of the implementation is important. The language was therefore designed to be expressive, but constructs which are expensive to implement were avoided. Security, however, was the overriding consideration in the design of the language and runtime system. The compiler produces native code. Most other esp derived languages are either interpreted or execute as tasks on host operating systems. Arguably this is because most implementations of esp and derivations thereof are for academic purposes only. LF is intended to be an implementation language. The performance of the implementation is evaluated in terms of practical metries such as the time needed to complete communication operations and the average time needed to service an interrupt.
AFRIKAANSE OPSOMMING: Rekenaar ondersteunde verifikasietegnieke soos programmodellering, is onontbeerlik in die ontwikkeling van hoogs betroubare programmatuur. In die algemeen, aanvaar programme wat modelle toets eSP-agtige notasie as toevoer. Die meeste programme word egter in meer konvensionele imperatiewe programmeertale ontwikkel. Die vertaling vanuit die een paradigma na die ander is 'n moelike proses, wat baie ruimte laat vir foute. Indien daar uit die staanspoor in 'n proses gebaseerde taal geprogrammeer word, sou die verwydering tussen model en program makliker oorbrug kon word. Dit lei tot akkurater modelle en uiteindelik tot betroubaarder programmatuur. Die tesis ondersoek die definisie van 'n proses gebaseerde taal, wat gemik is op ingebedde programmatuur. Verder word die implementasie van 'n toepaslike vertaler en looptyd omgewing ook bespreek. Die taal, LF, is grotendeels gebaseer op Joyce, wat deur Brinch Hansen ontwikkel is. Joyce en op sy beurt LF, is verbeterings op ander esp verwante tale soos occam. 'n Voorbeeld hiervan is 'n selektiewe kommunikasieprimitief wat die gebruik van beide toevoer- en afvoerwagte ondersteun. Omdat 'n effektiewe implementasie nagestreef word, is die taalontwerp om so nadruklik moontlik te wees, sonder om strukture in te sluit wat oneffektief is om te implementeer. Sekuriteit was egter die oorheersende oorweging in die ontwerp van die taal en looptyd omgewing. Die vertaler lewer masjienkode, terwyl die meeste ander implementasies van eSP-agtige tale geinterpreteer word of ondersteun word as prosesse op 'n geskikte bedryfstelsel- die meeste eSP-agtige tale word slegs vir akademiese doeleindes aangewend. LF is by uitstek ontwerp as implementasie taal. Die evaluasie van die stelsel se werkverrigting is gedoen aan die hand van praktiese maatstawwe soos die tyd wat benodig word vir kommunikasie, sowel as die gemiddelde tyd benodig vir die hantering van onderbrekings.
Saha, Sankalita. "Design methodology for embedded computer vision systems". College Park, Md.: University of Maryland, 2007. http://hdl.handle.net/1903/7748.
Pełny tekst źródłaThesis research directed by: Dept. of Computer and Electrical Engineering. Title from t.p. of PDF. Includes bibliographical references. Published by UMI Dissertation Services, Ann Arbor, Mich. Also available in paper.
Lessner, Dirk. "Network security for embedded systems /". [St. Lucia, Qld.], 2005. http://adt.library.uq.edu.au/public/adt-QU20060215.160952/index.html.
Pełny tekst źródłaAckerman, M. C. (Marthinus Casper). "Kernel support for embedded reactive systems". Thesis, Stellenbosch : Stellenbosch University, 1993. http://hdl.handle.net/10019.1/58022.
Pełny tekst źródłaENGLISH ABSTRACT: Reactive systems are event driven state machines which usually do not terminate, but remain in perpetual interaction with their environment. Such systems usually interact 'With devices which introduce a high degree of concurrency and some real time constraints to the system. Because of the concurrent nature of reactive systems they are commonly implemented as communicating concurrent processes on one or more processors. Jeffay introduces a design paradigm which requires consumer processes to consume messages faster than they are produced by producer processes. If this is guaranteed, the real time constraints of such .. system are always met, and the correctness of the process interaction is guaranteed in terms of the message passing semantics. I developed the ESE kernel, which supports Jeffay systems by providing lightweight processes which communicate over asynchronous channels. Processes are scheduled non-preemptively according to the earliest deadline first policy when they have messages pending on their input channels. The Jeffay design method and the ESE kernel have been found to be highly suitable to implement embedded reactive systems. The general requirements of embedded reactive systems, and kernel support required by such systems, are discussed.
AFRIKAANSE OPSOMMING: Reaktiewe stelsels is toeatandsoutomate wat aangedryf word deur gebeure in hul omgewins. So 'n stelsel termineer gewoonlik nie, maar bly in 'n voortdurende wisselwerking met toestelle in sy omgewing. Toestelle in die omgewing van 'n reaktiewe stelsel veroorsaak in die algemeen 'n hoë mate van gelyklopendheid in die stelsel, en plaas gewoonlik sekere intydse beperkings op die stelsel. Gelyklopende stelsels word gewoonlik as stelsel. van kommunikerende prosesse geïmplementeer op een of meer prosessors. Jeffay beskryf 'n ontwerpsmetodologie waarvolgens die ontvanger van boodskappe hulle vinniger moet verwerk as wat die sender hulle kan stuur. Indien hierdie gedrag tussen alle pare kommunikerende prosesse gewaarborg kan word, sal die stelsel altyd sy intydse beperkings gehoorsaam, en word die korrektheid van interaksies tussen prosesse deur die semantiek van die boodskapwisseling gewaarborg. Die "ESE" bedryfstelselkern wat ek ontwikkel het, ondersteun stelsels wat ontwerp en geïmplementeer word volgens Jeffay se metode. Prosesse kommunikeer oor asinkrone kanale, en die ontvanger van die boodskap met die vroegste keertyd word altyd eerste geskeduleer. Jeffay se ontwerpsmetode en die "ESE" kern blyk in die praktyk baie geskik te wees vir reaktiewe stelsels wat as substelsels van groter stelsels uitvoer. Die vereistes van reaktiewe substelsels, en die kemondersteuning wat daarvoor nodig is, word bespreek.
Burgess, Peter. "A testbed for embedded systems". Thesis, University of St Andrews, 1994. http://hdl.handle.net/10023/13457.
Pełny tekst źródłaWallace, Malcolm. "Functional programming and embedded systems". Thesis, University of York, 1995. http://etheses.whiterose.ac.uk/10807/.
Pełny tekst źródłaCortés, Luis Alejandro. "A Petri Net based Modeling and Verification Technique for Real-Time Embedded Systems". Licentiate thesis, Linköping University, Linköping University, ESLAB - Embedded Systems Laboratory, 2001. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-5751.
Pełny tekst źródłaEmbedded systems are used in a wide spectrum of applications ranging from home appliances and mobile devices to medical equipment and vehicle controllers. They are typically characterized by their real-time behavior and many of them must fulfill strict requirements on reliability and correctness.
In this thesis, we concentrate on aspects related to modeling and formal verification of realtime embedded systems.
First, we define a formal model of computation for real-time embedded systems based on Petri nets. Our model can capture important features of such systems and allows their representations at different levels of granularity. Our modeling formalism has a welldefined semantics so that it supports a precise representation of the system, the use of formal methods to verify its correctness, and the automation of different tasks along the design process.
Second, we propose an approach to the problem of formal verification of real-time embedded systems represented in our modeling formalism. We make use of model checking to prove whether certain properties, expressed as temporal logic formulas, hold with respect to the system model. We introduce a systematic procedure to translate our model into timed automata so that it is possible to use available model checking ools. Various examples, including a realistic industrial case, demonstrate the feasibility of our approach on practical applications.
Książki na temat "Embedded computer systems"
service), SpringerLink (Online, red. Pro Linux Embedded Systems. Berkeley, CA: Apress, 2010.
Znajdź pełny tekst źródłaservice), SpringerLink (Online, red. Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems. Dordrecht: Springer Science+Business Media B.V., 2011.
Znajdź pełny tekst źródła1968-, Kisačanin Branislav, Bhattacharya Shuvra S i Chai Sek, red. Embedded computer vision. London: Springer, 2009.
Znajdź pełny tekst źródłaOdette, Louis L. Intelligent embedded systems. Reading, Mass: Addison-Wesley Pub. Co., 1991.
Znajdź pełny tekst źródłaRichard, Zurawski, red. Embedded systems handbook: Embedded systems design and verification. Wyd. 2. Boca Raton, FL: Taylor & Francis Group, 2009.
Znajdź pełny tekst źródłaYaghmour, Karim. Building embedded Linux systems. Beijing: O'Reilly, 2003.
Znajdź pełny tekst źródłaKarim, Yaghmour, red. Building embedded Linux systems. Wyd. 2. Bejing: O'Reilly, 2008.
Znajdź pełny tekst źródłaKarim, Yaghmour, red. Building Embedded Linux Systems. Wyd. 2. Bejing: O'Reilly, 2008.
Znajdź pełny tekst źródłaBuilding embedded Linux systems. Beijing: O'Reilly, 2003.
Znajdź pełny tekst źródłaEmbedded systems and computer architecture. Oxford: Newnes, 2002.
Znajdź pełny tekst źródłaCzęści książek na temat "Embedded computer systems"
Kordon, Fabrice, Jérôme Hugues, Agusti Canals i Alain Dohet. "Elements for the Design of Embedded Computer Systems". W Embedded Systems, 1–27. Hoboken, NJ USA: John Wiley & Sons, Inc., 2013. http://dx.doi.org/10.1002/9781118569535.ch1.
Pełny tekst źródłaLaMeres, Brock J. "Computer Systems". W Embedded Systems Design using the MSP430FR2355 LaunchPad™, 129–41. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-40574-8_3.
Pełny tekst źródłaLaMeres, Brock J. "Computer Systems". W Embedded Systems Design using the MSP430FR2355 LaunchPad™, 121–33. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-20888-1_3.
Pełny tekst źródłaLund, Craig. "Embedded Systems Standards". W Parallel Computer Routing and Communication, 137. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-69352-1_11.
Pełny tekst źródłaWang, Wen, Bernhard Jungk, Julian Wälde, Shuwen Deng, Naina Gupta, Jakub Szefer i Ruben Niederhagen. "XMSS and Embedded Systems". W Lecture Notes in Computer Science, 523–50. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-38471-5_21.
Pełny tekst źródłaMurti, KCS. "UML for Embedded Systems". W Transactions on Computer Systems and Networks, 119–53. Singapore: Springer Singapore, 2021. http://dx.doi.org/10.1007/978-981-16-3293-8_5.
Pełny tekst źródłaMurti, KCS. "Energy Efficient Embedded Systems". W Transactions on Computer Systems and Networks, 317–39. Singapore: Springer Singapore, 2021. http://dx.doi.org/10.1007/978-981-16-3293-8_11.
Pełny tekst źródłaMurti, KCS. "Networked Embedded Systems (NES)". W Transactions on Computer Systems and Networks, 225–59. Singapore: Springer Singapore, 2021. http://dx.doi.org/10.1007/978-981-16-3293-8_8.
Pełny tekst źródłaMurti, KCS. "Security in Embedded Systems". W Transactions on Computer Systems and Networks, 419–41. Singapore: Springer Singapore, 2021. http://dx.doi.org/10.1007/978-981-16-3293-8_14.
Pełny tekst źródłaNikolić, Zoran. "Implementation Considerations for Automotive Vision Systems on a Fixed-Point DSP". W Embedded Computer Vision, 177–94. London: Springer London, 2009. http://dx.doi.org/10.1007/978-1-84800-304-0_9.
Pełny tekst źródłaStreszczenia konferencji na temat "Embedded computer systems"
"Session CA: Computer architecture & embedded systems". W Systems (ICCES). IEEE, 2011. http://dx.doi.org/10.1109/icces.2011.6141002.
Pełny tekst źródłaFranzon, Paul D., Eric Rotenberg, James Tuck, Huiyang Zhou, W. Rhett Davis, Hongwen Dai, Joonmoo Huh i in. "3D-enabled customizable embedded computer (3DECC)". W 2014 International 3D Systems Integration Conference (3DIC). IEEE, 2014. http://dx.doi.org/10.1109/3dic.2014.7152143.
Pełny tekst źródłaSapienza, G., N. Meli, J. Eriksson, R. Jansson, T. Seceleanu i I. Crnkovic. "System Level Partitioning for Embedded Systems". W 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC). IEEE, 2017. http://dx.doi.org/10.1109/compsac.2017.226.
Pełny tekst źródłaChen, Tianzhou, Weihua Hu, Qingsong Shi i Hui Yan. "Embedded education for Computer Rank Examination". W 2007 International Conference on Parallel and Distributed Systems. IEEE, 2007. http://dx.doi.org/10.1109/icpads.2007.4447789.
Pełny tekst źródła"Session CE: Computer architectures & embedded systems". W 2014 9th International Conference on Computer Engineering & Systems (ICCES). IEEE, 2014. http://dx.doi.org/10.1109/icces.2014.7030958.
Pełny tekst źródłaWang, Fei. "Application of embedded software in computer systems". W International Symposium on Computer Applications and Information Systems (ISCAIS 2022), redaktorzy Muhammad Sarfraz i Mengyi (Milly) Cen. SPIE, 2022. http://dx.doi.org/10.1117/12.2639493.
Pełny tekst źródłaBrzoza-Woch, Robert, Łukasz Gurdek i Tomasz Szydło. "Rapid Embedded Systems Prototyping - an effective approach to embedded systems development". W 2018 Federated Conference on Computer Science and Information Systems. IEEE, 2018. http://dx.doi.org/10.15439/2018f68.
Pełny tekst źródłaKrystosik, Artur. "Embedded Systems Modeling Language". W 2006 International Conference on Dependability of Computer Systems. IEEE, 2006. http://dx.doi.org/10.1109/depcos-relcomex.2006.21.
Pełny tekst źródłaBanerjee, Pallab, Kamal Kishore, Kanika Thakur, Biresh Kumar i Probal Banerjee. "Comparative Performance Analysis of Computer System Architecture and Implementation of Quantum Computers for Increasing the Effeciency of Computer System". W 2023 11th International Conference on Intelligent Systems and Embedded Design (ISED). IEEE, 2023. http://dx.doi.org/10.1109/ised59382.2023.10444582.
Pełny tekst źródła"Technical session CA: Computer architecture and embedded systems". W 2008 International Conference on Computer Engineering & Systems. IEEE, 2008. http://dx.doi.org/10.1109/icces.2008.4772955.
Pełny tekst źródłaRaporty organizacyjne na temat "Embedded computer systems"
Satterthwaite, Charles P. Technologies for Avionics Embedded Computer Systems. Fort Belvoir, VA: Defense Technical Information Center, luty 1994. http://dx.doi.org/10.21236/ada276364.
Pełny tekst źródłaIIT RESEARCH INST LANHAM MD. Mapping of the Embedded Real-Time Trusted Computer Systems (ERT-TCSs) Requirements into the Trusted Computer System Evaluation Criteria. Fort Belvoir, VA: Defense Technical Information Center, sierpień 1990. http://dx.doi.org/10.21236/ada241207.
Pełny tekst źródłaWu, Yingjie, Selim Gunay i Khalid Mosalam. Hybrid Simulations for the Seismic Evaluation of Resilient Highway Bridge Systems. Pacific Earthquake Engineering Research Center, University of California, Berkeley, CA, listopad 2020. http://dx.doi.org/10.55461/ytgv8834.
Pełny tekst źródła