Summary

• Page properties (1 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Content

...	...	@@ -38,11 +38,19 @@
38	38	=== Bachelor Empfehlung ===
39	39
40	40	1. (% style="color: rgb(0,0,0);" %)Yooseong Kim, David Broman, Jian Cai, and Aviral Shrivastaval, "WCET-Aware Dynamic Code Management on Scratchpads for Software-Managed Multicores", In /Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS 2014)/, Berlin, Germany, 2014, (%%)[[PDF hier>>url:http://www.bromans.com/publ/kim-et-al-2014-wcet-scm-ssm.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]]
	41	+1. (% style="color: rgb(0,0,0);" %)Patricia Derler, Edward A. Lee, Alberto Sangiovanni-Vincentelli, "Modeling Cyber-Physical Systems", Proceedings of the IEEE (special issue on CPS)/, 100(1):13-28, January 2012, (%%)[[PDF hier>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5995279||shape="rect"]]
	42	+1. (% style="color: rgb(0,0,0);" %)Björn Döbel, Hermann Härtig, "Can We Put Concurrency Back Into Redundant Multithreading?", EMSOFT 2014, (%%)[[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6986127||shape="rect" class="external-link"]]
	43	+1. (% style="color: rgb(0,0,0);" %)Ahmed Alhammad, Rodolfo Pellizzoni, "Schedulability Analysis of Global Memory-predictable Scheduling", EMSOFT 2014, (%%)[[PDF hier>>url:http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6986128||shape="rect" class="external-link"]]
	44	+1. Biswajit Mazumder, JAson O. Hallstrom, "A Fast, Lightweight, and Reliable File System for Wireless Sensor Networks", EMSOFT 2016, [[PDF hier>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7743241||shape="rect"]]
	45	+1. A. Procter, W. Harrison, I. Graves, M. Becchi, G. Allwein, "Semantics Driven Hardware Design, Implementation, and Verification with ReWire", LCTES 2015, [[PDF hier>>url:https://dl.acm.org/citation.cfm?id=2754970||shape="rect"]]
	46	+1. Yixiao Lin, Sayan Mitro, "StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems", LCTES 2015, [[PDF hier>>url:https://dl.acm.org/citation.cfm?id=2754966||shape="rect"]]
41	41
42	42	=== Master Empfehlung ===
43	43
44		-(% style="margin-left: 30.0px;" %)
45		-TBA
	50	+1. (% style="color: rgb(0,0,0);" %)Edward A. Lee, "Constructive Models of Discrete and Continuous Physical Phenomena", IEEE Acces, Vol. 2, pages 797-821, August 7, 2014, (%%)[[PDF hier>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6873221||shape="rect"]]
	51	+1. (% style="color: rgb(0,0,0);" %)David Broman, Christopher Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter,  "Determinate Composition of FMUs for Co-Simulation", 13th International Conference on Embedded Software (EMSOFT), Montreal, Canada, September 29 - October 4, 2013, (%%)[[PDF hier>>url:http://www.dtic.mil/cgi-bin/GetTRDoc?AD=ADA587399||shape="rect" class="external-link"]]
	52	+1. Arnd Hartmanns, Holger Hermanns, Michael Bungert, "Flexible Support for Time and Costs in Scenario-Aware Dataflow", EMSOFT 2016, [[PDF hier>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7743220||shape="rect"]]
	53	+1. Duc-Hiep Chu, Joxan Jaffar, Rasool Maghareh, "Symbolic Execution for Memory Consumption Analysis", LCTES 2016, [[PDF hier>>url:https://dl.acm.org/citation.cfm?doid=2907950.2907955||shape="rect"]]
46	46
47	47	(% style="margin-left: 30.0px;" %)
48	48	(% class="text-black navigate" %)//

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-40894612
	1	+40894615

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/40894612/SS18 (Echtzeitsysteme und eingebettete Systeme)
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/40894615/SS18 (Echtzeitsysteme und eingebettete Systeme)