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.
9737 Publications
2014 | Conference Paper | LibreCat-ID: 40759
D. Ramírez, P. J. Schreier, J. Vía, I. Santamaría, and L. L. Scharf, “A Regularized Maximum Likelihood Estimator for the Period of a Cyclostationary Process,” 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 40763
T. Adali and P. J. Schreier, “Optimization and estimation of complex-valued signals,” IEEE Signal Processing Magazine, vol. 31, no. 5, pp. 112–128, 2014, doi: 10.1109/MSP.2013.2287951.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 40769
C. Lameiro, I. Santamaría, and W. Utschick, “Interference Shaping Constraints for Underlay MIMO Interference Channels,” 2014, doi: 10.1109/ICASSP.2014.6855020.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 40765
M. Stein, A. Mezghani, and J. A. Nossek, “A lower bound for the Fisher information measure,” IEEE Signal Process.\ Lett., vol. 21, no. 7, pp. 796–799, 2014, doi: 10.1109/LSP.2014.2316008.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 8171 | 
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: 8172 |
D. W. Berry, R. Cleve, and S. Gharibian, “Gate-efficient discrete simulations of continuous-time quantum query algorithms,” Quantum Information & Computation, vol. 14, no. 1–2, pp. 1–30, 2014.
LibreCat
| Download (ext.)
| arXiv
2014 | Journal Article | LibreCat-ID: 34845
C. Fieker and J. Klüners, “Computation of Galois groups of rational polynomials,” LMS Journal of Computation and Mathematics, vol. 17, no. 1, pp. 141–158, 2014, doi: 10.1112/s1461157013000302.
LibreCat
| DOI
| arXiv
2014 | Journal Article | LibreCat-ID: 39483
F. F. Vidor, G. I. Wirth, and U. Hilleringmann, “Low temperature fabrication of a ZnO nanoparticle thin-film transistor suitable for flexible electronics,” Microelectronics Reliability, vol. 54, no. 12, pp. 2760–2765, 2014, doi: 10.1016/j.microrel.2014.07.147.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 39484
C. Hangmann, C. Hedayat, and U. Hilleringmann, “Stability Analysis of a Charge Pump Phase-Locked Loop Using Autonomous Difference Equations,” IEEE Transactions on Circuits and Systems I: Regular Papers, vol. 61, no. 9, pp. 2569–2577, 2014, doi: 10.1109/tcsi.2014.2333331.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 42793
M. Kirschmer, “One-class genera of maximal integral quadratic forms,” Journal of Number Theory, vol. 136, pp. 375–393, 2014, doi: 10.1016/j.jnt.2013.10.007.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 39497
F. Assion, V. Geneiß, M. Schönhoff, C. Hedayat, and U. Hilleringmann, “Anodized Aluminum as Effective and Cheap Alternative Substrate for Thermoelectric Generators,” in Proceedings of the 11th European Conference on Thermoelectrics, 2014, pp. 83–88.
LibreCat
2014 | Conference Paper | LibreCat-ID: 39498
M. Schönhoff, F. Assion, and U. Hilleringmann, “A Flexible Measurement System for the Characterization of Thermoelectric Materials,” in Proceedings of the 11th European Conference on Thermoelectrics, 2014, pp. 53–60.
LibreCat
2014 | Conference Paper | LibreCat-ID: 39500
U. Hilleringmann and A. Kleine, “Replacing TCO electrodes in dye sensitized solar cells by metal grids,” in SPIE Proceedings, 2014, doi: 10.1117/12.2063218.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 39503
F. Vidor, G. Wirth, and U. Hilleringmann, “Random telegraph signal in nanoparticulated ZnO thin-film transistors,” 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 39494
K. Kanwar, T. Mager, U. Hilleringmann, V. Geneiss, and C. Hedayat, “Embedded UHF RFID tag design process for rubber transmission belt using 3D model,” 2014, doi: 10.1109/rfid-ta.2014.6934208.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 39486
C. Hangmann, I. Wullner, C. Hedayat, and U. Hilleringmann, “Modeling and characterization of CP-PLL phase noise in presence of dead zone,” 2014, doi: 10.1109/newcas.2014.6934054.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 39518
U. Hilleringmann, M. Schonhoff, and F. Assion, “Titanium disilicide as hot side metallization layer for thermoelectric generators,” 2014, doi: 10.1109/afrcon.2013.6757616.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 42801
M. Kirschmer and C. LEEDHAM-GREEN, “Computing with subgroups of the modular group ,” Glasgow Mathematical Journal, vol. 57, no. 1, pp. 173–180, 2014, doi: 10.1017/s0017089514000202.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 42794
B. Eick, M. Kirschmer, and C. Leedham-Green, “The constructive membership problem for discrete free subgroups of rank 2 of SL₂(R),” LMS Journal of Computation and Mathematics, vol. 17, no. 1, pp. 345–359, 2014, doi: 10.1112/s1461157014000047.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3939
A. Hildebrandt, M. Reichelt, T. Meier, and J. Förstner, “Engineering plasmonic and dielectric directional nanoantennas,” in Ultrafast Phenomena and Nanophotonics XVIII, 2014, vol. 8984, pp. 89841G-8941G–6, doi: 10.1117/12.2036588.
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 44341
I. Burban and B. Kreußler, “Analytic moduli spaces of simple sheaves on families of integral curves,” Mathematische Nachrichten, vol. 287, no. 2–3, pp. 173–183, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 45686
J. Bruns, C. Walter-Laager, M. Pfiffner, and J. Schwarz, “Beobachten und Dokumentieren. Basis zur chancengerechten Gestaltung des pädagogischen Alltags,” in Vorsprung für alle! Erhöhung der Chancengerechtigkeit durch Projekte der Frühpädagogik, 2014, pp. 132–168.
LibreCat
2014 | Book | LibreCat-ID: 36474
J. Bruns, Adaptive Förderung in der elementarpädagogischen Praxis. Eine empirische Studie zum di-daktischen Handeln von Erzieherinnen und Erziehern im Bereich Mathematik, vol. 21. Münster: Waxmann, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 36533 |
J. Bruns and L. Eichen, “Adaptive mathematische Förderung im Elementarbereich - Empirische Ergebnisse zum didaktischen Handeln von Erzieherinnen,” in Beiträge zum Mathematikunterricht 2014, Koblenz, 2014, pp. 277–280, doi: 10.17877/DE290R-5105.
LibreCat
| Files available
| DOI
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
2014 | Conference Paper | LibreCat-ID: 46268
M. Mohammadi, S. Sadeghi-Kohan, N. Masoumi, and Z. Navabi, “An off-line MDSI interconnect BIST incorporated in BS 1149.1,” 2014, doi: 10.1109/ets.2014.6847847.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 46267
S. Sadeghi-Kohan, P. Behnam, B. Alizadeh, M. Fujita, and Z. Navabi, “Improving polynomial datapath debugging with HEDs,” 2014, doi: 10.1109/ets.2014.6847797.
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 335
M. Platzner and C. Plessl, “Verschiebungen an der Grenze zwischen Hardware und Software,” in Logiken strukturbildender Prozesse: Automatismen, J. Künsemöller, N. O. Eke, L. Foit, and T. Kaerlein, Eds. Paderborn: Wilhelm Fink, 2014, pp. 123–144.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 388
T. Kenter, G. F. Vaz, and C. Plessl, “Partitioning and Vectorizing Binary Applications for a Reconfigurable Vector Computer,” in Proceedings of the International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications (ARC), 2014, vol. 8405, pp. 144–155, doi: 10.1007/978-3-319-05960-0_13.
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 363
A. Agne, H. Hangmann, M. Happe, M. Platzner, and C. Plessl, “Seven Recipes for Setting Your FPGA on Fire – A Cookbook on Heat Generators,” Microprocessors and Microsystems, vol. 38, no. 8, Part B, pp. 911–919, 2014, doi: 10.1016/j.micpro.2013.12.001.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 377
H. Riebler, T. Kenter, C. Plessl, and C. Sorge, “Reconstructing AES Key Schedules from Decayed Memory with FPGAs,” in Proceedings of Field-Programmable Custom Computing Machines (FCCM), 2014, pp. 222–229, doi: 10.1109/FCCM.2014.67.
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 365
A. Agne, M. Happe, A. Lösch, C. Plessl, and M. Platzner, “Self-awareness as a Model for Designing and Operating Heterogeneous Multicores,” ACM Transactions on Reconfigurable Technology and Systems (TRETS), vol. 7, no. 2, Art. no. 13, 2014, doi: 10.1145/2617596.
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 328
A. Agne et al., “ReconOS - An Operating System Approach for Reconfigurable Computing,” IEEE Micro, vol. 34, no. 1, pp. 60–71, 2014, doi: 10.1109/MM.2013.110.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 1778
G. C. Durelli et al., “Runtime Resource Management in Heterogeneous System Architectures: The SAVE Approach,” in Proc. Int. Symp. on Parallel and Distributed Processing with Applications (ISPA), 2014, pp. 142–149, doi: 10.1109/ISPA.2014.27.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 439
G. F. Vaz, H. Riebler, T. Kenter, and C. Plessl, “Deferring Accelerator Offloading Decisions to Application Runtime,” in Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2014, pp. 1–8, doi: 10.1109/ReConFig.2014.7032509.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 406
T. Kenter, H. Schmitz, and C. Plessl, “Kernel-Centric Acceleration of High Accuracy Stereo-Matching,” in Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2014, pp. 1–8, doi: 10.1109/ReConFig.2014.7032535.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 1780
G. C. Durelli et al., “SAVE: Towards efficient resource management in heterogeneous system architectures,” 2014, doi: 10.1007/978-3-319-05960-0_38.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 1779
H. Giefers, C. Plessl, and J. Förstner, “Accelerating Finite Difference Time Domain Simulations with Reconfigurable Dataflow Computers,” ACM SIGARCH Computer Architecture News, vol. 41, no. 5, pp. 65–70, 2014, doi: 10.1145/2641361.2641372.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 47592
G. Jonas-Ahrend, “The project virtual science fair for promoting inquiry learning,” in Initiatives in mathematics and science education with global implications, 2014, pp. 85–89.
LibreCat
2014 | Conference Paper | LibreCat-ID: 47606
G. Jonas-Ahrend, H. Rafaeli-Mishkin, N. Wengrovicz, and Y. J. Dori, “Raising students’ interest in STEM and encouraging career choice in science and engineering,” presented at the Annual Meeting of the National Science Teacher Association (NSTA), Boston/USA, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 11898 |
J. Schmalenstroeer, P. Jebramcik, and R. Haeb-Umbach, “A combined hardware-software approach for acoustic sensor network synchronization ,” Signal Processing, no. 0, p., 2014, doi: http://dx.doi.org/10.1016/j.sigpro.2014.06.030.
LibreCat
| DOI
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 11897 |
J. Schmalenstroeer, P. Jebramcik, and R. Haeb-Umbach, “A Gossiping Approach to Sampling Clock Synchronization in Wireless Acoustic Sensor Networks,” 2014.
LibreCat
| Files available
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 11903 |
J. Schmalenstroeer, W. Zhao, and R. Haeb-Umbach, “Online Observation Error Model Estimation for Acoustic Sensor Network Synchronization,” 2014.
LibreCat
| Files available
| Download (ext.)
2014 | Book Chapter | LibreCat-ID: 46381
P. Kerschke et al., “Cell Mapping Techniques for Exploratory Landscape Analysis,” in EVOLVE — A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation V, vol. 288, A.-A. Tantar, E. Tantar, J.-Q. Sun, W. Zhang, Q. Ding, O. Schütze, M. T. M. Emmerich, P. Legrand, M. P. Del, and C. C. A. Coello, Eds. Cham: Springer International Publishing, 2014, pp. 115–131.
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 46382
G. Rudolph, O. Schütze, C. Grimme, and H. Trautmann, “A Multiobjective Evolutionary Algorithm Guided by Averaged Hausdorff Distance to Aspiration Sets,” in EVOLVE — A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation V, vol. 288, A. Tantar, E. Tantar, J. Sun, W. Zhang, Q. Ding, O. Schütze, M. Emmerich, P. Legrand, M. P. Del, and C. C. Coello, Eds. Springer International Publishing, 2014, pp. 261–273.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 46383
G. Rudolph, C. Grimme, O. Schütze, and H. Trautmann, “An Aspiration Set EMOA Based on Averaged Hausdorff Distances,” in Proceedings of the Learning and Intelligent OptimizatioN Conference (LION 8), 2014, vol. 8426, pp. 153–156.
LibreCat
2014 | Conference Paper | LibreCat-ID: 46384
S. Wessing, M. Preuss, and H. Trautmann, “Stopping Criteria for Multimodal Optimization,” in Proceedings of the Parallel Problem Solving from Nature — PPSN XIII, 2014, vol. 8672, pp. 141–150, doi: 10.1007/978-3-319-10762-2_14.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 47162
S. Fahl, Y. Acar, H. Perl, and M. Smith, “Why eve and mallory (also) love webmasters,” 2014, doi: 10.1145/2590296.2590341.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 31369 |
A. Panse, J. Hilgert, and M. Hoffmann, “Handlungsbedarf in fachmathematischen Veranstaltungen? – Spezielle Maßnahmen an der Universität Paderborn,” in Beiträge zum Mathematikunterricht 2014, 2014, pp. 883–886, doi: 10.17877/DE290R-15591.
LibreCat
| DOI
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 51394
J. Hilgert, J. Möllers, and T. Kobayashi, “Minimal representations via Bessel operators,” J. Math. Soc. Japan, vol. 66, pp. 349–414, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 51393
J. Hilgert, T. Wurzbacher, and A. Alldridge, “Singular superspaces,” Math. Z., vol. 278, pp. 441–492, 2014.
LibreCat
2014 | Book Chapter | LibreCat-ID: 51466
J. Hilgert and G. Ólafsson, “The Radon transform and its dual for limits of symmetric spaces,” in Developments and Retrospectives in Lie Theory - Geometric and Analytic Methods, vol. 37, G. Mason, I. Penkov, and J. A. Wolf, Eds. Springer, 2014.
LibreCat
2014 | Book Chapter | LibreCat-ID: 51465
J. Hilgert, M. Hoffmann, and A. Panse, “Schwierigkeiten von Studienanfängern, verschiedene Lehrmethoden und Fragen an die Didaktik,” in Beiträge zum Mathematikunterricht 2014, J. Roth and J. Ames, Eds. Münster: WTM Verlag, 2014.
LibreCat
2014 | Preprint | LibreCat-ID: 51531
J. Hilgert, A. Pasquale, and T. Przebinda, “Resonances for the Laplacian on Riemannian symmetric spaces: the case of SL(3,R)/SO(3).” 2014.
LibreCat
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 45935
O. Axelsson, J. Karátson, and B. Kovács, “Robust Preconditioning Estimates for Convection-Dominated Elliptic Problems via a Streamline Poincaré--Friedrichs Inequality,” SIAM Journal on Numerical Analysis, vol. 52, no. 6, pp. 2957–2976, 2014, doi: 10.1137/130940268.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 45934
B. Kovács, “On the numerical performance of a sharp a posteriori error estimator for some nonlinear elliptic problems,” Applications of Mathematics, vol. 59, no. 5, pp. 489–508, 2014, doi: 10.1007/s10492-014-0068-0.
LibreCat
| DOI
2014 | Dissertation | LibreCat-ID: 51696
G. Werth, Ziehen und Beweisen mit DGS. Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen? 2014.
LibreCat
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 32025
B. Küster, “Discontinuity of the Fuglede-Kadison determinant on a group von Neumann algebra,” Communications in Mathematics, vol. 22, no. 2, pp. 141–149, 2014.
LibreCat
2014 | Book | LibreCat-ID: 48384
L. Wessel, Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff, vol. 19. Wiesbaden: Springer-Verlag, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 25164
M. Becker, W. Müller, J. Stroop, and U. Kiffmeier, “HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC,” Design, Automation and Test in Europe DATE, University Booth, Dresden, 2014.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25269
Y. Khaluf, M. Birattari, and F.-J. Rammig, “Probabilistic Analysis of Long-term Swarm Performance under Spatial Interferences,” in Theory and Practice of Natural Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of Natural Computing, TPNC 2013, Cáceres, Spain, 3. - 5. Dez. 2013, 2013, vol. 8273.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25270
M. tech. M. M. Joy, W. Müller, and F.-J. Rammig, “Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25271
D. He and W. Müller, “AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25273
M. A. Wehrmeister, C. E. Pereira, and F.-J. Rammig, “Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems,” in IEEE Trans. on Industrial Informatics vol. 9 (no. 4), 2013, pp. 2373–2386.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25274
Y. Khaluf and F.-J. Rammig, “Task Allocation Strategy for Time-Constrained Tasks in Robots Swarms,” 2. - 6. Sep. 2013, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25277
E. Farshizadeh et al., “Simulationsgestützter Entwurf für Elektrofahrzeuge,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25284
F. Mischkalla and W. Müller, “ Efficient Power Intent Validation Using Loosely-Timed Simulation Models,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25286
A. Jungmann and B. Kleinjohann, “Learning Recommendation System for Automated Service Composition,” in Proceedings of the 10th IEEE International Conference on Services Computing (SCC), 27. Jun. - 2. Jul. 2013 IEEE Computer Society, , 2013, pp. 97–104.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25287
K. Gilles, S. Grösbrink, D. Baldin, and T. Kerstan, “Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25289
S. Grösbrink, “On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25290
F.-J. Rammig, L. Khaluf, N. Montealegre, K. Stahl, and Y. Zhao, “Organic Real-time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-time Software,” presented at the 17. - 18. Jun. 2013 IEEE, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25291
M. Becker, U. Kiffmeier, and W. Müller, “HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25292
F.-J. Rammig, K. Stahl, and G. F. Vaz, “A Framework for Enhancing Dependability in Self-x Systems by Artificial Immune Systems,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25296
C. Rasche and S. Ziegert, “Multilevel Planning for Self-Optimizing Mechatronic Systems,” in Proceedings of The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications, 2013, p. 6.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25298
K. Stahl, “AIS-based Anomaly Detection for Self-X Systems,” in Proceedings of the First Organic Computing Doctoral Dissertation Colloquium (OC-DDC’13), 2013, pp. 24–26.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 25299
S. Grösbrink and F.-J. Rammig, “Safe Self-Evolving Embedded Software via System Virtualization,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25548
S. Grösbrink, L. Almeida, M. de Sousa, and S. M. Petters, “Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope,” presented at the 8. - 11. Apr. 2013, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25557
M. Qanadilo, S. Samara, and Y. Zhao, “Accelerating Online Model Checking,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25573
C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen,” in 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, 2013, vol. 311.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25574
C. Rasche, M. Bieshaar, A. Jungmann, L. Kleinjohann, and B. Kleinjohann, “Statistisches Planen in einem realen Roboterszenario,” in Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310, 2013, vol. 310, pp. 133–146.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25575
S. Grösbrink, D. Baldin, and S. Oberthür, “Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25606
C. Kuznik, M. F. S. Oliveira, and W. Müller, “SystemC Verification Components - An enhanced OVM/UVM for SystemC,” Mrz. 2013 - Poster, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25612
F. Mischkalla and W. Müller, “Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25614
C. Kuznik, M. F. S. Oliveira, and W. Müller, “SC OVM: An Advanced SystemC Library for OVM-based Verification,” 2013.
LibreCat
2013 | Newspaper Article | LibreCat-ID: 25615
G. Engels, C. Gerth, L. Kleinjohann, B. Kleinjohann, and W. Müller, “ Informationstechnik spart Ressourcen,” ForschungsForum Paderborn , 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 25616
S. Grösbrink, “Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues,” Production Engineering Research & Development 7(1), pp. 69–79, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 25618
A. Jungmann, B. Kleinjohann, and L. Kleinjohann, “Learning Service Recommendations,” International Journal of Business Process Integration and Management 6(4), pp. 284–297, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25620
C. Kuznik, M. F. Oliveira, B. Defo, and W. Müller, “Systematic Application of UCIS to Improve the Automation on Verification Closure,” 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25625
C. Rasche, C. Stern, L. Kleinjohann, and B. Kleinjohann, “A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights,” in Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480, vol. 480, G. Sen Gupta, D. Bailey, S. Demidenko, and D. Carnegie, Eds. Berlin Heidelberg: Springer , 2013, pp. 103–113.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 25632
K. Klobedanz, J. Jatzkowski, A. Rettberg, and W. Müller, “Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks,” 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 19981
B. Mertsching, M. Divband Soorati, and T. Kotthauser, “Automatic Reconstruction of Polygonal Room Models from 3D Point Clouds,” IEEE International Conference on Robotics and Biomimetics (ROBIO), pp. 661–667, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20151
H. Hamann, T. Schmickl, J. Stradner, C. Schwarzer, N. K. Michiels, and A. I. Esparcia-Alcazar, “Virtual Spatiality in Agent Controllers: Encoding Compartmentalization,” in Applications of Evolutionary Computation - 16th European Conference (EvoApplications 2013), 2013, vol. 7835, pp. 579–588.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 20161
H. Hamann, P. Lio, O. Miglino, G. Nicosia, S. Nolfi, and M. Pavone, “Speciation Dynamics: Generating Selective Pressure Towards Diversity,” in 12th European Conference on Artificial Life (ECAL 2013), 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 2868
S. Laudemann, Themenmodellierung zur Identifikation und Gruppierung von Spam-Webseiten. 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 2869
L. Leder, Nichtapproximierbarkeitsresultate zu Radius- und Durchmesserclustering unter Verwendung von L_p-Metriken. 2013.
LibreCat