@inproceedings{433, abstract = {{Virtual FPGAs are overlay architectures realized on top of physical FPGAs. They are proposed to enhance or abstract away from the physical FPGA for experimenting with novel architectures and design tool flows. In this paper, we present an embedding of a ZUMA-based virtual FPGA fabric into a complete configurable system-on-chip. Such an embedding is required to fully harness the potential of virtual FPGAs, in particular to give the virtual circuits access to main memory and operating system services, and to enable a concurrent operation of virtualized and non-virtualized circuitry. We discuss our extension to ZUMA and its embedding into the ReconOS operating system for hardware/software systems. Furthermore, we present an open source tool flow to synthesize configurations for the virtual FPGA.}}, author = {{Wiersema, Tobias and Bockhorn, Arne and Platzner, Marco}}, booktitle = {{Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig)}}, pages = {{1--6 }}, title = {{{Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA}}}, doi = {{10.1109/ReConFig.2014.7032514}}, year = {{2014}}, } @inproceedings{435, abstract = {{We give a polynomial time algorithm to compute an optimal energy and fractional weighted flow trade-off schedule for a speed-scalable processor with discrete speeds.Our algorithm uses a geometric approach that is based on structural properties obtained from a primal-dual formulation of the problem.}}, author = {{Antoniadis, Antonios and Barcelo, Neal and Consuegra, Mario and Kling, Peer and Nugent, Michael and Pruhs, Kirk and Scquizzato, Michele}}, booktitle = {{Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS)}}, pages = {{63----74}}, title = {{{Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules}}}, doi = {{10.4230/LIPIcs.STACS.2014.63}}, year = {{2014}}, } @inproceedings{5189, author = {{Arzt, Steven and Rasthofer, Siegfried and Fritz, Christian and Bodden, Eric and Bartel, Alexandre and Klein, Jacques and Le Traon, Yves and Octeau, Damien and McDaniel, Patrick}}, booktitle = {{Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14}}, isbn = {{9781450327848}}, publisher = {{ACM Press}}, title = {{{FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps}}}, doi = {{10.1145/2594291.2594299}}, year = {{2014}}, } @inproceedings{5190, author = {{Arzt, Steven and Rasthofer, Siegfried and Lovat, Enrico and Bodden, Eric}}, booktitle = {{International Conference on Availability, Reliability and Security (ARES 2014)}}, pages = {{40--49}}, publisher = {{IEEE}}, title = {{{DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android}}}, year = {{2014}}, } @misc{6550, author = {{Bause, Fabian and Rautenberg, Jens and Feldmann, Nadine and Claes, Leander and Henning, Bernd}}, title = {{{Methoden zur Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter Signale}}}, volume = {{8}}, year = {{2014}}, } @inproceedings{6574, author = {{Olfert, Sergei and Claes, Leander and Henning, Bernd}}, booktitle = {{Fortschritte der Akustik - DAGA 2014}}, pages = {{541--542}}, title = {{{Rekonstruktion der räumlichen Schallwechseldruckverteilung unter Berücksichtigung der Orthogonalität optischer und akustischer Achsen beim Schlierenverfahren}}}, year = {{2014}}, } @phdthesis{6727, author = {{van Rooijen, Lorijn}}, publisher = {{University of Bordeaux, France}}, title = {{{A combinatorial approach to the separation problem for regular languages. (Une approche combinatoire du problème de séparation pour les langages réguliers)}}}, year = {{2014}}, } @article{6728, author = {{Place, Thomas and van Rooijen, Lorijn and Zeitoun, Marc}}, issn = {{1860-5974}}, journal = {{Logical Methods in Computer Science}}, number = {{3}}, publisher = {{Logical Methods in Computer Science e.V.}}, title = {{{On Separation by Locally Testable and Locally Threshold Testable Languages}}}, doi = {{10.2168/lmcs-10(3:24)2014}}, volume = {{10}}, year = {{2014}}, } @inproceedings{6741, author = {{Bokermann, Dennis and Gerth, Christian and Engels, Gregor}}, booktitle = {{12th International Conference on Business Process Management (BPM 2014)}}, isbn = {{9783319101712}}, issn = {{0302-9743}}, pages = {{357--365}}, publisher = {{Springer International Publishing}}, title = {{{Use Your Best Device! Enabling Device Changes at Runtime}}}, doi = {{10.1007/978-3-319-10172-9_23}}, volume = {{8659}}, year = {{2014}}, } @inproceedings{6927, author = {{Bouyraaman, Yassin and Bendfeld, Jörg and Krauter, Stefan}}, booktitle = {{14th IAEE European Energy Conference- Sustainable Energy Policy and Strategies in Europe, Rome, Italy, October 28-31, 2014}}, title = {{{Integration of offshore wind energy into the grid system in Germany: Modelling of a market oriented energy provision}}}, year = {{2014}}, } @inproceedings{6928, author = {{Bouyraaman, Yassin and Bendfeld, Jörg and Krauter, Stefan and Breymann, P.}}, booktitle = {{Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 }}, title = {{{Integration of wind energy in power systems: Modeling of a market-orientated energy concept}}}, year = {{2014}}, } @inproceedings{6929, author = {{Bouyraaman, Yassin and Bendfeld, Jörg}}, booktitle = {{Solar 2014/Intersolar North America, San Francisco, July 6-10, 2014 }}, title = {{{Reduction of Offshore Wind farm power Feed-in fluctuations via Power to Gas Storage Systems}}}, year = {{2014}}, } @inproceedings{6930, author = {{Bendfeld, Jörg and Balluff, Stefan}}, booktitle = {{Solar 2014/Intersolar North America, San Francisco, July 6-10, 2014}}, title = {{{Advanced offshore Measurements for Windfarms}}}, year = {{2014}}, } @book{6931, author = {{Krauter, Stefan}}, publisher = {{Springer Verlag}}, title = {{{Solar Electric Power Systems. Second Edition}}}, year = {{2014}}, } @inproceedings{6932, author = {{Krauter, Stefan}}, booktitle = {{Proceedings of the 6th World Conference of Photovoltaic Energy Conversion WCPEC 6, Kyoto (Japan), November 23-27, 2014 }}, title = {{{Measures to match load profile with actual PV generation to achieve an effective integration into the energy system}}}, year = {{2014}}, } @inproceedings{6933, author = {{Krauter, Stefan}}, booktitle = {{Proceedings of the 6th World Conference of Photovoltaic Energy Conversion WCPEC 6, Kyoto (Japan), November 23-27, 2014}}, title = {{{Identification and elimination of potential induced degradation (PID) at photovoltaic power plants}}}, year = {{2014}}, } @inproceedings{6934, author = {{Krauter, Stefan and Bendfeld, Jörg and Gohardehi, A. and Sadati, A.}}, booktitle = {{Proceedings of the 6th World Conference of Photovoltaic Energy Conversion WCPEC 6, Kyoto (Japan), November 23-27, 2014}}, title = {{{Performance and Yield Comparison of seven different Micro-Inverters.}}}, year = {{2014}}, } @inproceedings{6935, author = {{Krauter, Stefan and Bouyraaman, Yassin and Bendfeld, Jörg and Japs, Ewald}}, booktitle = {{Proceedings of the 6th World Conference of Photovoltaic Energy Conversion WCPEC 6, Kyoto (Japan), November 23-27, 2014}}, title = {{{Micro combined heat and power plants (micro-CHP) in combination with photovoltaics for autonomous local power and heat supply.}}}, year = {{2014}}, } @inproceedings{6936, author = {{Krauter, Stefan}}, booktitle = {{Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 }}, title = {{{Photovoltaics and the Energy System: Adaptation of layout and load}}}, year = {{2014}}, } @inproceedings{6937, author = {{Ameli, Ali and Ameli, H. and Krauter, Stefan and Hanitsch, Rolf}}, booktitle = {{Proceedings of the MES-BREG 2014 Symposium “Innovating Energy Access for Remote Areas: Discovering untapped resources”, UC Berkeley (USA), April 10-12, 2014 }}, title = {{{An Optimized Load Frequency Control of a De-centralized Energy System Using Plug-in Electric Vehicles}}}, year = {{2014}}, }