Relevant bibliographies by topics / Embedded computer systems

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Embedded computer systems'

Author: Grafiati
Published: 4 June 2021
Last updated: 1 August 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Embedded computer systems.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "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, no. 11 (November 30, 2021): 1872–75. http://dx.doi.org/10.22214/ijraset.2021.39067.

Full text
Abstract:
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!
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
10

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Embedded computer systems"

1

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
5

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
9

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Embedded computer systems"

1

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Beck, Antonio Carlos Schneider. Adaptable Embedded Systems. New York, NY: Springer New York, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Kornaros, Georgios. Multi-core embedded systems. Boca Raton: Taylor & Francis, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Cevoli, Paul. Embedded FreeBSD cookbook. Amsterdam: Newnes, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Cevoli, Paul. Embedded FreeBSD cookbook. Amsterdam: Newnes, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Embedded computer systems"

1

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

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

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Embedded computer systems"

1

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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)." In 2014 International 3D Systems Integration Conference (3DIC). IEEE, 2014. http://dx.doi.org/10.1109/3dic.2014.7152143.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

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

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Embedded computer systems"

1

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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, August 1990. http://dx.doi.org/10.21236/ada241207.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Embedded computer systems' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography