Bibliografías temáticas / Embedded computer systems

Literatura académica sobre el tema "Embedded computer systems"

Autor: Grafiati
Publicado: 4 de junio de 2021
Última modificación: 25 de julio de 2024

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Índice

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Embedded computer systems".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "Embedded computer systems"

1

Chakraborty, Pratic. "Embedded Machine Learning and Embedded Systems in the Industry." International Journal for Research in Applied Science and Engineering Technology 9, n.º 11 (30 de noviembre de 2021): 1872–75. http://dx.doi.org/10.22214/ijraset.2021.39067.

Texto completo
Resumen
Abstract: Machine learning is the buzz word right now. With the machine learning algorithms one can make a computer differentiate between a human and a cow. Can detect objects, can predict different parameters and can process our native languages. But all these algorithms require a fair amount of processing power in order to be trained and fitted as a model. Thankfully, with the current improvement in technology, processing power of computers have significantly increased. But there is a limitation in power consumption and deployability of a server computer. This is where “tinyML” helps the industry out. Machine Learning has never been so easy to access before!
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Thiruvathukal, George K. y Yung-Hsiang Lu. "Efficient Computer Vision for Embedded Systems". Computer 55, n.º 4 (abril de 2022): 15–19. http://dx.doi.org/10.1109/mc.2022.3145677.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Leveson, Nancy G. "Software safety in embedded computer systems". Communications of the ACM 34, n.º 2 (febrero de 1991): 34–46. http://dx.doi.org/10.1145/102792.102799.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Lee, B. H. "Embedded Internet Systems: Poised for Takeoff [Embedded Systems]". IEEE Internet Computing 2, n.º 3 (mayo de 1998): 24–29. http://dx.doi.org/10.1109/mic.1998.683796.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Hickey, Patrick C., Lee Pike, Trevor Elliott, James Bielman y John Launchbury. "Building embedded systems with embedded DSLs". ACM SIGPLAN Notices 49, n.º 9 (26 de noviembre de 2014): 3–9. http://dx.doi.org/10.1145/2692915.2628146.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Karsai, Gabor, Fabio Massacci, Leon Osterweil y Ina Schieferdecker. "Evolving Embedded Systems". Computer 43, n.º 5 (mayo de 2010): 34–40. http://dx.doi.org/10.1109/mc.2010.135.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Guo, Li, Dajiang Zhou, Jinjia Zhou, Shinji Kimura y Satoshi Goto. "Lossy Compression for Embedded Computer Vision Systems". IEEE Access 6 (2018): 39385–97. http://dx.doi.org/10.1109/access.2018.2852809.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Egyhazy, Csaba. "Using database machines in embedded computer systems". Information & Management 8, n.º 4 (abril de 1985): 197–203. http://dx.doi.org/10.1016/0378-7206(85)90016-3.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Jiang, Zi Li. "Research of Development of Embedded Systems". Applied Mechanics and Materials 539 (julio de 2014): 547–50. http://dx.doi.org/10.4028/www.scientific.net/amm.539.547.

Texto completo
Resumen
With embedded systems widely used and the continuous improvement of the user to the data processing and management needs, a variety of smart devices and database technology are tightly combined, this has got integrated attention. Embedded system is dedicated computer system that is application-centric, based on computer technology, software and hardware can be tailored to meet the stringent requirements of the application system, which strict with functionality, reliability, cost, size and power consumption. It is the product of the development of computer technology, now it has become an important part of the computer field. The embedded database will be in everywhere in the near future. Looking at the current international and domestic embedded database application, market has entered a stage of accelerated development based on embedded database applications.
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Jonsson, E. y S. Asmussen. "A Practical Dependability Measure for Embedded Computer Systems". IFAC Proceedings Volumes 26, n.º 2 (julio de 1993): 647–52. http://dx.doi.org/10.1016/s1474-6670(17)49023-9.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Tesis sobre el tema "Embedded computer systems"

1

Finney, James. "Autocoding methods for networked embedded systems". Thesis, University of Warwick, 2009. http://wrap.warwick.ac.uk/36892/.

Texto completo
Resumen
The volume and complexity of software is increasing; presenting developers with an ever increasing challenge to deliver a system within the agreed timescale and budget [1]. With the use of Computer-Aided Software Engineering (CASE) tools for requirements management, component design, and software validation the risks to the project can be reduced. This project focuses on Autocoding CASE tools, the methods used by such tools to generate the code, and the features these tools provide the user. The Extensible Stylesheet Language Transformation (XSLT) based autocoding method used by Rapicore in their NetGen embedded network design tool was known to have a number of issues and limitations. The aim of the research was to identify these issues and develop an innovative solution that would support current and future autocoding requirements. Using the literature review and a number of practical projects, the issues with the XSLT-based method were identified. These issues were used to define the requirements with which a more appropriate autocoding method was researched and developed. A more powerful language was researched and selected, and with this language a prototype autocoding platform was designed, developed, validated, and evaluated. The work concludes that the innovative use and integration of programmer-level Extensible Markup Language (XML) code descriptions and PHP scripting has provided Rapicore with a powerful and flexible autocoding platform to support current and future autocoding application requirements of any size and complexity.
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Thomas, Sam Lloyd. "Backdoor detection systems for embedded devices". Thesis, University of Birmingham, 2018. http://etheses.bham.ac.uk//id/eprint/8365/.

Texto completo
Resumen
A system is said to contain a backdoor when it intentionally includes a means to trigger the execution of functionality that serves to subvert its expected security. Unfortunately, such constructs are pervasive in software and systems today, particularly in the firmware of commodity embedded systems and “Internet of Things” devices. The work presented in this thesis concerns itself with the problem of detecting backdoor-like constructs, specifically those present in embedded device firmware, which, as we show, presents additional challenges in devising detection methodologies. The term “backdoor”, while used throughout the academic literature, by industry, and in the media, lacks a rigorous definition, which exacerbates the challenges in their detection. To this end, we present such a definition, as well as a framework, which serves as a basis for their discovery, devising new detection techniques and evaluating the current state-of-the-art. Further, we present two backdoor detection methodologies, as well as corresponding tools which implement those approaches. Both of these methods serve to automate many of the currently manual aspects of backdoor identification and discovery. And, in both cases, we demonstrate that our approaches are capable of analysing device firmware at scale and can be used to discover previously undocumented real-world backdoors.
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Tosun, 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Van, Riet F. A. "LF : a language for reliable embedded systems". Thesis, Stellenbosch : Stellenbosch University, 2001. http://hdl.handle.net/10019.1/52322.

Texto completo
Resumen
Thesis (MSc)--University of Stellenbosch, 2001.
ENGLISH 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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Saha, Sankalita. "Design methodology for embedded computer vision systems". College Park, Md.: University of Maryland, 2007. http://hdl.handle.net/1903/7748.

Texto completo
Resumen
Thesis (Ph. D.) -- University of Maryland, College Park, 2007.
Thesis 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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Lessner, Dirk. "Network security for embedded systems /". [St. Lucia, Qld.], 2005. http://adt.library.uq.edu.au/public/adt-QU20060215.160952/index.html.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Ackerman, M. C. (Marthinus Casper). "Kernel support for embedded reactive systems". Thesis, Stellenbosch : Stellenbosch University, 1993. http://hdl.handle.net/10019.1/58022.

Texto completo
Resumen
Thesis (MSc)--Stellenbosch University , 1993.
ENGLISH 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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Burgess, Peter. "A testbed for embedded systems". Thesis, University of St Andrews, 1994. http://hdl.handle.net/10023/13457.

Texto completo
Resumen
Testing and Debugging are often the most difficult phase of software development. This is especially true of embedded systems which are usually concurrent, have real-time performance and correctness constraints and which execute in the field in an environment which may not permit internal scrutiny of the software behaviour. Although good software engineering practices help, they will never eliminate the need for testing and debugging. This is because failings in the specification and design are often only discovered through testing and understanding these failings and how to correct them comes from debugging. These observations suggest that embedded software should be designed in a way which makes testing and debugging easier and that tools which support these activities are required. Due to the often hostile environment in which the finished embedded system will function, it is necessary to have a platform which allows the software to be developed and tested "in vitro". The Testbed system achieves these goals by providing dynamic modification and process migration facilities for use during development as well as powerful monitoring and background debugging support. These facilities are built on a basic run-time harness supporting an event-driven programming model with a global communication mechanism. This programming model is well suited to the reactive nature of embedded systems. The main research contributions of this work are in the areas of finding deadlock-free, path-optimal routings for networks and of dynamic modification with automated conversion of data which may include pointers.
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Wallace, Malcolm. "Functional programming and embedded systems". Thesis, University of York, 1995. http://etheses.whiterose.ac.uk/10807/.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Corté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.

Texto completo
Resumen

Embedded 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.

Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Libros sobre el tema "Embedded computer systems"

1

service), SpringerLink (Online, ed. Pro Linux Embedded Systems. Berkeley, CA: Apress, 2010.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

service), SpringerLink (Online, ed. Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems. Dordrecht: Springer Science+Business Media B.V., 2011.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

1968-, Kisačanin Branislav, Bhattacharya Shuvra S y Chai Sek, eds. Embedded computer vision. London: Springer, 2009.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Odette, Louis L. Intelligent embedded systems. Reading, Mass: Addison-Wesley Pub. Co., 1991.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Richard, Zurawski, ed. Embedded systems handbook: Embedded systems design and verification. 2a ed. Boca Raton, FL: Taylor & Francis Group, 2009.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Yaghmour, Karim. Building embedded Linux systems. Beijing: O'Reilly, 2003.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Karim, Yaghmour, ed. Building embedded Linux systems. 2a ed. Bejing: O'Reilly, 2008.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Karim, Yaghmour, ed. Building Embedded Linux Systems. 2a ed. Bejing: O'Reilly, 2008.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Building embedded Linux systems. Beijing: O'Reilly, 2003.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Embedded systems and computer architecture. Oxford: Newnes, 2002.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Capítulos de libros sobre el tema "Embedded computer systems"

1

Kordon, Fabrice, Jérôme Hugues, Agusti Canals y Alain Dohet. "Elements for the Design of Embedded Computer Systems". En Embedded Systems, 1–27. Hoboken, NJ USA: John Wiley & Sons, Inc., 2013. http://dx.doi.org/10.1002/9781118569535.ch1.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

LaMeres, Brock J. "Computer Systems". En 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

LaMeres, Brock J. "Computer Systems". En 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Lund, Craig. "Embedded Systems Standards". En Parallel Computer Routing and Communication, 137. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-69352-1_11.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Wang, Wen, Bernhard Jungk, Julian Wälde, Shuwen Deng, Naina Gupta, Jakub Szefer y Ruben Niederhagen. "XMSS and Embedded Systems". En Lecture Notes in Computer Science, 523–50. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-38471-5_21.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Murti, KCS. "UML for Embedded Systems". En Transactions on Computer Systems and Networks, 119–53. Singapore: Springer Singapore, 2021. http://dx.doi.org/10.1007/978-981-16-3293-8_5.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Murti, KCS. "Energy Efficient Embedded Systems". En Transactions on Computer Systems and Networks, 317–39. Singapore: Springer Singapore, 2021. http://dx.doi.org/10.1007/978-981-16-3293-8_11.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Murti, KCS. "Networked Embedded Systems (NES)". En Transactions on Computer Systems and Networks, 225–59. Singapore: Springer Singapore, 2021. http://dx.doi.org/10.1007/978-981-16-3293-8_8.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Murti, KCS. "Security in Embedded Systems". En Transactions on Computer Systems and Networks, 419–41. Singapore: Springer Singapore, 2021. http://dx.doi.org/10.1007/978-981-16-3293-8_14.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Nikolić, Zoran. "Implementation Considerations for Automotive Vision Systems on a Fixed-Point DSP". En Embedded Computer Vision, 177–94. London: Springer London, 2009. http://dx.doi.org/10.1007/978-1-84800-304-0_9.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Actas de conferencias sobre el tema "Embedded computer systems"

1

"Session CA: Computer architecture & embedded systems". En Systems (ICCES). IEEE, 2011. http://dx.doi.org/10.1109/icces.2011.6141002.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Franzon, Paul D., Eric Rotenberg, James Tuck, Huiyang Zhou, W. Rhett Davis, Hongwen Dai, Joonmoo Huh et al. "3D-enabled customizable embedded computer (3DECC)". En 2014 International 3D Systems Integration Conference (3DIC). IEEE, 2014. http://dx.doi.org/10.1109/3dic.2014.7152143.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Sapienza, G., N. Meli, J. Eriksson, R. Jansson, T. Seceleanu y I. Crnkovic. "System Level Partitioning for Embedded Systems". En 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC). IEEE, 2017. http://dx.doi.org/10.1109/compsac.2017.226.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Chen, Tianzhou, Weihua Hu, Qingsong Shi y Hui Yan. "Embedded education for Computer Rank Examination". En 2007 International Conference on Parallel and Distributed Systems. IEEE, 2007. http://dx.doi.org/10.1109/icpads.2007.4447789.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

"Session CE: Computer architectures & embedded systems". En 2014 9th International Conference on Computer Engineering & Systems (ICCES). IEEE, 2014. http://dx.doi.org/10.1109/icces.2014.7030958.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Wang, Fei. "Application of embedded software in computer systems". En International Symposium on Computer Applications and Information Systems (ISCAIS 2022), editado por Muhammad Sarfraz y Mengyi (Milly) Cen. SPIE, 2022. http://dx.doi.org/10.1117/12.2639493.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Brzoza-Woch, Robert, Łukasz Gurdek y Tomasz Szydło. "Rapid Embedded Systems Prototyping - an effective approach to embedded systems development". En 2018 Federated Conference on Computer Science and Information Systems. IEEE, 2018. http://dx.doi.org/10.15439/2018f68.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Krystosik, Artur. "Embedded Systems Modeling Language". En 2006 International Conference on Dependability of Computer Systems. IEEE, 2006. http://dx.doi.org/10.1109/depcos-relcomex.2006.21.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Banerjee, Pallab, Kamal Kishore, Kanika Thakur, Biresh Kumar y Probal Banerjee. "Comparative Performance Analysis of Computer System Architecture and Implementation of Quantum Computers for Increasing the Effeciency of Computer System". En 2023 11th International Conference on Intelligent Systems and Embedded Design (ISED). IEEE, 2023. http://dx.doi.org/10.1109/ised59382.2023.10444582.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

"Technical session CA: Computer architecture and embedded systems". En 2008 International Conference on Computer Engineering & Systems. IEEE, 2008. http://dx.doi.org/10.1109/icces.2008.4772955.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Informes sobre el tema "Embedded computer systems"

1

Satterthwaite, Charles P. Technologies for Avionics Embedded Computer Systems. Fort Belvoir, VA: Defense Technical Information Center, febrero de 1994. http://dx.doi.org/10.21236/ada276364.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

IIT 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, agosto de 1990. http://dx.doi.org/10.21236/ada241207.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Wu, Yingjie, Selim Gunay y Khalid Mosalam. Hybrid Simulations for the Seismic Evaluation of Resilient Highway Bridge Systems. Pacific Earthquake Engineering Research Center, University of California, Berkeley, CA, noviembre de 2020. http://dx.doi.org/10.55461/ytgv8834.

Texto completo
Resumen
Bridges often serve as key links in local and national transportation networks. Bridge closures can result in severe costs, not only in the form of repair or replacement, but also in the form of economic losses related to medium- and long-term interruption of businesses and disruption to surrounding communities. In addition, continuous functionality of bridges is very important after any seismic event for emergency response and recovery purposes. Considering the importance of these structures, the associated structural design philosophy is shifting from collapse prevention to maintaining functionality in the aftermath of moderate to strong earthquakes, referred to as “resiliency” in earthquake engineering research. Moreover, the associated construction philosophy is being modernized with the utilization of accelerated bridge construction (ABC) techniques, which strive to reduce the impact of construction on traffic, society, economy and on-site safety. This report presents two bridge systems that target the aforementioned issues. A study that combined numerical and experimental research was undertaken to characterize the seismic performance of these bridge systems. The first part of the study focuses on the structural system-level response of highway bridges that incorporate a class of innovative connecting devices called the “V-connector,”, which can be used to connect two components in a structural system, e.g., the column and the bridge deck, or the column and its foundation. This device, designed by ACII, Inc., results in an isolation surface at the connection plane via a connector rod placed in a V-shaped tube that is embedded into the concrete. Energy dissipation is provided by friction between a special washer located around the V-shaped tube and a top plate. Because of the period elongation due to the isolation layer and the limited amount of force transferred by the relatively flexible connector rod, bridge columns are protected from experiencing damage, thus leading to improved seismic behavior. The V-connector system also facilitates the ABC by allowing on-site assembly of prefabricated structural parts including those of the V-connector. A single-column, two-span highway bridge located in Northern California was used for the proof-of-concept of the proposed V-connector protective system. The V-connector was designed to result in an elastic bridge response based on nonlinear dynamic analyses of the bridge model with the V-connector. Accordingly, a one-third scale V-connector was fabricated based on a set of selected design parameters. A quasi-static cyclic test was first conducted to characterize the force-displacement relationship of the V-connector, followed by a hybrid simulation (HS) test in the longitudinal direction of the bridge to verify the intended linear elastic response of the bridge system. In the HS test, all bridge components were analytically modeled except for the V-connector, which was simulated as the experimental substructure in a specially designed and constructed test setup. Linear elastic bridge response was confirmed according to the HS results. The response of the bridge with the V-connector was compared against that of the as-built bridge without the V-connector, which experienced significant column damage. These results justified the effectiveness of this innovative device. The second part of the study presents the HS test conducted on a one-third scale two-column bridge bent with self-centering columns (broadly defined as “resilient columns” in this study) to reduce (or ultimately eliminate) any residual drifts. The comparison of the HS test with a previously conducted shaking table test on an identical bridge bent is one of the highlights of this study. The concept of resiliency was incorporated in the design of the bridge bent columns characterized by a well-balanced combination of self-centering, rocking, and energy-dissipating mechanisms. This combination is expected to lead to minimum damage and low levels of residual drifts. The ABC is achieved by utilizing precast columns and end members (cap beam and foundation) through an innovative socket connection. In order to conduct the HS test, a new hybrid simulation system (HSS) was developed, utilizing commonly available software and hardware components in most structural laboratories including: a computational platform using Matlab/Simulink [MathWorks 2015], an interface hardware/software platform dSPACE [2017], and MTS controllers and data acquisition (DAQ) system for the utilized actuators and sensors. Proper operation of the HSS was verified using a trial run without the test specimen before the actual HS test. In the conducted HS test, the two-column bridge bent was simulated as the experimental substructure while modeling the horizontal and vertical inertia masses and corresponding mass proportional damping in the computer. The same ground motions from the shaking table test, consisting of one horizontal component and the vertical component, were applied as input excitations to the equations of motion in the HS. Good matching was obtained between the shaking table and the HS test results, demonstrating the appropriateness of the defined governing equations of motion and the employed damping model, in addition to the reliability of the developed HSS with minimum simulation errors. The small residual drifts and the minimum level of structural damage at large peak drift levels demonstrated the superior seismic response of the innovative design of the bridge bent with self-centering columns. The reliability of the developed HS approach motivated performing a follow-up HS study focusing on the transverse direction of the bridge, where the entire two-span bridge deck and its abutments represented the computational substructure, while the two-column bridge bent was the physical substructure. This investigation was effective in shedding light on the system-level performance of the entire bridge system that incorporated innovative bridge bent design beyond what can be achieved via shaking table tests, which are usually limited by large-scale bridge system testing capacities.
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías ampliadas sobre el tema "Embedded computer systems" para tipos de fuentes particulares:
Artículos de revistas Tesis Libros
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía