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.
9750 Publications
2014 | Conference Paper | LibreCat-ID: 1780
@inproceedings{C. Durelli_Copolla_Djafarian_Koranaros_Miele_Paolino_Pell_Plessl_D. Santambrogio_Bolchini_2014, title={SAVE: Towards efficient resource management in heterogeneous system architectures}, DOI={10.1007/978-3-319-05960-0_38}, booktitle={Proc. Int. Conf. on Reconfigurable Computing: Architectures, Tools and Applications (ARC)}, publisher={Springer}, author={C. Durelli, Gianluca and Copolla, Marcello and Djafarian, Karim and Koranaros, George and Miele, Antonio and Paolino, Michele and Pell, Oliver and Plessl, Christian and D. Santambrogio, Marco and Bolchini, Cristiana}, year={2014} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 1779
@article{Giefers_Plessl_Förstner_2014, title={Accelerating Finite Difference Time Domain Simulations with Reconfigurable Dataflow Computers}, volume={41}, DOI={10.1145/2641361.2641372}, number={5}, journal={ACM SIGARCH Computer Architecture News}, publisher={ACM}, author={Giefers, Heiner and Plessl, Christian and Förstner, Jens}, year={2014}, pages={65–70} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 47592
@inproceedings{Jonas-Ahrend_2014, place={Columbus, Ohio}, title={The project virtual science fair for promoting inquiry learning}, booktitle={Initiatives in mathematics and science education with global implications}, publisher={International Consortium for Research in Science and Mathematics Education}, author={Jonas-Ahrend, Gabriela}, editor={Berlin, D.F. and White, A.L.}, year={2014}, pages={85–89} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 47606
@inproceedings{Jonas-Ahrend_Rafaeli-Mishkin_Wengrovicz_Dori_2014, title={Raising students’ interest in STEM and encouraging career choice in science and engineering}, author={Jonas-Ahrend, Gabriela and Rafaeli-Mishkin, Hagit and Wengrovicz, Niva and Dori, Yehudit Judy}, year={2014} }
LibreCat
2014 | Journal Article | LibreCat-ID: 11898 | 
@article{Schmalenstroeer_Jebramcik_Haeb-Umbach_2014, title={A combined hardware-software approach for acoustic sensor network synchronization }, DOI={http://dx.doi.org/10.1016/j.sigpro.2014.06.030}, number={0}, journal={Signal Processing}, author={Schmalenstroeer, Joerg and Jebramcik, Patrick and Haeb-Umbach, Reinhold}, year={2014} }
LibreCat
| DOI
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 11897 |
@inproceedings{Schmalenstroeer_Jebramcik_Haeb-Umbach_2014, title={A Gossiping Approach to Sampling Clock Synchronization in Wireless Acoustic Sensor Networks}, booktitle={39th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2014)}, author={Schmalenstroeer, Joerg and Jebramcik, Patrick and Haeb-Umbach, Reinhold}, year={2014} }
LibreCat
| Files available
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 11903 |
@inproceedings{Schmalenstroeer_Zhao_Haeb-Umbach_2014, title={Online Observation Error Model Estimation for Acoustic Sensor Network Synchronization}, booktitle={11. ITG Fachtagung Sprachkommunikation (ITG 2014)}, author={Schmalenstroeer, Joerg and Zhao, Weile and Haeb-Umbach, Reinhold}, year={2014} }
LibreCat
| Files available
| Download (ext.)
2014 | Book Chapter | LibreCat-ID: 46381
@inbook{Kerschke_Preuss_Hernández_Schütze_Sun_Grimme_Rudolph_Bischl_Trautmann_2014, place={Cham}, series={Advances in Intelligent Systems and Computing}, title={Cell Mapping Techniques for Exploratory Landscape Analysis}, volume={288}, DOI={10.1007/978-3-319-07494-8_9}, booktitle={EVOLVE — A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation V}, publisher={Springer International Publishing}, author={Kerschke, Pascal and Preuss, Mike and Hernández, Carlos and Schütze, Oliver and Sun, Jian-Qiao and Grimme, Christian and Rudolph, Günter and Bischl, Bernd and Trautmann, Heike}, editor={Tantar, Alexandru-Adrian and Tantar, Emilia and Sun, Jian-Qiao and Zhang, Wei and Ding, Qian and Schütze, Oliver and Emmerich, Michael T M and Legrand, Pierrick and Del, Moral Pierre and Coello, Coello Carlos A}, year={2014}, pages={115–131}, collection={Advances in Intelligent Systems and Computing} }
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 46382
@inbook{Rudolph_Schütze_Grimme_Trautmann_2014, series={Advances in Intelligent Systems and Computing}, title={A Multiobjective Evolutionary Algorithm Guided by Averaged Hausdorff Distance to Aspiration Sets}, volume={288}, DOI={10.1007/978-3-319-07494-8_18}, booktitle={EVOLVE — A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation V}, publisher={Springer International Publishing}, author={Rudolph, G and Schütze, O and Grimme, C and Trautmann, Heike}, editor={Tantar, A and Tantar, E and Sun, J and Zhang, W and Ding, Q and Schütze, O and Emmerich, M and Legrand, P and Del, Moral P and Coello, Coello CA}, year={2014}, pages={261–273}, collection={Advances in Intelligent Systems and Computing} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 46383
@inproceedings{Rudolph_Grimme_Schütze_Trautmann_2014, place={Gainesville, Florida, USA}, series={Lecture Notes in Computer Science}, title={An Aspiration Set EMOA Based on Averaged Hausdorff Distances}, volume={8426}, booktitle={Proceedings of the Learning and Intelligent OptimizatioN Conference (LION 8)}, publisher={Springer}, author={Rudolph, Günter and Grimme, Christian and Schütze, Oliver and Trautmann, Heike}, year={2014}, pages={153–156}, collection={Lecture Notes in Computer Science} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 46384
@inproceedings{Wessing_Preuss_Trautmann_2014, place={Ljubljana, Slovenia}, series={Lecture Notes in Computer Science}, title={Stopping Criteria for Multimodal Optimization}, volume={8672}, DOI={10.1007/978-3-319-10762-2_14}, booktitle={Proceedings of the Parallel Problem Solving from Nature — PPSN XIII}, publisher={Springer}, author={Wessing, S and Preuss, M and Trautmann, Heike}, editor={Bartz-Beielstein, T and Branke, J and Filipic, B and Smith, J}, year={2014}, pages={141–150}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 47162
@inproceedings{Fahl_Acar_Perl_Smith_2014, title={Why eve and mallory (also) love webmasters}, DOI={10.1145/2590296.2590341}, booktitle={Proceedings of the 9th ACM symposium on Information, computer and communications security}, publisher={ACM}, author={Fahl, Sascha and Acar, Yasemin and Perl, Henning and Smith, Matthew}, year={2014} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 31369 |
@inproceedings{Panse_Hilgert_Hoffmann_2014, place={Münster}, title={Handlungsbedarf in fachmathematischen Veranstaltungen? – Spezielle Maßnahmen an der Universität Paderborn}, DOI={10.17877/DE290R-15591}, booktitle={Beiträge zum Mathematikunterricht 2014}, publisher={WTM-Verlag}, author={Panse, Anja and Hilgert, Joachim and Hoffmann, Max}, editor={Roth, Jürgen and Ames, Judith}, year={2014}, pages={883–886} }
LibreCat
| DOI
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 51394
@article{Hilgert_Möllers_Kobayashi_2014, title={Minimal representations via Bessel operators}, volume={66}, journal={J. Math. Soc. Japan}, author={Hilgert, Joachim and Möllers, J. and Kobayashi, T.}, year={2014}, pages={349–414} }
LibreCat
2014 | Journal Article | LibreCat-ID: 51393
@article{Hilgert_Wurzbacher_Alldridge_2014, title={Singular superspaces}, volume={278}, journal={Math. Z.}, author={Hilgert, Joachim and Wurzbacher, T. and Alldridge, A.}, year={2014}, pages={441–492} }
LibreCat
2014 | Book Chapter | LibreCat-ID: 51466
@inbook{Hilgert_Ólafsson_2014, series={Developments in Mathematics}, title={The Radon transform and its dual for limits of symmetric spaces}, volume={37}, booktitle={Developments and Retrospectives in Lie Theory - Geometric and Analytic Methods}, publisher={Springer}, author={Hilgert, Joachim and Ólafsson, G.}, editor={Mason, G. and Penkov, I. and Wolf, J.A.}, year={2014}, collection={Developments in Mathematics} }
LibreCat
2014 | Book Chapter | LibreCat-ID: 51465
@inbook{Hilgert_Hoffmann_Panse_2014, place={Münster}, title={Schwierigkeiten von Studienanfängern, verschiedene Lehrmethoden und Fragen an die Didaktik}, booktitle={Beiträge zum Mathematikunterricht 2014}, publisher={WTM Verlag}, author={Hilgert, Joachim and Hoffmann, M. and Panse, A.}, editor={Roth, J. and Ames, J.}, year={2014} }
LibreCat
2014 | Preprint | LibreCat-ID: 51531
@article{Hilgert_Pasquale_Przebinda_2014, title={Resonances for the Laplacian on Riemannian symmetric spaces: the case of SL(3,R)/SO(3)}, author={Hilgert, Joachim and Pasquale, A. and Przebinda, T.}, year={2014} }
LibreCat
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 45935
@article{Axelsson_Karátson_Kovács_2014, title={Robust Preconditioning Estimates for Convection-Dominated Elliptic Problems via a Streamline Poincaré--Friedrichs Inequality}, volume={52}, DOI={10.1137/130940268}, number={6}, journal={SIAM Journal on Numerical Analysis}, publisher={Society for Industrial & Applied Mathematics (SIAM)}, author={Axelsson, Owe and Karátson, János and Kovács, Balázs}, year={2014}, pages={2957–2976} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 45934
@article{Kovács_2014, title={On the numerical performance of a sharp a posteriori error estimator for some nonlinear elliptic problems}, volume={59}, DOI={10.1007/s10492-014-0068-0}, number={5}, journal={Applications of Mathematics}, publisher={Institute of Mathematics, Czech Academy of Sciences}, author={Kovács, Balázs}, year={2014}, pages={489–508} }
LibreCat
| DOI
2014 | Dissertation | LibreCat-ID: 51696
@book{Werth_2014, title={Ziehen und Beweisen mit DGS. Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?}, author={Werth, Gerda}, year={2014} }
LibreCat
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 32025
@article{Küster_2014, title={Discontinuity of the Fuglede-Kadison determinant on a group von Neumann algebra}, volume={22}, number={2}, journal={Communications in Mathematics}, author={Küster, Benjamin}, year={2014}, pages={141–149} }
LibreCat
2014 | Book | LibreCat-ID: 48384
@book{Wessel_2014, place={Wiesbaden}, title={Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff}, volume={19}, publisher={Springer-Verlag}, author={Wessel, Lena}, year={2014} }
LibreCat
2014 | Journal Article | LibreCat-ID: 25164
@article{Becker_Müller_Stroop_Kiffmeier_2014, title={HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC}, journal={Design, Automation and Test in Europe DATE, University Booth, Dresden}, author={Becker, Markus and Müller, Wolfgang and Stroop, Joachim and Kiffmeier, Ulrich}, year={2014} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25269
@inproceedings{Khaluf_Birattari_Rammig_2013, series={Theory and Practice of Natural Computing, Nr. 8273}, title={Probabilistic Analysis of Long-term Swarm Performance under Spatial Interferences}, volume={8273}, booktitle={Theory and Practice of Natural Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of Natural Computing, TPNC 2013}, publisher={Springer}, author={Khaluf, Yara and Birattari, Mauro and Rammig, Franz-Josef}, year={2013}, collection={Theory and Practice of Natural Computing, Nr. 8273} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25270
@inproceedings{Joy_Müller_Rammig_2013, title={Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model}, booktitle={Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society,}, publisher={Linköping University Electronic Press}, author={Joy, M. tech. Mabel Mary and Müller, Wolfgang and Rammig, Franz-Josef}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25271
@inproceedings{He_Müller_2013, title={AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS}, booktitle={Proceedings of International Conference on Applied Computing (AC)}, author={He, Da and Müller, Wolfgang}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25273
@inproceedings{Wehrmeister_Pereira_Rammig_2013, title={Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems}, booktitle={ IEEE Trans. on Industrial Informatics vol. 9 (no. 4)}, author={Wehrmeister, Marco A. and Pereira, Carlos E. and Rammig, Franz-Josef}, year={2013}, pages={2373–2386} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25274
@inproceedings{Khaluf_Rammig_2013, title={Task Allocation Strategy for Time-Constrained Tasks in Robots Swarms}, booktitle={ECAL 2013, 12th European Conference on Artificial Life}, author={Khaluf, Yara and Rammig, Franz-Josef}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25277
@inproceedings{Farshizadeh_Briese_Steinmann_Stockmann_Beringer_Holler_Klobedanz_Heinzemann_Peter_Leuer_2013, title={Simulationsgestützter Entwurf für Elektrofahrzeuge}, booktitle={8. Dortmunder Autotag, Sep. 2013}, author={Farshizadeh, Emad and Briese, Herrmann and Steinmann, David and Stockmann, Lars and Beringer, Steffen and Holler, Dominik and Klobedanz, Kay and Heinzemann, Christian and Peter, Klaus and Leuer, Michael}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25284
@inproceedings{Mischkalla_Müller_2013, title={ Efficient Power Intent Validation Using Loosely-Timed Simulation Models}, booktitle={ 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25286
@inproceedings{Jungmann_Kleinjohann_2013, title={Learning Recommendation System for Automated Service Composition}, booktitle={Proceedings of the 10th IEEE International Conference on Services Computing (SCC)}, publisher={ IEEE Computer Society}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2013}, pages={97–104} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25287
@inproceedings{Gilles_Grösbrink_Baldin_Kerstan_2013, title={Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems}, booktitle={International Embedded Systems Symposium, 17. - 19. Jun. 2013}, author={Gilles, Katharina and Grösbrink, Stefan and Baldin, Daniel and Kerstan, Timo}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25289
@inproceedings{Grösbrink_2013, title={On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem}, booktitle={ International Embedded Systems Symposium, 17. - 19. Jun. 2013}, author={Grösbrink, Stefan}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25290
@inproceedings{Rammig_Khaluf_Montealegre_Stahl_Zhao_2013, title={Organic Real-time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-time Software}, booktitle={Proc. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2013}, publisher={IEEE}, author={Rammig, Franz-Josef and Khaluf, Lial and Montealegre, Norma and Stahl, Katharina and Zhao, Yuhong}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25291
@inproceedings{Becker_Kiffmeier_Müller_2013, title={HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures}, booktitle={16th IEEE Computer Society Symposium on Object/Component/Service-oriented Real-time Distributed Computing}, author={Becker, Markus and Kiffmeier, Ulrich and Müller, Wolfgang}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25292
@inproceedings{Rammig_Stahl_Vaz_2013, title={A Framework for Enhancing Dependability in Self-x Systems by Artificial Immune Systems}, booktitle={Proc. 4th IEEE Workshop on Self-Organizing Real-Time Systems (SORT) 2013}, publisher={IEEE}, author={Rammig, Franz-Josef and Stahl, Katharina and Vaz, Gavin Francis}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25296
@inproceedings{Rasche_Ziegert_2013, title={Multilevel Planning for Self-Optimizing Mechatronic Systems}, booktitle={Proceedings of The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications}, publisher={ThinkMind}, author={Rasche, Christoph and Ziegert, Steffen}, year={2013}, pages={6} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25298
@inproceedings{Stahl_2013, title={AIS-based Anomaly Detection for Self-X Systems}, booktitle={Proceedings of the First Organic Computing Doctoral Dissertation Colloquium (OC-DDC’13)}, publisher={Reports / Technische Berichte - Herausgeber: Fakultät für Angewandte Informatik der Universität Augsburg}, author={Stahl, Katharina}, year={2013}, pages={24–26} }
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 25299
@inproceedings{Grösbrink_Rammig_2013, place={Brasilia, Brazil}, title={Safe Self-Evolving Embedded Software via System Virtualization}, booktitle={3rd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2013}, publisher={SBC}, author={Grösbrink, Stefan and Rammig, Franz-Josef}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25548
@inproceedings{Grösbrink_Almeida_de Sousa_Petters_2013, title={Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope}, booktitle={5th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2013)}, author={Grösbrink, Stefan and Almeida, Luis and de Sousa, Mario and Petters, Stefan M.}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25557
@inproceedings{Qanadilo_Samara_Zhao_2013, title={Accelerating Online Model Checking}, booktitle={6’th Latin-American Symposium on Dependable Computing (LADC 2013)}, author={Qanadilo, Mona and Samara, Sufyan and Zhao, Yuhong}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25573
@inproceedings{Stern_Rasche_Kleinjohann_Kleinjohann_2013, title={Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen}, volume={311}, booktitle={11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Nr. 311}, author={Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25574
@inproceedings{Rasche_Bieshaar_Jungmann_Kleinjohann_Kleinjohann_2013, title={Statistisches Planen in einem realen Roboterszenario}, volume={310}, booktitle={Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Rasche, Christoph and Bieshaar, Maarten and Jungmann, Alexander and Kleinjohann, Lisa and Kleinjohann, Bernd}, year={2013}, pages={133–146} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25575
@inproceedings{Grösbrink_Baldin_Oberthür_2013, title={Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems}, booktitle={ACM SIGBED Review, Band 10}, publisher={ACM}, author={Grösbrink, Stefan and Baldin, Daniel and Oberthür, Simon}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25606
@inproceedings{Kuznik_F. S. Oliveira_Müller_2013, title={SystemC Verification Components - An enhanced OVM/UVM for SystemC}, booktitle={edaWorkshop 13}, author={Kuznik, Christoph and F. S. Oliveira, Marcio and Müller, Wolfgang}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25612
@inproceedings{Mischkalla_Müller_2013, title={Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen}, booktitle={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25614
@inproceedings{Kuznik_F. S. Oliveira_Müller_2013, title={SC OVM: An Advanced SystemC Library for OVM-based Verification}, booktitle={Open SANITAS SystemC Verification Workshop}, author={Kuznik, Christoph and F. S. Oliveira, Marcio and Müller, Wolfgang}, year={2013} }
LibreCat
2013 | Newspaper Article | LibreCat-ID: 25615
@article{Engels_Gerth_Kleinjohann_Kleinjohann_Müller_2013, title={ Informationstechnik spart Ressourcen}, journal={ForschungsForum Paderborn }, author={Engels, Gregor and Gerth, Christian and Kleinjohann, Lisa and Kleinjohann, Bernd and Müller, Wolfgang}, year={2013} }
LibreCat
2013 | Journal Article | LibreCat-ID: 25616
@article{Grösbrink_2013, title={Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues}, journal={Production Engineering Research & Development 7(1)}, author={Grösbrink, Stefan}, year={2013}, pages={69–79} }
LibreCat