Bibliografie tematiche / Embedded computer systems

Indice

  1. Articoli di riviste
  2. Tesi
  3. Libri
  4. Capitoli di libri
  5. Atti di convegni
  6. Rapporti di organizzazioni

Letteratura scientifica selezionata sul tema "Embedded computer systems"

Autore: Grafiati
Pubblicato: 4 giugno 2021
Ultima modifica: 1 agosto 2024

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Embedded computer systems".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Articoli di riviste sul 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 novembre 2021): 1872–75. http://dx.doi.org/10.22214/ijraset.2021.39067.

Testo completo
Abstract (sommario):
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!
Gli stili APA, Harvard, Vancouver, ISO e altri
2

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
10

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Tesi sul tema "Embedded computer systems"

1

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
2

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
5

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
6

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
8

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
9

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Libri sul tema "Embedded computer systems"

1

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

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

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

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

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

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

1968-, Kisačanin Branislav, Bhattacharya Shuvra S e Chai Sek, a cura di. Embedded computer vision. London: Springer, 2009.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

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

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

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

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

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

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

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

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

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

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

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

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
Più fonti

Capitoli di libri sul tema "Embedded computer systems"

1

Kordon, Fabrice, Jérôme Hugues, Agusti Canals e 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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Wang, Wen, Bernhard Jungk, Julian Wälde, Shuwen Deng, Naina Gupta, Jakub Szefer e 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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri

Atti di convegni sul tema "Embedded computer systems"

1

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Sapienza, G., N. Meli, J. Eriksson, R. Jansson, T. Seceleanu e 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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Chen, Tianzhou, Weihua Hu, Qingsong Shi e 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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Brzoza-Woch, Robert, Łukasz Gurdek e 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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Banerjee, Pallab, Kamal Kishore, Kanika Thakur, Biresh Kumar e 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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri

Rapporti di organizzazioni sul tema "Embedded computer systems"

1

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

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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 1990. http://dx.doi.org/10.21236/ada241207.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

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

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
Ti possono interessare anche gli elenchi estesi di opere sul tema "Embedded computer systems":
Articoli di riviste Tesi Libri
Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!

Vai alla bibliografia