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.
5673 Publications
2011 | Conference Paper | LibreCat-ID: 10638
Development of a pattern recognition-based myoelectric transhumeral prosthesis with multifunctional simultaneous control using a model-driven ppproach for mechatronic systems
A. Boschmann, M. Platzner, M. Robrecht, M. Hahn, M. Winkler, in: Proc. MyoElectric Controls Symposium (MEC), 2011.
LibreCat
A. Boschmann, M. Platzner, M. Robrecht, M. Hahn, M. Winkler, in: Proc. MyoElectric Controls Symposium (MEC), 2011.
2011 | Bachelorsthesis | LibreCat-ID: 10678
PinSim: Schnelle Simulation mit Pintools
N. Ikonomakis, PinSim: Schnelle Simulation Mit Pintools, Paderborn University, 2011.
LibreCat
N. Ikonomakis, PinSim: Schnelle Simulation Mit Pintools, Paderborn University, 2011.
2011 | Bachelorsthesis | LibreCat-ID: 10680
MPI-CUDA Codegenerierung für Nanophoton Simulationen auf Clustern
H. Kassner, MPI-CUDA Codegenerierung Für Nanophoton Simulationen Auf Clustern, Paderborn University, 2011.
LibreCat
H. Kassner, MPI-CUDA Codegenerierung Für Nanophoton Simulationen Auf Clustern, Paderborn University, 2011.
2011 | Book Chapter | LibreCat-ID: 10687
Multi-objective Intrinsic Evolution of Embedded Systems
P. Kaufmann, M. Platzner, in: C. Müller-Schloer, H. Schmeck, T. Ungerer (Eds.), Organic Computing---A Paradigm Shift for Complex Systems, Springer Basel, 2011, pp. 193–206.
LibreCat
P. Kaufmann, M. Platzner, in: C. Müller-Schloer, H. Schmeck, T. Ungerer (Eds.), Organic Computing---A Paradigm Shift for Complex Systems, Springer Basel, 2011, pp. 193–206.
2011 | Mastersthesis | LibreCat-ID: 10736
Analysis of Algorithmic Approaches for Temporal Partitioning
A. Schwabe, Analysis of Algorithmic Approaches for Temporal Partitioning, Paderborn University, 2011.
LibreCat
A. Schwabe, Analysis of Algorithmic Approaches for Temporal Partitioning, Paderborn University, 2011.
2011 | Book Chapter | LibreCat-ID: 10737
Evolution of Electronic Circuits
L. Sekanina, J.A. Walker, P. Kaufmann, C. Plessl, M. Platzner, in: Cartesian Genetic Programming, Springer Berlin Heidelberg, 2011, pp. 125–179.
LibreCat
L. Sekanina, J.A. Walker, P. Kaufmann, C. Plessl, M. Platzner, in: Cartesian Genetic Programming, Springer Berlin Heidelberg, 2011, pp. 125–179.
2011 | Book Chapter | LibreCat-ID: 10748
Problem Decomposition in Cartesian Genetic Programming
J.A. Walker, J.F. Miller, P. Kaufmann, M. Platzner, in: Cartesian Genetic Programming, Springer Berlin Heidelberg, 2011, pp. 35–99.
LibreCat
J.A. Walker, J.F. Miller, P. Kaufmann, M. Platzner, in: Cartesian Genetic Programming, Springer Berlin Heidelberg, 2011, pp. 35–99.
2011 | Mastersthesis | LibreCat-ID: 10750
User Space Scheduling for Heterogeneous Systems
D. Welp, User Space Scheduling for Heterogeneous Systems, Paderborn University, 2011.
LibreCat
D. Welp, User Space Scheduling for Heterogeneous Systems, Paderborn University, 2011.
2011 | Bachelorsthesis | LibreCat-ID: 1092
Parallele Kompression von XML mit XML-Schema-Subtraktion
M. Feldotto, Parallele Kompression von XML mit XML-Schema-Subtraktion, Universität Paderborn, 2011.
LibreCat
M. Feldotto, Parallele Kompression von XML mit XML-Schema-Subtraktion, Universität Paderborn, 2011.
2011 | Conference Paper | LibreCat-ID: 11973
Performance Evaluation of Network Mobility Handover over Future Aeronautical Data Link
S. Ayaz, F. Hoffmann, C. Sommer, R. German, F. Dressler, in: 2010 IEEE Global Telecommunications Conference GLOBECOM 2010, 2011.
LibreCat
| DOI
S. Ayaz, F. Hoffmann, C. Sommer, R. German, F. Dressler, in: 2010 IEEE Global Telecommunications Conference GLOBECOM 2010, 2011.
2011 | Journal Article | LibreCat-ID: 11993
Toward Realistic Simulation of Intervehicle Communication
F. Dressler, C. Sommer, D. Eckhoff, O. Tonguz, IEEE Vehicular Technology Magazine (2011) 43–51.
LibreCat
| DOI
F. Dressler, C. Sommer, D. Eckhoff, O. Tonguz, IEEE Vehicular Technology Magazine (2011) 43–51.
2011 | Conference Paper | LibreCat-ID: 11997
Strong and affordable location privacy in VANETs: Identity diffusion using time-slots and swapping
D. Eckhoff, C. Sommer, T. Gansen, R. German, F. Dressler, in: 2010 IEEE Vehicular Networking Conference, 2011.
LibreCat
| DOI
D. Eckhoff, C. Sommer, T. Gansen, R. German, F. Dressler, in: 2010 IEEE Vehicular Networking Conference, 2011.
2011 | Conference Paper | LibreCat-ID: 11999
Simulative performance evaluation of the simTD Self Organizing Traffic Information System
D. Eckhoff, T. Gansen, R. Manz, D. Thum, O. Klages, C. Sommer, in: 2011 The 10th IFIP Annual Mediterranean Ad Hoc Networking Workshop, 2011.
LibreCat
| DOI
D. Eckhoff, T. Gansen, R. Manz, D. Thum, O. Klages, C. Sommer, in: 2011 The 10th IFIP Annual Mediterranean Ad Hoc Networking Workshop, 2011.
2011 | Journal Article | LibreCat-ID: 12000
SlotSwap: strong and affordable location privacy in intelligent transportation systems
D. Eckhoff, R. German, C. Sommer, F. Dressler, T. Gansen, IEEE Communications Magazine (2011) 126–133.
LibreCat
| DOI
D. Eckhoff, R. German, C. Sommer, F. Dressler, T. Gansen, IEEE Communications Magazine (2011) 126–133.
2011 | Conference Paper | LibreCat-ID: 12056
Adaptive beaconing for delay-sensitive and congestion-aware traffic information systems
C. Sommer, O.K. Tonguz, F. Dressler, in: 2010 IEEE Vehicular Networking Conference, 2011.
LibreCat
| DOI
C. Sommer, O.K. Tonguz, F. Dressler, in: 2010 IEEE Vehicular Networking Conference, 2011.
2011 | Conference Paper | LibreCat-ID: 12062
A computationally inexpensive empirical model of IEEE 802.11p radio shadowing in urban environments
C. Sommer, D. Eckhoff, R. German, F. Dressler, in: 2011 Eighth International Conference on Wireless On-Demand Network Systems and Services, 2011.
LibreCat
| DOI
C. Sommer, D. Eckhoff, R. German, F. Dressler, in: 2011 Eighth International Conference on Wireless On-Demand Network Systems and Services, 2011.
2011 | Journal Article | LibreCat-ID: 12063
Traffic information systems: efficient message dissemination via adaptive beaconing
C. Sommer, O. Tonguz, F. Dressler, IEEE Communications Magazine (2011) 173–179.
LibreCat
| DOI
C. Sommer, O. Tonguz, F. Dressler, IEEE Communications Magazine (2011) 173–179.
2011 | Conference Paper | LibreCat-ID: 15672
Analysis of code reading to gain more insight in program comprehension
T. Busjahn, C. Schulte, A. Busjahn, in: Koli Calling, ACM, 2011, pp. 1–9.
LibreCat
T. Busjahn, C. Schulte, A. Busjahn, in: Koli Calling, ACM, 2011, pp. 1–9.
2011 | Conference Paper | LibreCat-ID: 15673
ProspectiveTeachers@Research: CS teacher education revised
M. Hornung, C. Schulte, in: Koli Calling, ACM, 2011, pp. 138–143.
LibreCat
M. Hornung, C. Schulte, in: Koli Calling, ACM, 2011, pp. 138–143.
2011 | Conference Paper | LibreCat-ID: 15674
Informatik begreifen - Zur Nutzung von Veranschaulichungen im Informatikunterricht
M. Kalbitz, H. Voss, C. Schulte, in: INFOS, GI, 2011, pp. 137–146.
LibreCat
M. Kalbitz, H. Voss, C. Schulte, in: INFOS, GI, 2011, pp. 137–146.
2011 | Conference Paper | LibreCat-ID: 15675
Das Schülerlabor als Ort der Informatiklehrerbildung
C. Schulte, in: INFOS, GI, 2011, pp. 47–56.
LibreCat
C. Schulte, in: INFOS, GI, 2011, pp. 47–56.
2011 | Conference Paper | LibreCat-ID: 15762
Joint mode estimation in multi-label classification by chaining
K. Dembczynski, W. Waegeman, E. Hüllermeier, in: In Proceedings ECML Workshop on Collective Inference and Learning on Structured Data, Athens, Greece, 2011.
LibreCat
K. Dembczynski, W. Waegeman, E. Hüllermeier, in: In Proceedings ECML Workshop on Collective Inference and Learning on Structured Data, Athens, Greece, 2011.
2011 | Conference Paper | LibreCat-ID: 15764
Prediction of protein localization for specialized compartments using time series kernels
M. Mernberger, D. Moog, S. Stork, S. Zauner, U. Maier, E. Hüllermeier, in: In Proceedings GCB-2011 German Conference on Bioinformatics Munich, Germany, 2011.
LibreCat
M. Mernberger, D. Moog, S. Stork, S. Zauner, U. Maier, E. Hüllermeier, in: In Proceedings GCB-2011 German Conference on Bioinformatics Munich, Germany, 2011.
2011 | Conference Paper | LibreCat-ID: 15046
Volume Studio: Flexible Multi-Volume Ray Casting Pipeline mit nahtlos integriertem Rapid Prototyping von Shadern.
S. Arens, G. Domik, in: INFORMATIK 2011 – 41. Jahrestagung Der Gesellschaft Für Informatik., Gesellschaft für Informatik e.V., Bonn, 2011, pp. 347–352.
LibreCat
S. Arens, G. Domik, in: INFORMATIK 2011 – 41. Jahrestagung Der Gesellschaft Für Informatik., Gesellschaft für Informatik e.V., Bonn, 2011, pp. 347–352.
2011 | Conference Paper | LibreCat-ID: 15097
Mixing Bottom-Up and Top-Down XPath Query Evaluation
M. Benter, S. Böttcher, R. Hartel, in: East European Conference on Advances in Databases and Information Systems, Springer, 2011, pp. 27–41.
LibreCat
| DOI
M. Benter, S. Böttcher, R. Hartel, in: East European Conference on Advances in Databases and Information Systems, Springer, 2011, pp. 27–41.
2011 | Conference Paper | LibreCat-ID: 15099
Updates on Grammar-Compressed XML Data
A. Bätz, S. Böttcher, R. Hartel, in: Advances in Databases - 28th British National Conference on Databases, BNCOD 28, Revised Selected Papers, Springer, 2011, pp. 154–166.
LibreCat
| DOI
A. Bätz, S. Böttcher, R. Hartel, in: Advances in Databases - 28th British National Conference on Databases, BNCOD 28, Revised Selected Papers, Springer, 2011, pp. 154–166.
2011 | Conference Paper | LibreCat-ID: 15100
TraCX: Transformation of Compressed XML
S. Böttcher, R. Hartel, S. Stey, in: Advances in Databases - 28th British National Conference on Databases, BNCOD 28, Revised Selected Papers, Springer, 2011, pp. 182–193.
LibreCat
| DOI
S. Böttcher, R. Hartel, S. Stey, in: Advances in Databases - 28th British National Conference on Databases, BNCOD 28, Revised Selected Papers, Springer, 2011, pp. 182–193.
2011 | Conference Paper | LibreCat-ID: 15102
Search and Modification in Compressed Texts
S. Böttcher, A. Bültmann, R. Hartel, in: 2011 Data Compression Conference, IEEE, 2011, pp. 403–412.
LibreCat
| DOI
S. Böttcher, A. Bültmann, R. Hartel, in: 2011 Data Compression Conference, IEEE, 2011, pp. 403–412.
2011 | Conference Paper | LibreCat-ID: 15103
Enhancing XML-cache Efficiency by XML Compression
S. Böttcher, L. Fernhomberg, R. Hartel, in: WEBIST 2011, Proceedings of the 7th International Conference on Web Information Systems and Technologies, SciTePress, 2011, pp. 80–87.
LibreCat
S. Böttcher, L. Fernhomberg, R. Hartel, in: WEBIST 2011, Proceedings of the 7th International Conference on Web Information Systems and Technologies, SciTePress, 2011, pp. 80–87.
2011 | Conference Paper | LibreCat-ID: 15104
Reducing Data Transfer by Combining XML-Compression and XML-Caching
S. Böttcher, L. Fernhomberg, R. Hartel, in: Web Information Systems and Technologies - 7th International Conference, WEBIST 2011, Revised Selected Papers, Springer, 2011, pp. 116–130.
LibreCat
| DOI
S. Böttcher, L. Fernhomberg, R. Hartel, in: Web Information Systems and Technologies - 7th International Conference, WEBIST 2011, Revised Selected Papers, Springer, 2011, pp. 116–130.
2011 | Conference Paper | LibreCat-ID: 15115
Comparing methods for knowledge-driven and data-driven fuzzy modeling: A case study in textile industry
M. Nasiri, E. Hüllermeier, R. Senge, E. Lughofer, in: In Proceedings IFSA-2011 World Congress of the International Fuzzy Systems Association, Surabaya and Bali Island, Indonesia, 2011, p. RW-103-1-6.
LibreCat
M. Nasiri, E. Hüllermeier, R. Senge, E. Lughofer, in: In Proceedings IFSA-2011 World Congress of the International Fuzzy Systems Association, Surabaya and Bali Island, Indonesia, 2011, p. RW-103-1-6.
2011 | Conference Paper | LibreCat-ID: 15116
On-line redundancy deletion in evolving fuzzy regression models using a fuzzy inclusion measure
E. Lughofer, E. Hüllermeier, in: S. Galichet, J. Montero, G. Mauris (Eds.), In Proceedings EUSFLAT-2011 7th International Conference on the European Society for Fuzzy Logic and Technology, Aix-Les-Bains, France, 2011, pp. 380–387.
LibreCat
E. Lughofer, E. Hüllermeier, in: S. Galichet, J. Montero, G. Mauris (Eds.), In Proceedings EUSFLAT-2011 7th International Conference on the European Society for Fuzzy Logic and Technology, Aix-Les-Bains, France, 2011, pp. 380–387.
2011 | Conference Paper | LibreCat-ID: 15117
Choquistic regression: Generalizing logistic regression using the Choquet integral
A. Fallah Tehrani, W. Cheng, E. Hüllermeier, in: In Proceedings EUSFLAT-2011 7th International Conference on the European Society for Fuzzy Logic and Technology, Aix-Les-Bains, France, 2011, pp. 868–875.
LibreCat
A. Fallah Tehrani, W. Cheng, E. Hüllermeier, in: In Proceedings EUSFLAT-2011 7th International Conference on the European Society for Fuzzy Logic and Technology, Aix-Les-Bains, France, 2011, pp. 868–875.
2011 | Book Chapter | LibreCat-ID: 15127
Transdisciplinary collaboration and lifelong learning: fostering and supporting new learning opportunities
G. Domik, G. Fischer, in: Rainbow of Computer Science, Springer, 2011, pp. 129–143.
LibreCat
| DOI
G. Domik, G. Fischer, in: Rainbow of Computer Science, Springer, 2011, pp. 129–143.
2011 | Conference Abstract | LibreCat-ID: 15181
Namenlemmatisierung in der Web-Datenbank mittelalterlicher und frühneuzeitlicher Universitätsmatrikel
S. Böttcher, R. Hartel, H. Hawicks, in: XXIV ICOS Internationales Kongress Für Namensforschung, 2011.
LibreCat
S. Böttcher, R. Hartel, H. Hawicks, in: XXIV ICOS Internationales Kongress Für Namensforschung, 2011.
2011 | Conference Paper | LibreCat-ID: 15193
How useful is computer graphics for medical diagnoses?
G. Domik, S. Arens, I. Scharlau, F. Hilkenmeier, in: INFORMATIK 2011 – Informatik Schafft Communities, Gesellschaft für Informatik e.V., Bonn, 2011, p. 437.
LibreCat
G. Domik, S. Arens, I. Scharlau, F. Hilkenmeier, in: INFORMATIK 2011 – Informatik Schafft Communities, Gesellschaft für Informatik e.V., Bonn, 2011, p. 437.
2011 | Journal Article | LibreCat-ID: 16119
Multivariate modeling to identify patterns in clinical data: The example of chest pain
O. Hirsch, S. Bösner, E. Hüllermeier, R. Senge, K. Dembczynski, N. Donner-Banzhoff, BMC Medical Research Methodology 11 (2011).
LibreCat
O. Hirsch, S. Bösner, E. Hüllermeier, R. Senge, K. Dembczynski, N. Donner-Banzhoff, BMC Medical Research Methodology 11 (2011).
2011 | Journal Article | LibreCat-ID: 16126
Preferences in AL: An overview
C. Domshlak, E. Hüllermeier, S. Kaci, H. Prade, Artificial Intelligence 175 (2011) 1037–1052.
LibreCat
C. Domshlak, E. Hüllermeier, S. Kaci, H. Prade, Artificial Intelligence 175 (2011) 1037–1052.
2011 | Journal Article | LibreCat-ID: 16147
Fuzzy machine learning and data mining
E. Hüllermeier, WIREs Data Mining and Knowledge Discovery 1 (2011) 269–283.
LibreCat
E. Hüllermeier, WIREs Data Mining and Knowledge Discovery 1 (2011) 269–283.
2011 | Journal Article | LibreCat-ID: 16148
SEGA: Semi-global graph alignment for structure-based protein comparison
M. Mernberger, G. Klebe, E. Hüllermeier, IEEE/ACM Transactions of Computational Biology and Bioinformatics 8 (2011) 1330–1343.
LibreCat
M. Mernberger, G. Klebe, E. Hüllermeier, IEEE/ACM Transactions of Computational Biology and Bioinformatics 8 (2011) 1330–1343.
2011 | Journal Article | LibreCat-ID: 16149
Superposition and alignment of labeled point clouds
T. Fober, S. Glinca, G. Klebe, E. Hüllermeier, IEEE/ACM Transactions on Computational Biology and Bioinformatics 8 (2011) 1653–1666.
LibreCat
T. Fober, S. Glinca, G. Klebe, E. Hüllermeier, IEEE/ACM Transactions on Computational Biology and Bioinformatics 8 (2011) 1653–1666.
2011 | Journal Article | LibreCat-ID: 1615
Load Balancing in P2P Networks: Using Statistics to Fight Data and Execution Skew
D. Warneke, C. Dannewitz, Journal of Advances in Information Technology 2 (2011).
LibreCat
| DOI
D. Warneke, C. Dannewitz, Journal of Advances in Information Technology 2 (2011).
2011 | Journal Article | LibreCat-ID: 16150
Fuzzy sets in machine learning and data mining
E. Hüllermeier, Applied Soft Computing Journal (2011) 1493–1505.
LibreCat
E. Hüllermeier, Applied Soft Computing Journal (2011) 1493–1505.
2011 | Journal Article | LibreCat-ID: 16153
Top-down induction of fuzzy pattern trees
R. Senge, E. Hüllermeier, IEEE Transactions on Fuzzy Systems 19 (2011) 241–252.
LibreCat
R. Senge, E. Hüllermeier, IEEE Transactions on Fuzzy Systems 19 (2011) 241–252.
2011 | Book Chapter | LibreCat-ID: 16409
A New Approach for Analyzing Convergence Algorithms for Mobile Robots
A. Cord-Landwehr, B. Degener, M. Fischer, M. Hüllmann, B. Kempkes, A. Klaas, P. Kling, S. Kurras, M. Märtens, F. Meyer auf der Heide, C. Raupach, K. Swierkot, D. Warner, C. Weddemann, D. Wonisch, in: Automata, Languages and Programming, Berlin, Heidelberg, 2011.
LibreCat
| DOI
A. Cord-Landwehr, B. Degener, M. Fischer, M. Hüllmann, B. Kempkes, A. Klaas, P. Kling, S. Kurras, M. Märtens, F. Meyer auf der Heide, C. Raupach, K. Swierkot, D. Warner, C. Weddemann, D. Wonisch, in: Automata, Languages and Programming, Berlin, Heidelberg, 2011.
2011 | Conference Paper | LibreCat-ID: 13194
An exact algorithm for F-measure maximization
K. Dembczynski, W. Waegeman, W. Cheng, E. Hüllermeier, in: In Proceedings NIPS-2011, 25th Annual Conference on Neural Information Processing Systems, Granada, Spain, 2011.
LibreCat
K. Dembczynski, W. Waegeman, W. Cheng, E. Hüllermeier, in: In Proceedings NIPS-2011, 25th Annual Conference on Neural Information Processing Systems, Granada, Spain, 2011.
2011 | Conference Paper | LibreCat-ID: 13196
Learning from label preferences
J. Fürnkranz, E. Hüllermeier, in: T. Elomaa, J. Hollmen, H. Mannila (Eds.), In Proceedings DS-2011, 14th International Conference on Discovery Science, Number 6926 in LNAI, Springer, 2011, pp. 2–17.
LibreCat
J. Fürnkranz, E. Hüllermeier, in: T. Elomaa, J. Hollmen, H. Mannila (Eds.), In Proceedings DS-2011, 14th International Conference on Discovery Science, Number 6926 in LNAI, Springer, 2011, pp. 2–17.
2011 | Conference Paper | LibreCat-ID: 13197
Learning monotone nonlinear models using the Choquet integral
A. Fallah Tehrani, W. Cheng, K. Dembczynski, E. Hüllermeier, in: In Proceedings ECML/PKDD-2011, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Athens, Greece, 2011.
LibreCat
A. Fallah Tehrani, W. Cheng, K. Dembczynski, E. Hüllermeier, in: In Proceedings ECML/PKDD-2011, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Athens, Greece, 2011.
2011 | Conference Paper | LibreCat-ID: 13198
Preference-based CBR: First steps toward a methodological framework
E. Hüllermeier, P. Schlegel, in: A. Ram, N. Wiratunga (Eds.), In Proceedings ICCBR-2011, 19th International Conference on Case-Based Reasoning, Number 6880 in LNAI, Springer, 2011, pp. 77–91.
LibreCat
E. Hüllermeier, P. Schlegel, in: A. Ram, N. Wiratunga (Eds.), In Proceedings ICCBR-2011, 19th International Conference on Case-Based Reasoning, Number 6880 in LNAI, Springer, 2011, pp. 77–91.
2011 | Conference Paper | LibreCat-ID: 13588
Bipartite ranking through minimization of univariate loss
W. Kotlowski, K. Dembczynski, E. Hüllermeier, in: In Proceedings ICML-2011, 28th International Conference on Machine Learning, Washington, USA, 2011.
LibreCat
W. Kotlowski, K. Dembczynski, E. Hüllermeier, in: In Proceedings ICML-2011, 28th International Conference on Machine Learning, Washington, USA, 2011.
2011 | Conference Paper | LibreCat-ID: 13643
Memory Virtualization for Multithreaded Reconfigurable Hardware
A. Agne, M. Platzner, E. Lübbers, in: Proceedings of the International Conference on Field Programmable Logic and Applications (FPL), IEEE, 2011, pp. 185–188.
LibreCat
| DOI
A. Agne, M. Platzner, E. Lübbers, in: Proceedings of the International Conference on Field Programmable Logic and Applications (FPL), IEEE, 2011, pp. 185–188.
2011 | Conference Paper | LibreCat-ID: 13644
Design and architectures for dependable embedded systems
J. Henkel, L. Hedrich, A. Herkersdorf, R. Kapitza, D. Lohmann, P. Marwedel, M. Platzner, W. Rosenstiel, U. Schlichtmann, O. Spinczyk, M. Tahoori, L. Bauer, J. Teich, N. Wehn, H.-J. Wunderlich, J. Becker, O. Bringmann, U. Brinkschulte, S. Chakraborty, M. Engel, R. Ernst, H. Härtig, in: Proceedings of the Seventh IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis - CODES+ISSS ’11, 2011.
LibreCat
| DOI
J. Henkel, L. Hedrich, A. Herkersdorf, R. Kapitza, D. Lohmann, P. Marwedel, M. Platzner, W. Rosenstiel, U. Schlichtmann, O. Spinczyk, M. Tahoori, L. Bauer, J. Teich, N. Wehn, H.-J. Wunderlich, J. Becker, O. Bringmann, U. Brinkschulte, S. Chakraborty, M. Engel, R. Ernst, H. Härtig, in: Proceedings of the Seventh IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis - CODES+ISSS ’11, 2011.
2011 | Journal Article | LibreCat-ID: 1376
Complex Queries in P2P Networks with Resource-Constrained Devices
C. Dannewitz, T. Biermann, M. Dräxler, H. Karl, Journal of Advances in Information Technology 2 (2011).
LibreCat
| DOI
C. Dannewitz, T. Biermann, M. Dräxler, H. Karl, Journal of Advances in Information Technology 2 (2011).
2011 | Conference Paper | LibreCat-ID: 37001
Virtual Prototyping software-intensiver mechatronischer Systeme - Eine Fallstudie
M. Becker, H. Zabel, W. Müller, A. Elfeky, in: Paderborn, 2011.
LibreCat
M. Becker, H. Zabel, W. Müller, A. Elfeky, in: Paderborn, 2011.
2011 | Conference Paper | LibreCat-ID: 37005
A SystemC Based Library for Functional Coverage
C. Kuznik, W. Müller, in: 2011.
LibreCat
C. Kuznik, W. Müller, in: 2011.
2011 | Conference Paper | LibreCat-ID: 37006
A Reconfiguration Approach for Faul-Tolerant FlexRay Networks
K. Klobedanz, A. König, W. Müller, in: Proceedings of DATE’11, IEEE, Grenoble, France, 2011.
LibreCat
| DOI
K. Klobedanz, A. König, W. Müller, in: Proceedings of DATE’11, IEEE, Grenoble, France, 2011.
2011 | Journal Article | LibreCat-ID: 8178 | 
Characterizing Quantumness via Entanglement Creation
S. Gharibian, M. PIANI, G. ADESSO, J. CALSAMIGLIA, P. HORODECKI, International Journal of Quantum Information 09 (2011) 1701–1713.
LibreCat
| DOI
| Download (ext.)
| arXiv
S. Gharibian, M. PIANI, G. ADESSO, J. CALSAMIGLIA, P. HORODECKI, International Journal of Quantum Information 09 (2011) 1701–1713.
2011 | Conference Paper | LibreCat-ID: 8176 |
Approximation Algorithms for QMA-Complete Problems
S. Gharibian, J. Kempe, in: IEEE Annual Conference on Computational Complexity (CCC 2011), IEEE, 2011.
LibreCat
| DOI
| Download (ext.)
| arXiv
S. Gharibian, J. Kempe, in: IEEE Annual Conference on Computational Complexity (CCC 2011), IEEE, 2011.
2011 | Journal Article | LibreCat-ID: 8177 |
All Nonclassical Correlations Can Be Activated into Distillable Entanglement
M. Piani, S. Gharibian, G. Adesso, J. Calsamiglia, P. Horodecki, A. Winter, Physical Review Letters 106 (2011).
LibreCat
| DOI
| Download (ext.)
| arXiv
M. Piani, S. Gharibian, G. Adesso, J. Calsamiglia, P. Horodecki, A. Winter, Physical Review Letters 106 (2011).
2011 | Conference Paper | LibreCat-ID: 2194
Transformation of scientific algorithms to parallel computing code: subdomain support in a MPI-multi-GPU backend
B. Meyer, C. Plessl, J. Förstner, in: Symp. on Application Accelerators in High Performance Computing (SAAHPC), IEEE Computer Society, 2011, pp. 60–63.
LibreCat
| DOI
B. Meyer, C. Plessl, J. Förstner, in: Symp. on Application Accelerators in High Performance Computing (SAAHPC), IEEE Computer Society, 2011, pp. 60–63.
2011 | Conference Paper | LibreCat-ID: 2193
Cooperative multitasking for heterogeneous accelerators in the Linux Completely Fair Scheduler
T. Beisel, T. Wiersema, C. Plessl, A. Brinkmann, in: Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP), IEEE Computer Society, 2011, pp. 223–226.
LibreCat
| DOI
T. Beisel, T. Wiersema, C. Plessl, A. Brinkmann, in: Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP), IEEE Computer Society, 2011, pp. 223–226.
2011 | Conference Paper | LibreCat-ID: 656
Measuring and Predicting Temperature Distributions on FPGAs at Run-Time
M. Happe, A. Agne, C. Plessl, in: Proceedings of the 2011 International Conference on Reconfigurable Computing and FPGAs (ReConFig), IEEE, 2011, pp. 55–60.
LibreCat
| Files available
| DOI
M. Happe, A. Agne, C. Plessl, in: Proceedings of the 2011 International Conference on Reconfigurable Computing and FPGAs (ReConFig), IEEE, 2011, pp. 55–60.
2011 | Conference Paper | LibreCat-ID: 2200
Performance Estimation Framework for Automated Exploration of CPU-Accelerator Architectures
T. Kenter, M. Platzner, C. Plessl, M. Kauschke, in: Proc. Int. Symp. on Field-Programmable Gate Arrays (FPGA), ACM, New York, NY, USA, 2011, pp. 177–180.
LibreCat
| DOI
T. Kenter, M. Platzner, C. Plessl, M. Kauschke, in: Proc. Int. Symp. on Field-Programmable Gate Arrays (FPGA), ACM, New York, NY, USA, 2011, pp. 177–180.
2011 | Journal Article | LibreCat-ID: 2201
FPGA Acceleration of Communication-bound Streaming Applications: Architecture Modeling and a 3D Image Compositing Case Study
T. Schumacher, T. Süß, C. Plessl, M. Platzner, Int. Journal of Recon- Figurable Computing (IJRC) (2011).
LibreCat
| DOI
T. Schumacher, T. Süß, C. Plessl, M. Platzner, Int. Journal of Recon- Figurable Computing (IJRC) (2011).
2011 | Conference Paper | LibreCat-ID: 2198
Just-in-time Instruction Set Extension – Feasibility and Limitations for an FPGA-based Reconfigurable ASIP Architecture
M. Grad, C. Plessl, in: Proc. Reconfigurable Architectures Workshop (RAW), IEEE Computer Society, 2011, pp. 278–285.
LibreCat
| DOI
M. Grad, C. Plessl, in: Proc. Reconfigurable Architectures Workshop (RAW), IEEE Computer Society, 2011, pp. 278–285.
2011 | Conference Paper | LibreCat-ID: 46401
Exploratory Landscape Analysis
O. Mersmann, B. Bischl, H. Trautmann, M. Preuss, C. Weihs, G. Rudolph, in: Proceedings of the 13th Annual Conference on Genetic and Evolutionary Computation, Association for Computing Machinery, New York, NY, USA, 2011, pp. 829–836.
LibreCat
| DOI
O. Mersmann, B. Bischl, H. Trautmann, M. Preuss, C. Weihs, G. Rudolph, in: Proceedings of the 13th Annual Conference on Genetic and Evolutionary Computation, Association for Computing Machinery, New York, NY, USA, 2011, pp. 829–836.
2011 | Conference Paper | LibreCat-ID: 46402
A Taxonomy of Online Stopping Criteria for Multi-Objective Evolutionary Algorithms
T. Wagner, H. Trautmann, L. Martí, in: R.H.C. Takahashi, K. Deb, E.F. Wanner, S. Greco (Eds.), Evolutionary Multi-Criterion Optimization, Springer Berlin Heidelberg, Berlin, Heidelberg, 2011, pp. 16–30.
LibreCat
| DOI
T. Wagner, H. Trautmann, L. Martí, in: R.H.C. Takahashi, K. Deb, E.F. Wanner, S. Greco (Eds.), Evolutionary Multi-Criterion Optimization, Springer Berlin Heidelberg, Berlin, Heidelberg, 2011, pp. 16–30.
2011 | Journal Article | LibreCat-ID: 46403
Advanced concepts for multi-objective evolutionary optimization in aircraft industry
B. Naujoks, H. Trautmann, S. Wessing, C. Weihs, Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering 225 (2011) 1081–1096.
LibreCat
| DOI
B. Naujoks, H. Trautmann, S. Wessing, C. Weihs, Proceedings of the Institution of Mechanical Engineers, Part G: Journal of Aerospace Engineering 225 (2011) 1081–1096.
2010 | Conference Paper | LibreCat-ID: 19678
The Power of Uncertainty: Bundle-Pricing for Unit-Demand Customers
P. Briest, H. Röglin, in: Workshop on Approximation and Online Algorithms (WAOA), Springer, 2010.
LibreCat
| DOI
P. Briest, H. Röglin, in: Workshop on Approximation and Online Algorithms (WAOA), Springer, 2010.
2010 | Conference Paper | LibreCat-ID: 19711
A local, distributed constant-factor approximation algorithm for the dynamic facility location problem
B. Degener, P. Pietrzyk, B. Kempkes, in: International Parallel & Distributed Processing Symposium (IPDPS), 2010.
LibreCat
| DOI
B. Degener, P. Pietrzyk, B. Kempkes, in: International Parallel & Distributed Processing Symposium (IPDPS), 2010.
2010 | Conference Paper | LibreCat-ID: 19796
Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks
M. Mense, C. Schindelhauer, in: Proceedings of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2010, pp. 624--639.
LibreCat
| DOI
M. Mense, C. Schindelhauer, in: Proceedings of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2010, pp. 624--639.
2010 | Conference Paper | LibreCat-ID: 19824
A Self-Stabilizing Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs
T. Janson, P. Mahlmann, C. Schindelhauer, in: Proceedings of the 16th International Conference on Parallel and Distributed Systems, 2010.
LibreCat
| DOI
T. Janson, P. Mahlmann, C. Schindelhauer, in: Proceedings of the 16th International Conference on Parallel and Distributed Systems, 2010.
2010 | Conference Paper | LibreCat-ID: 19829
Coverage-hole trap model in target tracking using distributed relay-robot network
H. Miao, C.C. Ooi, X. Wu, C. Schindelhauer, in: Proceedings of the 2010 ACM Symposium on Applied Computing - SAC ’10, 2010, pp. 1299–1304.
LibreCat
| DOI
H. Miao, C.C. Ooi, X. Wu, C. Schindelhauer, in: Proceedings of the 2010 ACM Symposium on Applied Computing - SAC ’10, 2010, pp. 1299–1304.
2010 | Conference Paper | LibreCat-ID: 19933
Distributed and dynamic resource management for self-optimizing mechatronic systems
G. Schomaker, S. Oberthur, M. Kortenjan, in: 8th IEEE International Conference on Industrial Informatics (INDIN’2010), 2010.
LibreCat
| DOI
G. Schomaker, S. Oberthur, M. Kortenjan, in: 8th IEEE International Conference on Industrial Informatics (INDIN’2010), 2010.
2010 | Book | LibreCat-ID: 20182
Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming
H. Hamann, Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming, Springer, Berlin, Germany, 2010.
LibreCat
| DOI
H. Hamann, Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming, Springer, Berlin, Germany, 2010.
2010 | Conference Paper | LibreCat-ID: 20220
A Hormone-Based Controller for Evolutionary Multi-Modular Robotics: From Single Modules to Gait Learning
H. Hamann, T. Schmickl, J. Stradner, K. Crailsheim, in: Proceedings of the IEEE Congress on Evolutionary Computation (CEC’10), 2010, pp. 244--251.
LibreCat
| DOI
H. Hamann, T. Schmickl, J. Stradner, K. Crailsheim, in: Proceedings of the IEEE Congress on Evolutionary Computation (CEC’10), 2010, pp. 244--251.
2010 | Conference Paper | LibreCat-ID: 20222
Complex Taxis-Behaviour in a Novel Bio-Inspired Robot Controller
T. Schmickl, H. Hamann, J. Stradner, R. Mayet, K. Crailsheim, in: Proc. of the ALife XII Conference, MIT Press, 2010, pp. 648--655.
LibreCat
T. Schmickl, H. Hamann, J. Stradner, R. Mayet, K. Crailsheim, in: Proc. of the ALife XII Conference, MIT Press, 2010, pp. 648--655.
2010 | Conference Paper | LibreCat-ID: 20223
Artificial Hormone Reaction Networks: Towards Higher Evolvability in Evolutionary Multi-Modular Robotics
H. Hamann, J. Stradner, T. Schmickl, K. Crailsheim, in: Artificial Life XII (ALife XII), Odense, Denmark, MIT Press, 2010, pp. 773–780.
LibreCat
| arXiv
H. Hamann, J. Stradner, T. Schmickl, K. Crailsheim, in: Artificial Life XII (ALife XII), Odense, Denmark, MIT Press, 2010, pp. 773–780.
2010 | Conference Paper | LibreCat-ID: 20226
A Model of Symmetry Breaking in Collective Decision-Making
H. Hamann, B. Meyer, T. Schmickl, K. Crailsheim, in: From Animals to Animats 11, Springer, 2010, pp. 639–648.
LibreCat
| DOI
H. Hamann, B. Meyer, T. Schmickl, K. Crailsheim, in: From Animals to Animats 11, Springer, 2010, pp. 639–648.
2010 | Conference Paper | LibreCat-ID: 20258
On Adaptive Self-Organization in Artificial Robot Organisms
S. Kernbach, H. Hamann, J. Stradner, R. Thenius, T. Schmickl, K. Crailsheim, A.C. van Rossum, M. Sebag, N. Bredeche, Y. Yao, G. Baele, Y.V. de Peer, J. Timmis, M. Mohktar, A. Tyrrell, A.E. Eiben, S.P. McKibbin, W. Liu, A.F.T. Winfield, in: 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns, 2010.
LibreCat
| DOI
S. Kernbach, H. Hamann, J. Stradner, R. Thenius, T. Schmickl, K. Crailsheim, A.C. van Rossum, M. Sebag, N. Bredeche, Y. Yao, G. Baele, Y.V. de Peer, J. Timmis, M. Mohktar, A. Tyrrell, A.E. Eiben, S.P. McKibbin, W. Liu, A.F.T. Winfield, in: 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns, 2010.
2010 | Journal Article | LibreCat-ID: 24282
Robust Undetectable Interference Watermarks
R. Grza̧ślewicz, J. Kutyłowski, M. Kutyłowski, W. Pietkiewicz, ICCSA’05: Proceedings of the 2005 International Conference on Computational Science and Its Applications (2010).
LibreCat
| DOI
R. Grza̧ślewicz, J. Kutyłowski, M. Kutyłowski, W. Pietkiewicz, ICCSA’05: Proceedings of the 2005 International Conference on Computational Science and Its Applications (2010).
2010 | Conference Paper | LibreCat-ID: 3195
A {CSP} Approach to Control in Event-B
S. Schneider, H. Treharne, H. Wehrheim, in: D. M{\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 260--274.
LibreCat
| DOI
S. Schneider, H. Treharne, H. Wehrheim, in: D. M{\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 260--274.
2010 | Conference Paper | LibreCat-ID: 3196
{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems
K. Dräger, A. Kupriyanov, B. Finkbeiner, H. Wehrheim, in: J. Esparza, R. Majumdar (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, 2010, pp. 271--274.
LibreCat
| DOI
K. Dräger, A. Kupriyanov, B. Finkbeiner, H. Wehrheim, in: J. Esparza, R. Majumdar (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, 2010, pp. 271--274.
2010 | Journal Article | LibreCat-ID: 3198
Towards {A} Shape Analysis for Graph Transformation Systems
D. Steenken, H. Wehrheim, D. Wonisch, CoRR (2010).
LibreCat
D. Steenken, H. Wehrheim, D. Wonisch, CoRR (2010).
2010 | Conference Paper | LibreCat-ID: 3810
Efficient Statement Identification for Automatic Market Forecasting
H. Wachsmuth, P. Prettenhofer, B. Stein, in: Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010), 2010, pp. 1128–1136.
LibreCat
| Download (ext.)
H. Wachsmuth, P. Prettenhofer, B. Stein, in: Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010), 2010, pp. 1128–1136.
2010 | Book Chapter | LibreCat-ID: 2988
Bregman Clustering for Separable Instances
M.R. Ackermann, J. Blömer, in: SWAT 2010, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 212–223.
LibreCat
| DOI
M.R. Ackermann, J. Blömer, in: SWAT 2010, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 212–223.
2010 | Journal Article | LibreCat-ID: 2990
Clustering for Metric and Nonmetric Distance Measures
M.R. Ackermann, J. Blömer, C. Sohler, ACM Trans. Algorithms (2010) 59:1--59:26.
LibreCat
| DOI
M.R. Ackermann, J. Blömer, C. Sohler, ACM Trans. Algorithms (2010) 59:1--59:26.
2010 | Journal Article | LibreCat-ID: 2991
On the initialization of dynamic models for speech features
A. Krueger, V. Leutnant, R. Haeb-Umbach, M. Ackermann, J. Blömer, Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany (2010).
LibreCat
A. Krueger, V. Leutnant, R. Haeb-Umbach, M. Ackermann, J. Blömer, Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany (2010).
2010 | Conference Paper | LibreCat-ID: 2993
Efficient and Compact CCA Security from Partitioned IBKEM
J. Schrieb, (2010).
LibreCat
J. Schrieb, (2010).
2010 | Conference Paper | LibreCat-ID: 2994
Engineering self-coordinating software intensive systems
W. Schäfer, A. Trächtler, M. Birattari, J. Blömer, M. Dorigo, G. Engels, R. O’Grady, M. Platzner, F. Rammig, W. Reif, in: Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10, ACM Press, 2010.
LibreCat
| DOI
W. Schäfer, A. Trächtler, M. Birattari, J. Blömer, M. Dorigo, G. Engels, R. O’Grady, M. Platzner, F. Rammig, W. Reif, in: Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10, ACM Press, 2010.
2010 | Conference Paper | LibreCat-ID: 3139
Generic Compilers for Authenticated Key Exchange
T. Jager, F. Kohlar, S. Schäge, J. Schwenk, in: Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings, 2010, pp. 232--249.
LibreCat
| DOI
T. Jager, F. Kohlar, S. Schäge, J. Schwenk, in: Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings, 2010, pp. 232--249.
2010 | Conference Paper | LibreCat-ID: 3140
The Semi-Generic Group Model and Applications to Pairing-Based Cryptography
T. Jager, A. Rupp, in: Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings, 2010, pp. 539--556.
LibreCat
| DOI
T. Jager, A. Rupp, in: Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings, 2010, pp. 539--556.
2010 | Conference Paper | LibreCat-ID: 3141
Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model
K. Haralambiev, T. Jager, E. Kiltz, V. Shoup, in: Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings, 2010, pp. 1--18.
LibreCat
| DOI
K. Haralambiev, T. Jager, E. Kiltz, V. Shoup, in: Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings, 2010, pp. 1--18.
2010 | Journal Article | LibreCat-ID: 3189
Model transformations across views
J. Derrick, H. Wehrheim, Sci. Comput. Program. (2010) 192--210.
LibreCat
| DOI
J. Derrick, H. Wehrheim, Sci. Comput. Program. (2010) 192--210.
2010 | Conference Paper | LibreCat-ID: 3191
Model-Driven Development with Mechatronic {UML}
W. Schäfer, H. Wehrheim, in: G. Engels, C. Lewerentz, W. Sch{\"{a}}fer, A. Sch{\"{u}}rr, B. Westfechtel (Eds.), Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, 2010, pp. 533--554.
LibreCat
| DOI
W. Schäfer, H. Wehrheim, in: G. Engels, C. Lewerentz, W. Sch{\"{a}}fer, A. Sch{\"{u}}rr, B. Westfechtel (Eds.), Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, 2010, pp. 533--554.
2010 | Conference Paper | LibreCat-ID: 3193
On Symmetries and Spotlights - Verifying Parameterised Systems
N. Timm, H. Wehrheim, in: J. Song Dong, H. Zhu (Eds.), Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings, 2010, pp. 534--548.
LibreCat
| DOI
N. Timm, H. Wehrheim, in: J. Song Dong, H. Zhu (Eds.), Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings, 2010, pp. 534--548.
2010 | Conference Paper | LibreCat-ID: 3194
Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: D. M{\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.
LibreCat
| DOI
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: D. M{\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.
2010 | Conference Paper | LibreCat-ID: 27159
Real-time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip
S. Samara, G. Schomaker, in: 2010 10th IEEE International Conference on Computer and Information Technology, 2010.
LibreCat
| DOI
S. Samara, G. Schomaker, in: 2010 10th IEEE International Conference on Computer and Information Technology, 2010.
2010 | Conference Paper | LibreCat-ID: 20934
Reverse Engineering with the Reclipse Tool Suite
M. von Detten, M. Meyer, D. Travkin, in: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010, ACM Press, New York, NY, USA, 2010, pp. 299–300.
LibreCat
M. von Detten, M. Meyer, D. Travkin, in: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010, ACM Press, New York, NY, USA, 2010, pp. 299–300.
2010 | Report | LibreCat-ID: 20935
Reclipse - A Reverse Engineering Tool Suite
M. von Detten, M. Meyer, D. Travkin, Reclipse - A Reverse Engineering Tool Suite, 2010.
LibreCat
M. von Detten, M. Meyer, D. Travkin, Reclipse - A Reverse Engineering Tool Suite, 2010.