Real-time embedded systems : optimization, synthesis, and networking /
Gespeichert in:
| Hauptverfasser: | Qiu, Meikang (VerfasserIn), Li, Jiayin (VerfasserIn) |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Boca Raton :
CRC Press,
2011
|
| Ausgabe: | [1st ed.] |
| Schlagworte: | |
| ISBN: | 9781439817605 |
| Online-Zugang: |
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Wird geladen …
Real-time systems : formal specification and automatic verification /
von: Olderog, Ernst-Rüdiger, et al.
Veröffentlicht: (2008)
von: Olderog, Ernst-Rüdiger, et al.
Veröffentlicht: (2008)
Wird geladen …
Reconfigurable embedded control systems : applications for flexibility and agility /
Veröffentlicht: (2011)
Veröffentlicht: (2011)
Wird geladen …
Mathematical modelling of technical processes. Prepared within SOCRATES - ERAMUS programme : MAMOTEP, Prešov, July 2 - 13, 2001 /
von: Hrubina, Kamil
Veröffentlicht: (2001)
von: Hrubina, Kamil
Veröffentlicht: (2001)
Wird geladen …
Software engineering for parallel real-time systems : Proceedings of the internat. workshop, Smolenice, March 1993 /
von: Henkel, J.
Veröffentlicht: (1993)
von: Henkel, J.
Veröffentlicht: (1993)
Wird geladen …
First ACM and IEEE international conference on formal methods and models for co-design. MEMOCODE'03 : Proceedings, Mont Saint-Michel, France, 24 - 26 June 2003 /
von: Meseguer, José
Veröffentlicht: (2003)
von: Meseguer, José
Veröffentlicht: (2003)
Wird geladen …
Hybrid dynamical systems : controller and sensor switching problems /
von: Savkin, Andrey V., et al.
Veröffentlicht: (2002)
von: Savkin, Andrey V., et al.
Veröffentlicht: (2002)
Wird geladen …
Embedded systems architecture : a comprehensive guide for engineers and programmers /
von: Noergaard, Tammy
Veröffentlicht: (2013)
von: Noergaard, Tammy
Veröffentlicht: (2013)
Wird geladen …
Introduction to embedded systems : interfacing to the Freescale 9S12 /
von: Valvano, Jonathan W. 1953-
Veröffentlicht: (2010)
von: Valvano, Jonathan W. 1953-
Veröffentlicht: (2010)
Wird geladen …
Network and operating systems support for digital audio and video : Proceedings, Durham, New Hampshire, USA, April 19-21, 1995 /
von: Little, Thomas D. C.
Veröffentlicht: (1995)
von: Little, Thomas D. C.
Veröffentlicht: (1995)
Wird geladen …
Multi-core embedded systems /
Veröffentlicht: (2010)
Veröffentlicht: (2010)
Wird geladen …
Applications in parallel and distributed computing : Proceedings of the IFIP WG10.3 working conf., Caracas, Venezuela, 18 - 22 April, 1994 /
von: Misra, Manavendra
Veröffentlicht: (1994)
von: Misra, Manavendra
Veröffentlicht: (1994)
Wird geladen …
Architectures and compilation techniques for fine and medium grain parallelism : Proceedings of the IFIP WG10.3 working conf., Orlando, Florida, USA, 20 - 22 Jan., 1993 /
von: Wang, Jian
Veröffentlicht: (1993)
von: Wang, Jian
Veröffentlicht: (1993)
Wird geladen …
Proceedings of the seventh symposium on microcomputer and microprocessor application. Vol. II : Budapest, Hungary, 22 - 24 April, 1992 /
von: Dudás, József
Veröffentlicht: (1992)
von: Dudás, József
Veröffentlicht: (1992)
Wird geladen …
Computer aided verification : Proceedings, Elounda, Greece, June 28 - July 1, 1993 /
von: Courcoubetis, Costas
Veröffentlicht: (1993)
von: Courcoubetis, Costas
Veröffentlicht: (1993)
Wird geladen …
Automatics and informatics '03 : international conference, Sofia, Bulgaria, October 6-8, 2003 : proceedings.
von: Karadimas, N.
Veröffentlicht: (2003)
von: Karadimas, N.
Veröffentlicht: (2003)
Wird geladen …
Design and test technology for dependable systems-on-chip /
Veröffentlicht: (2011)
Veröffentlicht: (2011)
Wird geladen …
Embedded network sensor systems : SenSys'14 ; proceedigns of the 12th ACM conference, Memphis, TN, USA, November 3-6, 2014 /
Veröffentlicht: (2014)
Veröffentlicht: (2014)
Wird geladen …
LabVIEW 8. Evaluation CD
Veröffentlicht: (2008)
Veröffentlicht: (2008)
Wird geladen …
Sichtsystemgestützte Fahrzeugführung und Fahrer-Fahrzeug-Wechselwirkung. Band 1 /
von: Bieber, E.
Veröffentlicht: (1995)
von: Bieber, E.
Veröffentlicht: (1995)
Wird geladen …
Tangible, embedded and embodied interaction : TEI'10, proceedings of the 4th international conference, Cambridge, MA, USA, January 25-27, 2010 /
von: Willis, Karl D. D.
Veröffentlicht: (2010)
von: Willis, Karl D. D.
Veröffentlicht: (2010)
Wird geladen …
Handbook of research on ambient intelligence and smart environments : trends and perspectives /
Veröffentlicht: (2011)
Veröffentlicht: (2011)
Wird geladen …
Real-time constrained reconfigurable communication between embedded processors /
von: Leitjen, Jeroen Anton Johan
Veröffentlicht: (1998)
von: Leitjen, Jeroen Anton Johan
Veröffentlicht: (1998)
Wird geladen …
Embedded networked sensor systems & co-located workshops : SenSys'15 ; BuildSys'15, CSAR'15, ENSsys'15, IoT-App'15, & RealWSN'15 ; proceedings of the13th ACM conference, Seoul, South Korea, November 1-4, 2015 /
Veröffentlicht: (2015)
Veröffentlicht: (2015)
Wird geladen …
Investigation of the performance of dynamical systems and algorithms : Papers for the seminar, /
von: Paulauskas, Celestinas
Veröffentlicht: (1991)
von: Paulauskas, Celestinas
Veröffentlicht: (1991)
Wird geladen …
FME '93. Industrial-strength formal methods : Proceedings, Odense, Denmark, April 19 - 23, 1993 /
von: Jones, C. B.
Veröffentlicht: (1993)
von: Jones, C. B.
Veröffentlicht: (1993)
Wird geladen …
Genetic and evolutionary computation conference : GECCO 2010, Portland, Oregon, U. S. A., July 7-11, 2010 /
von: Abbas, Hazem M.
Veröffentlicht: (2010)
von: Abbas, Hazem M.
Veröffentlicht: (2010)
Wird geladen …
Real-time control of electric power systems /
Veröffentlicht: (1972)
Veröffentlicht: (1972)
Wird geladen …
Vector quantization /
von: Abut, Hüseyin
Veröffentlicht: (1990)
von: Abut, Hüseyin
Veröffentlicht: (1990)
Wird geladen …
Architectures for networking and communications systems : ANCS'14 ; proceedings of the 2014 ACM/IEEE symposium, Marina del Rey, CA, USA, October 20-21, 2014 /
Veröffentlicht: (2014)
Veröffentlicht: (2014)
Wird geladen …
Computer networks and systems. Queueing theory and performance evaluation /
von: Robertazzi, Thomas G.
Veröffentlicht: (1994)
von: Robertazzi, Thomas G.
Veröffentlicht: (1994)
Wird geladen …
Scheduler optimization in real-time distributed databases /
von: Bodlaender, Maarten Peter
Veröffentlicht: (1999)
von: Bodlaender, Maarten Peter
Veröffentlicht: (1999)
Wird geladen …
Signály a sústavy. Návody na cvičenia /
von: Ondráček, Oldřich 1950-
Veröffentlicht: (1998)
von: Ondráček, Oldřich 1950-
Veröffentlicht: (1998)
Wird geladen …
Modeling, analysis, and simulation of wireless and mobile systems : MSWiM ́10, proceedings of the 13th ACM International conference, Turkey, October 17-21, 2010 /
von: Milioris, Dimitris
Veröffentlicht: (2010)
von: Milioris, Dimitris
Veröffentlicht: (2010)
Wird geladen …
Specification and compositional verification of real-time systems /
von: Hooman, Jozef Johannes Maria
Veröffentlicht: (1991)
von: Hooman, Jozef Johannes Maria
Veröffentlicht: (1991)
Wird geladen …
Diferenciální počet. I. díl /
von: Jankovský, Zdeněk
Veröffentlicht: (1994)
von: Jankovský, Zdeněk
Veröffentlicht: (1994)
Wird geladen …
Der Computer als intelligentes Arbeitsmittel : COMPIA-91, Halle, 24.- 26. Sept. 1991 /
von: Krötenheerdt, Johannes
Veröffentlicht: (1991)
von: Krötenheerdt, Johannes
Veröffentlicht: (1991)
Wird geladen …
Modeling, analysis and simulation of wireless and mobile systems : MSWiM '15 ; proceedings of the 18th ACM international conference ; Cancun, Mexico, November 2 - 6, 2015 /
Veröffentlicht: (2016)
Veröffentlicht: (2016)
Wird geladen …
Mobile computing and networking and co-located workshops : MoBiCom'11, proceedings of the 17th annual international conference, CHANTS'11, CoRoNet'11, S3'11, VANET'11, and WiNTECH'11, Las Vegas, Nevada, USA, September 19-23, 2011.
Veröffentlicht: (2011)
Veröffentlicht: (2011)
Wird geladen …
Management of multimedia networks and services. Proceedings : MMNS 2003, Belfast, Northern Ireland, UK, Sept. 7 - 10, 2003 /
von: Agoulmine, Nazim
Veröffentlicht: (2003)
von: Agoulmine, Nazim
Veröffentlicht: (2003)
Wird geladen …
Hybrid systems : computation and control : HSCC ́11, proceedings of the 14th international conference, Chicago, Illinois, April 12-14, 2011 /
von: Pappas, George J.
Veröffentlicht: (2011)
von: Pappas, George J.
Veröffentlicht: (2011)
Ähnliche Einträge
-
Real-time systems : formal specification and automatic verification /
von: Olderog, Ernst-Rüdiger, et al.
Veröffentlicht: (2008) -
Reconfigurable embedded control systems : applications for flexibility and agility /
Veröffentlicht: (2011) -
Mathematical modelling of technical processes. Prepared within SOCRATES - ERAMUS programme : MAMOTEP, Prešov, July 2 - 13, 2001 /
von: Hrubina, Kamil
Veröffentlicht: (2001) -
Software engineering for parallel real-time systems : Proceedings of the internat. workshop, Smolenice, March 1993 /
von: Henkel, J.
Veröffentlicht: (1993) -
First ACM and IEEE international conference on formal methods and models for co-design. MEMOCODE'03 : Proceedings, Mont Saint-Michel, France, 24 - 26 June 2003 /
von: Meseguer, José
Veröffentlicht: (2003)

