Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

136 Publications


2017 | Conference Paper | LibreCat-ID: 20559
Do, Lisa Nguyen Quang, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, and Emerson Murphy-Hill. “Just-in-Time Static Analysis.” In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, 307–17. ISSTA 2017. New York, NY, USA: ACM, 2017. https://doi.org/10.1145/3092703.3092705.
LibreCat | DOI | Download (ext.)
 

2017 | Conference Paper | LibreCat-ID: 97
Rooijen, Lorijn van, Frederik Simon Bäumer, Marie Christin Platenius, Michaela Geierhos, Heiko Hamann, and Gregor Engels. “From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process.” In 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), 379–85. Piscataway, NJ, USA: IEEE, 2017. https://doi.org/10.1109/REW.2017.26.
LibreCat | Files available | DOI
 

2017 | Conference Paper | LibreCat-ID: 10676
Ho, Nam, Paul Kaufmann, and Marco Platzner. “Evolvable Caches: Optimization of Reconfigurable Cache Mappings for a LEON3/Linux-Based Multi-Core Processor.” In 2017 International Conference on Field Programmable Technology (ICFPT), 215–18, 2017. https://doi.org/10.1109/FPT.2017.8280144.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 48863
Bossek, Jakob. “Ecr 2.0: A Modular Framework for Evolutionary Computation in R.” In Proceedings of the Genetic and Evolutionary Computation Conference Companion, 1187–1193. GECCO ’17. New York, NY, USA: Association for Computing Machinery, 2017. https://doi.org/10.1145/3067695.3082470.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 4244
Gordon, S., M. Yacob, J. P. Reithmaier, M. Benyoucef, and Artur Zrenner. “Coherent Photocurrent Spectroscopy of Single InP-Based Quantum Dots in the Telecom Band at 1.5 Μm.” Applied Physics B 122, no. 2 (2016). https://doi.org/10.1007/s00340-015-6279-6.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 4246
Varwig, S., E. Evers, A. Greilich, D. R. Yakovlev, Dirk Reuter, A. D. Wieck, Torsten Meier, Artur Zrenner, and M. Bayer. “Advanced Optical Manipulation of Carrier Spins in (In,Ga)As Quantum Dots.” Applied Physics B 122, no. 1 (2016). https://doi.org/10.1007/s00340-015-6274-y.
LibreCat | DOI
 

2016 | Book Chapter | LibreCat-ID: 51827
Schmitt, Martin. “The Code of Banking. Software as the Digitalization of German Savings Banks.” In International Communities of Invention and Innovation, edited by Arthur Tatnall and Christopher Leslie, 141–164. IFIP Advances in Information and Communication Technology. Cham: Springer, 2016.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 10673
Ho, Nam, Abdullah Fathi Ahmed, Paul Kaufmann, and Marco Platzner. “Microarchitectural Optimization by Means of Reconfigurable and Evolvable Cache Mappings.” In Proc. NASA/ESA Conf. Adaptive Hardware and Systems (AHS), 1–7, 2015. https://doi.org/10.1109/AHS.2015.7231178.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 10779
Guettatfi, Zakarya, Omar Kermia, and Abdelhakim Khouas. “Over Effective Hard Real-Time Hardware Tasks Scheduling and Allocation.” In 25th International Conference on Field Programmable Logic and Applications (FPL). Imperial College, 2015. https://doi.org/10.1109/FPL.2015.7293994.
LibreCat | DOI
 

2015 | Mastersthesis | LibreCat-ID: 33312
Schwichtenberg, Bahar. Early Prediction of Security Properties for Mechatronic Systems, 2015.
LibreCat | Files available
 

2015 | Journal Article | LibreCat-ID: 41866
Russer, Johannes A., Nasir Uddin, Ahmed Sanaa Awny, Andreas Thiede, and Peter Russer. “Near-Field Measurement of Stochastic Electromagnetic Fields.” IEEE Electromagnetic Compatibility Magazine 4, no. 3 (2015): 79–85. https://doi.org/10.1109/memc.2015.7336761.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 9889
Sprock, Christian, and Walter Sextro. “Time-Efficient Dynamic Analysis of Structures Exhibiting Nonlinear Peak Bending.” In Instrumentation and Measurement Technology Conference (I2MTC) Proceedings, 2014 IEEE International, 320–24, 2014. https://doi.org/10.1109/I2MTC.2014.6860760.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 10674
Ho, Nam, Paul Kaufmann, and Marco Platzner. “A Hardware/Software Infrastructure for Performance Monitoring on LEON3 Multicore Platforms.” In 24th Intl. Conf. on Field Programmable Logic and Applications (FPL), 1–4, 2014. https://doi.org/10.1109/FPL.2014.6927437.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 10677
Ho, Nam, Paul Kaufmann, and Marco Platzner. “Towards Self-Adaptive Caches: A Run-Time Reconfigurable Multi-Core Infrastructure.” In 2014 {IEEE} Intl. Conf. on Evolvable Systems (ICES), 31–37, 2014. https://doi.org/10.1109/ICES.2014.7008719.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 36918
Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems.” Berlin: IEEE, 2014. https://doi.org/10.1109/ICCPS.2014.6843726.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 8171 | OA
Gharibian, Sevag, and Julia Kempe. “Hardness of Approximation for Quantum Problems.” Quantum Information & Computation 14, no. 5–6 (2014): 517–40.
LibreCat | Download (ext.) | arXiv
 

2014 | Journal Article | LibreCat-ID: 46266
Alizadeh, Bijan, Payman Behnam, and Somayeh Sadeghi-Kohan. “A Scalable Formal Debugging Approach with Auto-Correction Capability Based on Static Slicing and Dynamic Ranking for RTL Datapath Designs.” IEEE Transactions on Computers, 2014, 1–1. https://doi.org/10.1109/tc.2014.2329687.
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 11862
Leutnant, Volker, Alexander Krueger, and Reinhold Haeb-Umbach. “Bayesian Feature Enhancement for Reverberation and Noise Robust Speech Recognition.” IEEE Transactions on Audio, Speech, and Language Processing 21, no. 8 (2013): 1640–52. https://doi.org/10.1109/TASL.2013.2258013.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 36919
Mischkalla, Fabian, and Wolfgang Müller. “Efficient Power-Intent Validation Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach.” Karlsruhe: IEEE, 2013. https://doi.org/10.1109/PATMOS.2013.6662171.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 36920
He, Da, and Wolfgang Müller. “An Energy-Efficient Heuristic for Hard Real-Time System on Multi-Core Processors.” In Proceedings of the International Conference on Applied Computing (AC), edited by Hans Weghorn. Fort Worth, Texas, USA, 2013.
LibreCat
 

Filters and Search Terms

keyword=%22hardware-software%20real-time%20operating%20systems%22

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed