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
L. N. Q. Do, K. Ali, B. Livshits, E. Bodden, J. Smith, and E. Murphy-Hill, “Just-in-time Static Analysis,” in Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2017, pp. 307–317, doi: 10.1145/3092703.3092705.
LibreCat | DOI | Download (ext.)
 

2017 | Conference Paper | LibreCat-ID: 97
L. van Rooijen, F. S. Bäumer, M. C. Platenius, M. Geierhos, H. Hamann, and G. 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), Lisbon, Portugal, 2017, pp. 379–385.
LibreCat | Files available | DOI
 

2017 | Conference Paper | LibreCat-ID: 10676
N. Ho, P. Kaufmann, and M. 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), 2017, pp. 215–218.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 48863
J. Bossek, “Ecr 2.0: A Modular Framework for Evolutionary Computation in R,” in Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2017, pp. 1187–1193, doi: 10.1145/3067695.3082470.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 4244
S. Gordon, M. Yacob, J. P. Reithmaier, M. Benyoucef, and A. Zrenner, “Coherent photocurrent spectroscopy of single InP-based quantum dots in the telecom band at 1.5 µm,” Applied Physics B, vol. 122, no. 2, 2016.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 4246
S. Varwig et al., “Advanced optical manipulation of carrier spins in (In,Ga)As quantum dots,” Applied Physics B, vol. 122, no. 1, Art. no. 17, 2016, doi: 10.1007/s00340-015-6274-y.
LibreCat | DOI
 

2016 | Book Chapter | LibreCat-ID: 51827
M. Schmitt, “The Code of Banking. Software as the Digitalization of German Savings Banks,” in International Communities of Invention and Innovation, A. Tatnall and C. Leslie, Eds. Cham: Springer, 2016, pp. 141–164.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 10673
N. Ho, A. F. Ahmed, P. Kaufmann, and M. Platzner, “Microarchitectural optimization by means of reconfigurable and evolvable cache mappings,” in Proc. NASA/ESA Conf. Adaptive Hardware and Systems (AHS), 2015, pp. 1–7.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 10779
Z. Guettatfi, O. Kermia, and A. Khouas, “Over effective hard real-time hardware tasks scheduling and allocation,” in 25th International Conference on Field Programmable Logic and Applications (FPL), 2015.
LibreCat | DOI
 

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

2015 | Journal Article | LibreCat-ID: 41866
J. A. Russer, N. Uddin, A. S. Awny, A. Thiede, and P. Russer, “Near-field measurement of stochastic electromagnetic fields,” IEEE Electromagnetic Compatibility Magazine, vol. 4, no. 3, pp. 79–85, 2015, doi: 10.1109/memc.2015.7336761.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 9889
C. Sprock and W. Sextro, “Time-efficient dynamic analysis of structures exhibiting nonlinear peak bending,” in Instrumentation and Measurement Technology Conference (I2MTC) Proceedings, 2014 IEEE International, 2014, pp. 320–324.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 10674
N. Ho, P. Kaufmann, and M. Platzner, “A hardware/software infrastructure for performance monitoring on LEON3 multicore platforms,” in 24th Intl. Conf. on Field Programmable Logic and Applications (FPL), 2014, pp. 1–4.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 10677
N. Ho, P. Kaufmann, and M. Platzner, “Towards self-adaptive caches: A run-time reconfigurable multi-core infrastructure,” in 2014 {IEEE} Intl. Conf. on Evolvable Systems (ICES), 2014, pp. 31–37.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 36918
M. Becker, C. Kuznik, and W. Müller, “Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems,” presented at the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, 2014, doi: 10.1109/ICCPS.2014.6843726.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 8171 | OA
S. Gharibian and J. Kempe, “Hardness of approximation for quantum problems,” Quantum Information & Computation, vol. 14, no. 5–6, pp. 517–540, 2014.
LibreCat | Download (ext.) | arXiv
 

2014 | Journal Article | LibreCat-ID: 46266
B. Alizadeh, P. Behnam, and S. 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, pp. 1–1, 2014, doi: 10.1109/tc.2014.2329687.
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 11862
V. Leutnant, A. Krueger, and R. Haeb-Umbach, “Bayesian Feature Enhancement for Reverberation and Noise Robust Speech Recognition,” IEEE Transactions on Audio, Speech, and Language Processing, vol. 21, no. 8, pp. 1640–1652, 2013.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 36919
F. Mischkalla and W. Müller, “Efficient Power-Intent Validation Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach,” presented at the 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2013, doi: 10.1109/PATMOS.2013.6662171.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 36920
D. He and W. 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), 2013.
LibreCat
 

Filters and Search Terms

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

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed