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.
5676 Publications
2009 | Conference Paper | LibreCat-ID: 10777
Signature Self Checking (SSC): A Low-Cost Reliable Control Logic for Pipelined Microprocessors
H. Ghasemzadeh Mohammadi, S.G. Miremadi, A. Ejlali, in: Dependable Computing (PRDC), 2009 IEEE Pacific Rim International Symposium On, IEEE, 2009, pp. 252–255.
LibreCat
| DOI
H. Ghasemzadeh Mohammadi, S.G. Miremadi, A. Ejlali, in: Dependable Computing (PRDC), 2009 IEEE Pacific Rim International Symposium On, IEEE, 2009, pp. 252–255.
2009 | Journal Article | LibreCat-ID: 12060
Simulation of Ad Hoc Routing Protocols using OMNeT++
C. Sommer, I. Dietrich, F. Dressler, Mobile Networks and Applications (2009) 786–801.
LibreCat
| DOI
C. Sommer, I. Dietrich, F. Dressler, Mobile Networks and Applications (2009) 786–801.
2009 | Journal Article | LibreCat-ID: 15680
An evaluation of object oriented example programs in introductory programming textbooks
J. Börstler, M. S. Hall, M. Nordström, J. H. Paterson, K. Sanders, C. Schulte, L. Thomas, SIGCSE Bulletin 41 (2009) 126–143.
LibreCat
J. Börstler, M. S. Hall, M. Nordström, J. H. Paterson, K. Sanders, C. Schulte, L. Thomas, SIGCSE Bulletin 41 (2009) 126–143.
2009 | Conference Paper | LibreCat-ID: 15681
Qualitätssicherung in einer interaktiven und lerneraktivierenden E-Learning-Umgebung
C. Schulte, R. Tolksdorf, in: DeLFI Workshops, Logos Verlag, 2009, pp. 219–225.
LibreCat
C. Schulte, R. Tolksdorf, in: DeLFI Workshops, Logos Verlag, 2009, pp. 219–225.
2009 | Conference Paper | LibreCat-ID: 15682
Empirical comparison of objects-first and objects-later
A. Ehlert, C. Schulte, in: ICER, ACM, 2009, pp. 15–26.
LibreCat
A. Ehlert, C. Schulte, in: ICER, ACM, 2009, pp. 15–26.
2009 | Conference Paper | LibreCat-ID: 15683
Bridging ICT and CS: educational standards for computer science in lower secondary education
T. Brinda, H. Puhlmann, C. Schulte, in: ITiCSE, ACM, 2009, pp. 288–292.
LibreCat
T. Brinda, H. Puhlmann, C. Schulte, in: ITiCSE, ACM, 2009, pp. 288–292.
2009 | Conference Paper | LibreCat-ID: 15684
Unterschiede im Lernerfolg von Schülerinnen und Sch\üern in Abhängigkeit von der zeitlichen Reihenfolge der Themen (OOP-First bzw. OOP-Later)
A. Ehlert, C. Schulte, in: INFOS, GI, 2009, pp. 121–132.
LibreCat
A. Ehlert, C. Schulte, in: INFOS, GI, 2009, pp. 121–132.
2009 | Conference Paper | LibreCat-ID: 15685
Informatik im Kontext (IniK) - Ein integratives Unterrichtskonzept für den Informatikunterricht
J. Koubek, C. Schulte, P. Schulze, H. Witten, in: INFOS, GI, 2009, pp. 268–279.
LibreCat
J. Koubek, C. Schulte, P. Schulze, H. Witten, in: INFOS, GI, 2009, pp. 268–279.
2009 | Conference Paper | LibreCat-ID: 15686
Dualitätsrekonstruktion als Hilfsmittel zur Entwicklung und Planung von Informatikunterricht
C. Schulte, in: INFOS, GI, 2009, pp. 355–366.
LibreCat
C. Schulte, in: INFOS, GI, 2009, pp. 355–366.
2009 | Conference Paper | LibreCat-ID: 15773
A simple instance-based approach to multilabel classification using the Mallows model
W. Cheng, E. Hüllermeier, in: In Proceedings MLD-2009 1st International Workshop on Learning from Multi-Label Data, Bled, Slovenia, 2009, pp. 28–38.
LibreCat
W. Cheng, E. Hüllermeier, in: In Proceedings MLD-2009 1st International Workshop on Learning from Multi-Label Data, Bled, Slovenia, 2009, pp. 28–38.
2009 | Conference Paper | LibreCat-ID: 15774
Learning pattern tree classifiers using a co-evolutionary algorithm
R. Senge, E. Hüllermeier, in: F. Hoffmann, E. Hüllermeier (Eds.), In Proceedings 19th Workshop Computational Intelligence, Dortmund Germany, KIT Scientific Publishing, 2009, pp. 22–33.
LibreCat
R. Senge, E. Hüllermeier, in: F. Hoffmann, E. Hüllermeier (Eds.), In Proceedings 19th Workshop Computational Intelligence, Dortmund Germany, KIT Scientific Publishing, 2009, pp. 22–33.
2009 | Conference Paper | LibreCat-ID: 15775
Graph-kernels for the comparative analysis of protein active sites
T. Fober, M. Mernberger, R. Moritz, E. Hüllermeier, in: I. Grosse, S. Neumann, S. Posch, F. Schreiber, P.. Stadler (Eds.), In Proceedings GCB-2009 German Conference on Bioinformatics Halle (Saale), Germany, 2009, pp. 21–31.
LibreCat
T. Fober, M. Mernberger, R. Moritz, E. Hüllermeier, in: I. Grosse, S. Neumann, S. Posch, F. Schreiber, P.. Stadler (Eds.), In Proceedings GCB-2009 German Conference on Bioinformatics Halle (Saale), Germany, 2009, pp. 21–31.
2009 | Conference Paper | LibreCat-ID: 15776
Learning pattern tree classifiers using a co-evolutionary algorithm
R. Senge, E. Hüllermeier, in: In Proceedings Workshop LWA-2009, Lernen-Wissensentdeckung-Adaptivität, Darmstadt, Germany, 2009, pp. 105–110.
LibreCat
R. Senge, E. Hüllermeier, in: In Proceedings Workshop LWA-2009, Lernen-Wissensentdeckung-Adaptivität, Darmstadt, Germany, 2009, pp. 105–110.
2009 | Conference Paper | LibreCat-ID: 15778
Extension and empirical comparison of graph-kernels for the analysis of protein active sites
T. Fober, M. Mernberger, V. Melnikov, R. Moritz, E. Hüllermeier, in: In Proceedings Workshop LWA-2009, Lernen-Wissensentdeckung-Adaptivität, Darmstadt, Germany, 2009, pp. 30–36.
LibreCat
T. Fober, M. Mernberger, V. Melnikov, R. Moritz, E. Hüllermeier, in: In Proceedings Workshop LWA-2009, Lernen-Wissensentdeckung-Adaptivität, Darmstadt, Germany, 2009, pp. 30–36.
2009 | Journal Article | LibreCat-ID: 15076
Information disclosure by answers to XPath queries
S. Böttcher, R. Hartel, Journal of Computer Security 17 (2009) 69–99.
LibreCat
| DOI
S. Böttcher, R. Hartel, Journal of Computer Security 17 (2009) 69–99.
2009 | Conference Paper | LibreCat-ID: 15120
Efficient construction of multiple geometrical alignments for the comparison of protein binding sites
T. Fober, G. Klebe, E. Hüllermeier, in: In Proceedings ISDA-2009, 9th International Conference on Intelligent Systems Design and Applications, Pisa, Italy, 2009, pp. 1251–1256.
LibreCat
T. Fober, G. Klebe, E. Hüllermeier, in: In Proceedings ISDA-2009, 9th International Conference on Intelligent Systems Design and Applications, Pisa, Italy, 2009, pp. 1251–1256.
2009 | Conference Paper | LibreCat-ID: 15138
CSC: Supporting Queries on Compressed Cached XML
S. Böttcher, R. Hartel, in: Database Technologies 2009, Twentieth Australasian Database Conference, ADC 2009, Australian Computer Society, Inc., 2009, pp. 153–160.
LibreCat
S. Böttcher, R. Hartel, in: Database Technologies 2009, Twentieth Australasian Database Conference, ADC 2009, Australian Computer Society, Inc., 2009, pp. 153–160.
2009 | Conference Paper | LibreCat-ID: 15139
XML Stream Data Reduction by Shared KST Signatures
S. Böttcher, R. Hartel, C. Messinger, in: 2009 42nd Hawaii International Conference on System Sciences, IEEE, 2009.
LibreCat
| DOI
S. Böttcher, R. Hartel, C. Messinger, in: 2009 42nd Hawaii International Conference on System Sciences, IEEE, 2009.
2009 | Conference Paper | LibreCat-ID: 15194
Similarity analysis of protein binding sites: A generalization of the maximum common subgraph measure based on quasi-clique detection
I. Boukhris, Z. Elouedi, T. Fober, M. Mernberger, E. Hüllermeier, in: In Proceedings IDA-2009, 9th International Symposium on Intelligent Data Analysis, Pisa / Italy, 2009, pp. 1245–1250.
LibreCat
I. Boukhris, Z. Elouedi, T. Fober, M. Mernberger, E. Hüllermeier, in: In Proceedings IDA-2009, 9th International Symposium on Intelligent Data Analysis, Pisa / Italy, 2009, pp. 1245–1250.
2009 | Conference Paper | LibreCat-ID: 15195
Fuzzy modeling of labeled point cloud superposition for the comparison of protein binding sites
T. Fober, E. Hüllermeier, in: In Proceedings IFSA / EUSFLAT-2009 World Congress of the Fuzzy Systems Association, Lissabon, Portugal, 2009, pp. 1299–1304.
LibreCat
T. Fober, E. Hüllermeier, in: In Proceedings IFSA / EUSFLAT-2009 World Congress of the Fuzzy Systems Association, Lissabon, Portugal, 2009, pp. 1299–1304.
2009 | Conference Paper | LibreCat-ID: 15196
A fuzzy variant of the Rand index for comparing clustering structures
E. Hüllermeier, M. Rifqi, in: In Proceedings IFSA / EUSFLAT-2009 World Congress of the Fuzzy Systems Association, Lissabon, Portugal, 2009, pp. 1294–1298.
LibreCat
E. Hüllermeier, M. Rifqi, in: In Proceedings IFSA / EUSFLAT-2009 World Congress of the Fuzzy Systems Association, Lissabon, Portugal, 2009, pp. 1294–1298.
2009 | Journal Article | LibreCat-ID: 15255
Interdisciplinary Collaboration in a Visualization Course
G. Domik, Informatics Education Europe IV, November (2009) 5–9.
LibreCat
G. Domik, Informatics Education Europe IV, November (2009) 5–9.
2009 | Journal Article | LibreCat-ID: 16154
Merging chemical and biological space: Structural mapping of enzyme binding pocket space
N. Weskamp, E. Hüllermeier, G. Klebe, Proteins 76 (2009) 317–330.
LibreCat
N. Weskamp, E. Hüllermeier, G. Klebe, Proteins 76 (2009) 317–330.
2009 | Journal Article | LibreCat-ID: 16158
FURIA: An Algorithm for unordered fuzzy rule induction
J. Hühn, E. Hüllermeier, Data Mining and Knowledge Discovery 19 (2009) 293–319.
LibreCat
J. Hühn, E. Hüllermeier, Data Mining and Knowledge Discovery 19 (2009) 293–319.
2009 | Journal Article | LibreCat-ID: 16159
Why fuzzy decision trees are good rankers
E. Hüllermeier, S. Vanderlooy, IEEE Transactions on Fuzzy Systems 17 (2009) 1233–1244.
LibreCat
E. Hüllermeier, S. Vanderlooy, IEEE Transactions on Fuzzy Systems 17 (2009) 1233–1244.
2009 | Journal Article | LibreCat-ID: 16161
Fuzzy operator trees for modeling rating functions
Y. Yi, T. Fober, E. Hüllermeier, International Journal of Computational Intelligence and Applications 8 (2009) 413–428.
LibreCat
Y. Yi, T. Fober, E. Hüllermeier, International Journal of Computational Intelligence and Applications 8 (2009) 413–428.
2009 | Journal Article | LibreCat-ID: 16162
Evolutionary construction of multiple graph alignments for the structural analysis of biomolecules
T. Fober, M. Mernberger, G. Klebe, E. Hüllermeier, Bioinformatics 25 (2009) 2110–2117.
LibreCat
T. Fober, M. Mernberger, G. Klebe, E. Hüllermeier, Bioinformatics 25 (2009) 2110–2117.
2009 | Journal Article | LibreCat-ID: 16163
FR3: A fuzzy rule learner for inducing reliable classifiers
J. Hühn, E. Hüllermeier, IEEE Transactions on Fuzzy Systems 17 (2009) 138–149.
LibreCat
J. Hühn, E. Hüllermeier, IEEE Transactions on Fuzzy Systems 17 (2009) 138–149.
2009 | Journal Article | LibreCat-ID: 16165
Supporting case-based retrieval by similarity skylines: Basic concepts and extensions
E. Hüllermeier, I. Vladimirskiy, B. Prados Suarez, E. Stauch, Künstliche Intelligenz 1 (2009) 24–29.
LibreCat
E. Hüllermeier, I. Vladimirskiy, B. Prados Suarez, E. Stauch, Künstliche Intelligenz 1 (2009) 24–29.
2009 | Journal Article | LibreCat-ID: 16398
Optimal algorithms for page migration in dynamic networks
M. Bienkowski, J. Byrka, M. Korzeniowski, F. Meyer auf der Heide, Journal of Discrete Algorithms (2009) 545–569.
LibreCat
| DOI
M. Bienkowski, J. Byrka, M. Korzeniowski, F. Meyer auf der Heide, Journal of Discrete Algorithms (2009) 545–569.
2009 | Conference Paper | LibreCat-ID: 1005
Cooperation and coding framework
T. Biermann, Z.A. Polgar, H. Karl, in: Communications Workshops, 2009. ICC Workshops 2009. IEEE International Conference On, 2009, pp. 1--5.
LibreCat
| Download (ext.)
T. Biermann, Z.A. Polgar, H. Karl, in: Communications Workshops, 2009. ICC Workshops 2009. IEEE International Conference On, 2009, pp. 1--5.
2009 | Conference Paper | LibreCat-ID: 1010
Combining for cooperative WLANs-a reality check based on prototype measurements
S. Valentin, D.H. Woldegebreal, T. Volkhausen, H. Karl, in: Communications Workshops, 2009. ICC Workshops 2009. IEEE International Conference On, 2009, pp. 1--5.
LibreCat
| Files available
S. Valentin, D.H. Woldegebreal, T. Volkhausen, H. Karl, in: Communications Workshops, 2009. ICC Workshops 2009. IEEE International Conference On, 2009, pp. 1--5.
2009 | Conference Paper | LibreCat-ID: 1011
Improving network coded cooperation by soft information
T. Volkhausen, D.H. Woldegebreal, H. Karl, in: Sensor, Mesh and Ad Hoc Communications and Networks Workshops, 2009. SECON Workshops’ 09. 6th Annual IEEE Communications Society Conference On, 2009, pp. 1--6.
LibreCat
| Download (ext.)
T. Volkhausen, D.H. Woldegebreal, H. Karl, in: Sensor, Mesh and Ad Hoc Communications and Networks Workshops, 2009. SECON Workshops’ 09. 6th Annual IEEE Communications Society Conference On, 2009, pp. 1--6.
2009 | Book Chapter | LibreCat-ID: 10188
On the usefulness of fuzzy sets in data mining
E. Hüllermeier, in: R. Seising (Ed.), Views on Fuzzy Sets and Systems from Different Perspectives: Philosophy and Logic, Criticisms and Applications, Springer, 2009, pp. 457–470.
LibreCat
E. Hüllermeier, in: R. Seising (Ed.), Views on Fuzzy Sets and Systems from Different Perspectives: Philosophy and Logic, Criticisms and Applications, Springer, 2009, pp. 457–470.
2009 | Conference Paper | LibreCat-ID: 1032
Statistics-based ID management for load balancing in structured P2P networks
D. Warneke, C. Dannewitz, in: 2009 IEEE 34th Conference on Local Computer Networks, IEEE, 2009.
LibreCat
| DOI
D. Warneke, C. Dannewitz, in: 2009 IEEE 34th Conference on Local Computer Networks, IEEE, 2009.
2009 | Conference Paper | LibreCat-ID: 13595
Decision tree and instance-based learning for label ranking
W. Cheng, J. Hühn, E. Hüllermeier, in: In Proceedings ICML-2009, 26th International Conference on Machine Learning, Montreal, Canada, 2009, pp. 161–168.
LibreCat
W. Cheng, J. Hühn, E. Hüllermeier, in: In Proceedings ICML-2009, 26th International Conference on Machine Learning, Montreal, Canada, 2009, pp. 161–168.
2009 | Conference Paper | LibreCat-ID: 13596
Binary decomposition methods for multipartite ranking
J. Fürnkranz, E. Hüllermeier, S. Vanderlooy, in: In Proceedings ECML/PKDD-2009, European Conference on Machine Learning and Principles and Knowledge Discovery in Databases, Bled Sloveniaery in Databases, Bled, Slovenia, 2009.
LibreCat
J. Fürnkranz, E. Hüllermeier, S. Vanderlooy, in: In Proceedings ECML/PKDD-2009, European Conference on Machine Learning and Principles and Knowledge Discovery in Databases, Bled Sloveniaery in Databases, Bled, Slovenia, 2009.
2009 | Conference Paper | LibreCat-ID: 13598
A new instance-based label ranking approach using the Mallows model. In Advances in Neural Networks
W. Cheng, E. Hüllermeier, in: In Proceedings 6th International Symposium on Neural Networks, Wuhan, China, Springer, 2009, pp. 707–716.
LibreCat
W. Cheng, E. Hüllermeier, in: In Proceedings 6th International Symposium on Neural Networks, Wuhan, China, Springer, 2009, pp. 707–716.
2009 | Conference Paper | LibreCat-ID: 13632
A Multithreaded Framework for Sequential Monte Carlo Methods on CPU/FPGA Platforms
M. Happe, E. Lübbers, M. Platzner, in: Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC), Springer, 2009.
LibreCat
M. Happe, E. Lübbers, M. Platzner, in: Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC), Springer, 2009.
2009 | Conference Paper | LibreCat-ID: 13634
Towards Models for Many-Cores: The Case for the Reconfigurable Mesh
H. Giefers, M. Platzner, in: Proceedings of the Workshop on Many-Cores, International Conference on Architecture of Computing Systems (ARCS), 2009.
LibreCat
H. Giefers, M. Platzner, in: Proceedings of the Workshop on Many-Cores, International Conference on Architecture of Computing Systems (ARCS), 2009.
2009 | Conference Paper | LibreCat-ID: 13635
ARMLang: A Language and Compiler for Programming Reconfigurable Mesh Many-Cores
H. Giefers, M. Platzner, in: Reconfigurable Architectures Workshop (RAW), Proceedings of the International Parallel and Distributed Processing Symposium, IEEE, 2009.
LibreCat
H. Giefers, M. Platzner, in: Reconfigurable Architectures Workshop (RAW), Proceedings of the International Parallel and Distributed Processing Symposium, IEEE, 2009.
2009 | Conference Paper | LibreCat-ID: 13636
Cooperative Multithreading in Dynamically Reconfigurable Systems
E. Lübbers, M. Platzner, in: Proceedings of the 19th International Workshop on Field Programmable Logic and Applications (FPL) , IEEE, 2009.
LibreCat
E. Lübbers, M. Platzner, in: Proceedings of the 19th International Workshop on Field Programmable Logic and Applications (FPL) , IEEE, 2009.
2009 | Conference Paper | LibreCat-ID: 13637
Program-driven Fine-grained Power Management for the Reconfigurable Mesh
H. Giefers, M. Platzner, in: Proceedings of the 19th International Workshop on Field Programmable Logic and Applications (FPL) , IEEE, 2009.
LibreCat
H. Giefers, M. Platzner, in: Proceedings of the 19th International Workshop on Field Programmable Logic and Applications (FPL) , IEEE, 2009.
2009 | Conference Paper | LibreCat-ID: 13638
An adaptive Sequential Monte Carlo framework with runtime HW/SW repartitioning
M. Happe, E. Lübbers, M. Platzner, in: Proceedings of the 2009 International Conference on Field-Programmable Technology (FPT), IEEE, 2009.
LibreCat
| DOI
M. Happe, E. Lübbers, M. Platzner, in: Proceedings of the 2009 International Conference on Field-Programmable Technology (FPT), IEEE, 2009.
2009 | Conference Paper | LibreCat-ID: 13639
Proof-carrying Hardware: Towards Runtime Verification of Reconfigurable Modules
S. Drzevitzky, U. Kastens, M. Platzner, in: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), IEEE, 2009.
LibreCat
S. Drzevitzky, U. Kastens, M. Platzner, in: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), IEEE, 2009.
2009 | Book Chapter | LibreCat-ID: 33813
Accurate RTOS Modelling and Analysis with SystemC
H. Zabel, W. Müller, A. Gerstlauer, in: W. Ecker, W. Müller, R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice, Springer Verlag, Dordrecht, 2009, pp. 233–260.
LibreCat
| DOI
H. Zabel, W. Müller, A. Gerstlauer, in: W. Ecker, W. Müller, R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice, Springer Verlag, Dordrecht, 2009, pp. 233–260.
2009 | Book Chapter | LibreCat-ID: 33814
Hardware-dependent Software - Introduction and Overview
W. Ecker, W. Müller, R. Dömer, in: W. Ecker, W. Müller, R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice, Springer Verlag, Dordrecht, 2009, pp. 1–14.
LibreCat
| DOI
W. Ecker, W. Müller, R. Dömer, in: W. Ecker, W. Müller, R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice, Springer Verlag, Dordrecht, 2009, pp. 1–14.
2009 | Conference Paper | LibreCat-ID: 37067
A UML Frontend for IP-XACT-based IP Management
T. Schattkowsky, T. Xie, W. Müller, in: Proceedings of DATE’09, IEEE, Nice, France, 2009.
LibreCat
| DOI
T. Schattkowsky, T. Xie, W. Müller, in: Proceedings of DATE’09, IEEE, Nice, France, 2009.
2009 | Conference Paper | LibreCat-ID: 37066
Increased Accuracy through Noise Injection in Abstract RTOS Simulation
H. Zabel, W. Müller, in: Proceedings of DATE’09, Nice, France, 2009.
LibreCat
| DOI
H. Zabel, W. Müller, in: Proceedings of DATE’09, Nice, France, 2009.
2009 | Conference Paper | LibreCat-ID: 37063
Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study
K. Klobedanz, C. Kuznik, A. Elfeky, W. Müller, in: Proceedings of IESS09, Springer Verlag, 2009.
LibreCat
| DOI
K. Klobedanz, C. Kuznik, A. Elfeky, W. Müller, in: Proceedings of IESS09, Springer Verlag, 2009.
2009 | Conference Paper | LibreCat-ID: 37064
Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme
M. Becker, H. Zabel, W. Müller, in: 2009.
LibreCat
M. Becker, H. Zabel, W. Müller, in: 2009.
2009 | Conference Paper | LibreCat-ID: 37061
Systematic Model-in-the-Loop Test of Embedded Control Systems
A. Krupp, W. Müller, in: Proceedings of IESS09, Friedrichshafen, 2009.
LibreCat
A. Krupp, W. Müller, in: Proceedings of IESS09, Friedrichshafen, 2009.
2009 | Conference Paper | LibreCat-ID: 37068
Hardware-dependent Software for Multi- and Many-Core Embedded Systems
R. Doemer, A. Gerstlauer, W. Müller, in: Proceedings of ASP-DAC’09, Yokohama, Japan, 2009.
LibreCat
R. Doemer, A. Gerstlauer, W. Müller, in: Proceedings of ASP-DAC’09, Yokohama, Japan, 2009.
2009 | Journal Article | LibreCat-ID: 8180 | 
On global effects caused by locally noneffective unitary operations
S. Gharibian, H. Kampermann, D. Bru{\ss}, Quantum Information & Computation 9 (2009) 1013–1029.
LibreCat
| Download (ext.)
| arXiv
S. Gharibian, H. Kampermann, D. Bru{\ss}, Quantum Information & Computation 9 (2009) 1013–1029.
2009 | Journal Article | LibreCat-ID: 8181 |
Signatures of nonclassicality in mixed-state quantum computation
A. Datta, S. Gharibian, Physical Review A 79 (2009).
LibreCat
| DOI
| Download (ext.)
| arXiv
A. Datta, S. Gharibian, Physical Review A 79 (2009).
2009 | Conference Paper | LibreCat-ID: 2350
IMORC: Application Mapping, Monitoring and Optimization for High-Performance Reconfigurable Computing
T. Schumacher, C. Plessl, M. Platzner, in: Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM), IEEE Computer Society, 2009, pp. 275–278.
LibreCat
| DOI
T. Schumacher, C. Plessl, M. Platzner, in: Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM), IEEE Computer Society, 2009, pp. 275–278.
2009 | Conference Paper | LibreCat-ID: 2262
EvoCaches: Application-specific Adaptation of Cache Mapping
P. Kaufmann, C. Plessl, M. Platzner, in: Proc. NASA/ESA Conference on Adaptive Hardware and Systems (AHS), IEEE Computer Society, Los Alamitos, CA, USA, 2009, pp. 11–18.
LibreCat
P. Kaufmann, C. Plessl, M. Platzner, in: Proc. NASA/ESA Conference on Adaptive Hardware and Systems (AHS), IEEE Computer Society, Los Alamitos, CA, USA, 2009, pp. 11–18.
2009 | Conference Paper | LibreCat-ID: 2352
PermaDAQ: A Scientific Instrument for Precision Sensing and Data Recovery in Environmental Extremes
J. Beutel, S. Gruber, A. Hasler, R. Lim, A. Meier, C. Plessl, I. Talzi, L. Thiele, C. Tschudin, M. Woehrle, M. Yuecel, in: Proc. Int. Conf. on Information Processing in Sensor Networks (IPSN), IEEE Computer Society, Washington, DC, USA, 2009, pp. 265–276.
LibreCat
J. Beutel, S. Gruber, A. Hasler, R. Lim, A. Meier, C. Plessl, I. Talzi, L. Thiele, C. Tschudin, M. Woehrle, M. Yuecel, in: Proc. Int. Conf. on Information Processing in Sensor Networks (IPSN), IEEE Computer Society, Washington, DC, USA, 2009, pp. 265–276.
2009 | Conference Paper | LibreCat-ID: 2238
Communication Performance Characterization for Reconfigurable Accelerator Design on the XD1000
T. Schumacher, T. Süß, C. Plessl, M. Platzner, in: Proc. Int. Conf. on ReConFigurable Computing and FPGAs (ReConFig), IEEE Computer Society, Los Alamitos, CA, USA, 2009, pp. 119–124.
LibreCat
| DOI
T. Schumacher, T. Süß, C. Plessl, M. Platzner, in: Proc. Int. Conf. on ReConFigurable Computing and FPGAs (ReConFig), IEEE Computer Society, Los Alamitos, CA, USA, 2009, pp. 119–124.
2009 | Conference Paper | LibreCat-ID: 2261
An Accelerator for k-th Nearest Neighbor Thinning Based on the IMORC Infrastructure
T. Schumacher, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), IEEE, 2009, pp. 338–344.
LibreCat
T. Schumacher, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), IEEE, 2009, pp. 338–344.
2009 | Conference Paper | LibreCat-ID: 2263
Woolcano: An Architecture and Tool Flow for Dynamic Instruction Set Extension on Xilinx Virtex-4 FX
M. Grad, C. Plessl, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, USA, 2009, pp. 319–322.
LibreCat
M. Grad, C. Plessl, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, USA, 2009, pp. 319–322.
2009 | Conference Paper | LibreCat-ID: 46414
OCD: Online Convergence Detection for Evolutionary Multi-Objective Algorithms Based on Statistical Testing
T. Wagner, H. Trautmann, B. Naujoks, in: M. Ehrgott, C.M. Fonseca, X. Gandibleux, J.-K. Hao, M. Sevaux (Eds.), Evolutionary Multi-Criterion Optimization, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, pp. 198–215.
LibreCat
| DOI
T. Wagner, H. Trautmann, B. Naujoks, in: M. Ehrgott, C.M. Fonseca, X. Gandibleux, J.-K. Hao, M. Sevaux (Eds.), Evolutionary Multi-Criterion Optimization, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, pp. 198–215.
2009 | Conference Paper | LibreCat-ID: 46415
Pareto-dominance in noisy environments
H. Trautmann, J. Mehnen, B. Naujoks, in: 2009 IEEE Congress on Evolutionary Computation, 2009, pp. 3119–3126.
LibreCat
| DOI
H. Trautmann, J. Mehnen, B. Naujoks, in: 2009 IEEE Congress on Evolutionary Computation, 2009, pp. 3119–3126.
2009 | Conference Paper | LibreCat-ID: 46413
Online convergence detection for multiobjective aerodynamic applications
B. Naujoks, H. Trautmann, in: 2009 IEEE Congress on Evolutionary Computation, 2009, pp. 332–339.
LibreCat
| DOI
B. Naujoks, H. Trautmann, in: 2009 IEEE Congress on Evolutionary Computation, 2009, pp. 332–339.
2009 | Journal Article | LibreCat-ID: 46416
Statistical Methods for Improving Multi-objective Evolutionary Optimisation
H. Trautmann, J. Mehnen, International Journal of Computational Intelligence Research 5 (2009) 72–78.
LibreCat
H. Trautmann, J. Mehnen, International Journal of Computational Intelligence Research 5 (2009) 72–78.
2009 | Journal Article | LibreCat-ID: 46418
Statistical Methods for Convergence Detection of Multi-Objective Evolutionary Algorithms
H. Trautmann, T. Wagner, B. Naujoks, M. Preuss, J. Mehnen, Evolutionary Computation 17 (2009) 493–509.
LibreCat
| DOI
H. Trautmann, T. Wagner, B. Naujoks, M. Preuss, J. Mehnen, Evolutionary Computation 17 (2009) 493–509.
2009 | Journal Article | LibreCat-ID: 46417
Preference-based Pareto optimization in certain and noisy environments
H. Trautmann, J. Mehnen, Engineering Optimization 41 (2009) 23–38.
LibreCat
| DOI
H. Trautmann, J. Mehnen, Engineering Optimization 41 (2009) 23–38.
2008 | Report | LibreCat-ID: 2513
Extended Results on an Adaptive Resource/Performance Trade-Off for Resolving Complex Queries in P2P Networks
T. Biermann, C. Dannewitz, H. Karl, Extended Results on an Adaptive Resource/Performance Trade-Off for Resolving Complex Queries in P2P Networks, 2008.
LibreCat
| Files available
T. Biermann, C. Dannewitz, H. Karl, Extended Results on an Adaptive Resource/Performance Trade-Off for Resolving Complex Queries in P2P Networks, 2008.
2008 | Dissertation | LibreCat-ID: 19615
Distributed Resource Allocation and Management in Heterogeneous Networks
G. Schomaker, Distributed Resource Allocation and Management in Heterogeneous Networks, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat
| Files available
G. Schomaker, Distributed Resource Allocation and Management in Heterogeneous Networks, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
2008 | Conference Paper | LibreCat-ID: 19686
Uniform Budgets and the Envy-Free Pricing Problem
P. Briest, in: Proceedings of the 35th InternationalColloquium on Automata, Languages and Programming (ICALP), 2008.
LibreCat
| DOI
P. Briest, in: Proceedings of the 35th InternationalColloquium on Automata, Languages and Programming (ICALP), 2008.
2008 | Conference Paper | LibreCat-ID: 19687
On the Approximability of Combinatorial Exchange Problems
P. Briest, P. Krysta, M. Babaioff, in: Proceedings of the 1st International Symposium on Algorithmic Game Theory (SAGT), Cham, 2008.
LibreCat
| DOI
P. Briest, P. Krysta, M. Babaioff, in: Proceedings of the 1st International Symposium on Algorithmic Game Theory (SAGT), Cham, 2008.
2008 | Report | LibreCat-ID: 19688
Approximate Equilibria in Games with Few Players
P. Briest, P.W. Goldberg, H. Roeglin, Approximate Equilibria in Games with Few Players, 2008.
LibreCat
| arXiv
P. Briest, P.W. Goldberg, H. Roeglin, Approximate Equilibria in Games with Few Players, 2008.
2008 | Conference Paper | LibreCat-ID: 19812
Random Graphs for Peer-to-Peer Overlays
C. Schindelhauer, P. Mahlmann, in: The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS), Proceedings of the Final Workshop, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008, pp. 1–22.
LibreCat
C. Schindelhauer, P. Mahlmann, in: The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS), Proceedings of the Final Workshop, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008, pp. 1–22.
2008 | Conference Paper | LibreCat-ID: 19813
Detours Save Energy in Mobile Wireless Networks
C.C. Ooi, C. Schindelhauer, in: MWCN’08: Proc. of IFIP Joint Conference on Mobile Wireless Communications Networks (MWCN 2008) and Personal Wireless Communications (PWC 2008), Springer, 2008.
LibreCat
| DOI
C.C. Ooi, C. Schindelhauer, in: MWCN’08: Proc. of IFIP Joint Conference on Mobile Wireless Communications Networks (MWCN 2008) and Personal Wireless Communications (PWC 2008), Springer, 2008.
2008 | Conference Paper | LibreCat-ID: 19832
Energy-Efficient Distributed Target Tracking Using Wireless Relay Robots
C.C. Ooi, C. Schindelhauer, in: ARS’08: Proc. of the 9th International Symposium on Distributed Autonomous Robotic Systems (DARS 2008), 2008.
LibreCat
| DOI
C.C. Ooi, C. Schindelhauer, in: ARS’08: Proc. of the 9th International Symposium on Distributed Autonomous Robotic Systems (DARS 2008), 2008.
2008 | Mastersthesis | LibreCat-ID: 19950
Lokale Strategien zur Optimierung von Kommunikationsketten
P. Pietrzyk, Lokale Strategien Zur Optimierung von Kommunikationsketten, 2008.
LibreCat
| Files available
P. Pietrzyk, Lokale Strategien Zur Optimierung von Kommunikationsketten, 2008.
2008 | Dissertation | LibreCat-ID: 20262
Space-Time Continuous Models of Swarm Robotic Systems
H. Hamann, Space-Time Continuous Models of Swarm Robotic Systems, 2008.
LibreCat
| DOI
H. Hamann, Space-Time Continuous Models of Swarm Robotic Systems, 2008.
2008 | Preprint | LibreCat-ID: 26235
Kolmogorov Complexity Theory over the Reals
M. Ziegler, W.M. Koolen, ArXiv:0802.2027 (2008).
LibreCat
M. Ziegler, W.M. Koolen, ArXiv:0802.2027 (2008).
2008 | Conference Paper | LibreCat-ID: 26243
On the Stability of Fast Polynomial Arithmetic
S. Köhler, M. Ziegler, in: Proc. 8th Conference on Real Numbers and Computers, 2008, pp. 147–156.
LibreCat
S. Köhler, M. Ziegler, in: Proc. 8th Conference on Real Numbers and Computers, 2008, pp. 147–156.
2008 | Journal Article | LibreCat-ID: 26255
Physically-Relativized Church-Turing Hypotheses
M. Ziegler, Applied Mathematics and Computation (2008).
LibreCat
| arXiv
M. Ziegler, Applied Mathematics and Computation (2008).
2008 | Book Chapter | LibreCat-ID: 26262
A Meta-Theory of Physics and Computation
M. Ziegler, in: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Deutsche Physikalische Gesellschaft (DPG), 2008, p. 145.
LibreCat
M. Ziegler, in: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Deutsche Physikalische Gesellschaft (DPG), 2008, p. 145.
2008 | Journal Article | LibreCat-ID: 26280
An explicit solution to Post's Problem over the reals
K. Meer, M. Ziegler, Journal of Complexity (2008) 3–15.
LibreCat
| DOI
K. Meer, M. Ziegler, Journal of Complexity (2008) 3–15.
2008 | Journal Article | LibreCat-ID: 3203
Refinement in the Presence of Unknowns
H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 255--264.
LibreCat
| DOI
H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 255--264.
2008 | Journal Article | LibreCat-ID: 3204
Alloy as a Refactoring Checker?
H..-}Christian Estler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 331--357.
LibreCat
| DOI
H..-}Christian Estler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 331--357.
2008 | Journal Article | LibreCat-ID: 3205
Integrating a formal method into a software engineering process with {UML} and Java
M. Möller, E.-R. Olderog, H. Rasch, H. Wehrheim, Formal Asp. Comput. (2008) 161--204.
LibreCat
| DOI
M. Möller, E.-R. Olderog, H. Rasch, H. Wehrheim, Formal Asp. Comput. (2008) 161--204.
2008 | Journal Article | LibreCat-ID: 3206
Slicing Abstractions
I. Brückner, K. Dräger, B. Finkbeiner, H. Wehrheim, Fundam. Inform. (2008) 369--392.
LibreCat
I. Brückner, K. Dräger, B. Finkbeiner, H. Wehrheim, Fundam. Inform. (2008) 369--392.
2008 | Conference Paper | LibreCat-ID: 3207
From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations
G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: I. Schieferdecker, A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94--109.
LibreCat
| DOI
G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: I. Schieferdecker, A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94--109.
2008 | Conference Paper | LibreCat-ID: 3208
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack
J. Derrick, G. Schellhorn, H. Wehrheim, in: G. Barthe, F. S. de Boer (Eds.), Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings, 2008, pp. 78--95.
LibreCat
| DOI
J. Derrick, G. Schellhorn, H. Wehrheim, in: G. Barthe, F. S. de Boer (Eds.), Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings, 2008, pp. 78--95.
2008 | Conference Paper | LibreCat-ID: 3209
Decomposition for Compositional Verification
B. Metzler, H. Wehrheim, D. Wonisch, in: S. Liu, T. S. E. Maibaum, K. Araki (Eds.), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, 2008, pp. 105--125.
LibreCat
| DOI
B. Metzler, H. Wehrheim, D. Wonisch, in: S. Liu, T. S. E. Maibaum, K. Araki (Eds.), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, 2008, pp. 105--125.
2008 | Conference Paper | LibreCat-ID: 3210
Bounded Model Checking for Partial Kripke Structures
H. Wehrheim, in: J. S. Fitzgerald, A. Elisabeth Haxthausen, H. Yenig{\"{u}}n (Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.
LibreCat
| DOI
H. Wehrheim, in: J. S. Fitzgerald, A. Elisabeth Haxthausen, H. Yenig{\"{u}}n (Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.
2008 | Conference Paper | LibreCat-ID: 3001
Reliable Evidence of Data Integrity from an Untrusted Storage Service
C. Stern, P. Adelt, V. Krummel, M.R. Ackermann, in: Fourth International Conference on Networking and Services (Icns 2008), IEEE, 2008.
LibreCat
| DOI
C. Stern, P. Adelt, V. Krummel, M.R. Ackermann, in: Fourth International Conference on Networking and Services (Icns 2008), IEEE, 2008.
2008 | Conference Paper | LibreCat-ID: 3143
A Browser-Based Kerberos Authentication Scheme
S. Gajek, T. Jager, M. Manulis, J. Schwenk, in: Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings, 2008, pp. 115--129.
LibreCat
| DOI
S. Gajek, T. Jager, M. Manulis, J. Schwenk, in: Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings, 2008, pp. 115--129.
2008 | Conference Paper | LibreCat-ID: 3144
On Black-Box Ring Extraction and Integer Factorization
K. Altmann, T. Jager, A. Rupp, in: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations, 2008, pp. 437--448.
LibreCat
| DOI
K. Altmann, T. Jager, A. Rupp, in: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations, 2008, pp. 437--448.
2008 | Conference Paper | LibreCat-ID: 3145
On the Equivalence of Generic Group Models
T. Jager, J. Schwenk, in: Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings, 2008, pp. 200--209.
LibreCat
| DOI
T. Jager, J. Schwenk, in: Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings, 2008, pp. 200--209.
2008 | Conference Paper | LibreCat-ID: 3146
Nutzung von selbstsignierten Client-Zertifikaten zur Authentifikation bei SSL/TLS
T. Jager, H. Jäkel, J. Schwenk, in: Sicherheit 2008: Sicherheit, Schutz Und Zuverlässigkeit. Konferenzband Der 4. Jahrestagung Des Fachbereichs Sicherheit Der Gesellschaft Für Informatik e.V. (GI), 2.-4. April 2008 Im Saarbrücker Schloss., 2008, pp. 127--136.
LibreCat
T. Jager, H. Jäkel, J. Schwenk, in: Sicherheit 2008: Sicherheit, Schutz Und Zuverlässigkeit. Konferenzband Der 4. Jahrestagung Des Fachbereichs Sicherheit Der Gesellschaft Für Informatik e.V. (GI), 2.-4. April 2008 Im Saarbrücker Schloss., 2008, pp. 127--136.
2008 | Conference Paper | LibreCat-ID: 20938
Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse
M. Tichy, S. Henkler, M. Meyer, M. von Detten, in: Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany, 2008.
LibreCat
M. Tichy, S. Henkler, M. Meyer, M. von Detten, in: Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany, 2008.
2008 | Conference Paper | LibreCat-ID: 20957
Aspect-oriented modelling from a different angle
E. Kindler, D. Schmelter, in: Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08, 2008.
LibreCat
| DOI
E. Kindler, D. Schmelter, in: Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08, 2008.
2008 | Conference Paper | LibreCat-ID: 20964
Component Story Diagrams in Fujaba4Eclipse
J. Holtmann, M. Tichy, in: Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, 2008, pp. 44–47.
LibreCat
J. Holtmann, M. Tichy, in: Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, 2008, pp. 44–47.
2008 | Mastersthesis | LibreCat-ID: 20965
Graphtransformationen für komponentenbasierte Softwarearchitekturen
J. Holtmann, Graphtransformationen Für Komponentenbasierte Softwarearchitekturen, Software Engineering Group, University of Paderborn, 2008.
LibreCat
J. Holtmann, Graphtransformationen Für Komponentenbasierte Softwarearchitekturen, Software Engineering Group, University of Paderborn, 2008.
2008 | Conference Paper | LibreCat-ID: 20966
Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems
M. Tichy, S. Henkler, J. Holtmann, S. Oberthür, in: Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, Heinz Nixdorf Institut, 2008, pp. 27–38.
LibreCat
M. Tichy, S. Henkler, J. Holtmann, S. Oberthür, in: Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, Heinz Nixdorf Institut, 2008, pp. 27–38.