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.
5719 Publications
2010 | Conference Paper | LibreCat-ID: 15137
Böttcher S, Hartel R, Messinger C. Searchable Compression of Office Documents by XML Schema Subtraction. In: Database and XML Technologies - 7th International XML Database Symposium, XSym 2010. Springer; 2010:103-112. doi:10.1007/978-3-642-15684-7_9
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 16121
Pfeffer P, Fober T, Hüllermeier E, Klebe G. GARLig: A fully automated tool for subset selection of large fragment spaces via a self-adaptive genetic algorithm. Journal of Chemical Information and Modeling. 2010;50(9):1644-1659.
LibreCat
2010 | Journal Article | LibreCat-ID: 16151
Hüllermeier E, Vanderlooy S. Combining predictions in pairwise classification: An optimal adaptive voting strategy and its relation to weighted voting. Pattern Recognition. 2010;43(1):128-142.
LibreCat
2010 | Journal Article | LibreCat-ID: 16152
Hüllermeier E, Fürnkranz J. On predictive accuracy and risk minimization in pairwise label ranking. Journal of Computer and System Sciences. 2010;76(1):49-62.
LibreCat
2010 | Book Chapter | LibreCat-ID: 16365
Degener B, Kempkes B, Kling P, Meyer auf der Heide F. A Continuous, Local Strategy for Constructing a Short Chain of Mobile Robots. In: Structural Information and Communication Complexity. SIROCCO 2010. Berlin, Heidelberg; 2010:168-182. doi:10.1007/978-3-642-13284-1_14
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 16401
Degener B, Kempkes B, Meyer auf der Heide F. A local O(n2) gathering algorithm. In: Proceedings of the 22nd ACM Symposium on Parallelism in Algorithms and Architectures - SPAA ’10. ; 2010. doi:10.1145/1810479.1810523
LibreCat
| DOI
2010 | Book (Editor) | LibreCat-ID: 16403
Abramsky S, Gavoille C, Kirchner C, Meyer auf der Heide F, Spirakis PG, eds. Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II. Berlin, Heidelberg; 2010. doi:10.1007/978-3-642-14162-1
LibreCat
| DOI
2010 | Book (Editor) | LibreCat-ID: 16404
Abramsky S, Gavoille C, Kirchner C, Meyer auf der Heide F, Spirakis PG, eds. Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I. Berlin, Heidelberg; 2010. doi:10.1007/978-3-642-14165-2
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1004
Miller K, Biermann T, Woesner H, Karl H. Network coding in passive optical networks. In: Network Coding (NetCod), 2010 IEEE International Symposium On. ; 2010:1--6.
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 1021
Lischka J, Karl H. RiaS: overlay topology creation on a PlanetLab infrastructure. In: Proceedings of the Second ACM SIGCOMM Workshop on Virtualized Infrastructure Systems and Architectures. ; 2010:9--16.
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 1022
Woldegebreal DH, Karl H. Energy efficiency model of network-coded cooperation in wireless sensor networks. In: Sensor Technologies and Applications (SENSORCOMM), 2010 Fourth International Conference On. ; 2010:513--520.
LibreCat
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 1023
Khan RAM, Karl H. Cooperative communication to improve reliability and efficient neighborhood wakeup in wireless sensor networks. In: Proceedings of the Fourth International Conference on Mobile Ubiquitous Computing (UBICOMM 2010). ; 2010.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 13589
Dembczynski K, Cheng W, Hüllermeier E. Bayes optimal multilabel classification via probalistic classifier chains. In: Fürnkranz J, Joachims T, eds. In Proceedings ICML-2010, 27th International Conference on Machine Learning, Haifa, Israel. ; 2010:279-286.
LibreCat
2010 | Conference Paper | LibreCat-ID: 13590
Cheng W, Dembczynski K, Hüllermeier E. Label ranking based on the Plackett-Luce model. In: Fürnkranz J, Joachims T, eds. In Proceedings ICML-2010, 27th International Conference on Machine Learning, Haifa, Israel. ; 2010:215-222.
LibreCat
2010 | Conference Paper | LibreCat-ID: 13591
Cheng W, Dembczynski K, Hüllermeier E. Graded multi-label classification: The ordinal case. In: Fürnkranz J, Joachims T, eds. In Proceedings ICML-2010, 27th International Conference on Machine Learning, Haifa, Israel. ; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 13593
Dembczynski K, Waegeman W, Cheng W, Hüllermeier E. Regret analysis for performance metrics in multi-label classification: The case of Hamming and subset zero-one loss. In: In Proceedings ECML/PKDD-2010, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ,Bareclona, Spain. ; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 13594
Cheng W, Rademaker M, De Beats B, Hüllermeier E. Predicting partial orders: Ranking with abstention. In: In Proceedings ECML/PKDD-2010, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ,Bareclona, Spain. ; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 13597
Hüllermeier E. Uncertainty in clustering and classification . In: In Proceedings SUM 2010, International Conference on Scalable Uncertainty Management . Vol 6379. Springer; 2010:16-19.
LibreCat
2010 | Conference Paper | LibreCat-ID: 13640
Giefers H, Platzner M. A Triple Hybrid Interconnect for Many-Cores: Reconfigurable Mesh, NoC and Barrier. In: Proceedings of the 20th International Conference on Field Programmable Logic and Applications (FPL). IEEE; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 13641
Schäfer W, Birattari M, Blömer J, et al. Engineering Self-Coordinating Software Intensive Systems. In: Proceedings of the Foundations of Software Engineering (FSE) and NITR & D/SPD Working Conference on the Future of Software Engineering Research (FoSER). ; 2010:321-324.
LibreCat
2010 | Conference Paper | LibreCat-ID: 13642
Giefers H, Platzner M. A Self-Reconfigurable Lightweight Interconnect for Scalable Processor Fabrics. In: Proceedings of the 10th International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA). CSREA Press; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla F, He D, Müller W. Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5456990
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
Oliveira MFS, Zabel H, Müller W. Assertion-Based Verification of RTOS Properties. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5457130
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz K, Kuznik C, Thuy A, Müller W. Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. In: Proceedings of DATE’10, Dresden. IEEE; 2010. doi:10.1109/DATE.2010.5457125
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
Krupp A, Müller W. A Systematic Approach to Combined HW/SW System Test. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5457186
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware Refinement for TLM2.0-based HW/SW Design. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5456965
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
Becker M, Zabel H, Müller W. A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:10.1007/978-3-642-15234-4_15
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37044
Klobedanz K, Defo GB, Zabel H, Müller W, Zhi Y. Task Migration for Fault-Tolerant FlexRay Networks. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:10.1007/978-3-642-15234-4_7
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37042
Mischkalla F, Müller W, He D. A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis. In: Proceedings of the M-BED Workshop. ; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37043
Bol A, Müller W, Krupp A. Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen. In: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). ; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37050
Müller W, He D, Mischkalla F, et al. The SATURN Approach to SysML-based HW/SW Codesign. In: Proceedings of the IEEE Computer Society Annual Symposium on VLSI. Lecture Notes in Electrical Engineering. ; 2010. doi:10.1007/978-94-007-1488-5_9
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37048
Müller W, Bol A, Krupp A, Lundkvist O. Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:10.1007/978-3-642-15234-4_9
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37049
Xie T, Letombe F, Müller W. Mutation-Analysis Directed Constrained Random Verification. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37051
Xie T, Defo GB, Müller W. An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs. In: ; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37057
Defo GB, Müller W, Kuznik C. Verification of a CAN Bus Model in SystemC with Functional Coverage. In: Proceedings of SIES 2010. IEEE; 2010. doi:10.1109/SIES.2010.5551379
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37056
Klobedanz K, Defo GB, Müller W, Kerstan T. Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks. In: Proceedings of SIES 2010. ; 2010. doi:10.1109/SIES.2010.5551384
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
Müller W, da S. Oliveira MF, Zabel H, Becker M. Verification of Real-Time Properties for Hardware-Dependant Software. In: Proceedings of HLDVT2010. IEEE; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37060
Oliveira MFS, do Nascimento FAM, Müller W. Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration. In: Proceedings of MoMPES 2010. ; 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 8179 | 
Gharibian S. Strong NP-hardness of the quantum separability problem. Quantum Information & Computation. 2010;10(3{\ & }4):343-360.
LibreCat
| Download (ext.)
| arXiv
2010 | Conference Paper | LibreCat-ID: 2223
Lübbers E, Platzner M, Plessl C, Keller A, Plattner B. Towards Adaptive Networking for Embedded Devices based on Reconfigurable Hardware. In: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA). CSREA Press; 2010:225-231.
LibreCat
2010 | Conference Paper | LibreCat-ID: 2216
Grad M, Plessl C. Pruning the Design Space for Just-In-Time Processor Customization. In: Proc. Int. Conf. on ReConFigurable Computing and FPGAs (ReConFig). IEEE Computer Society; 2010:67-72. doi:10.1109/ReConFig.2010.19
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 2224
Grad M, Plessl C. An Open Source Circuit Library with Benchmarking Facilities. In: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA). CSREA Press; 2010:144-150.
LibreCat
2010 | Conference Paper | LibreCat-ID: 2220
Andrews D, Plessl C. Configurable Processor Architectures: History and Trends. In: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA). CSREA Press; 2010:165.
LibreCat
2010 | Conference (Editor) | LibreCat-ID: 2222
Plaks TP, Andrews D, DeMara R, et al., eds. Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA). CSREA Press; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 2226
Beisel T, Niekamp M, Plessl C. Using Shared Library Interposing for Transparent Acceleration in Systems with Heterogeneous Hardware Accelerators. In: Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP). IEEE Computer Society; 2010:65-72. doi:10.1109/ASAP.2010.5540798
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 2206
Keller A, Plattner B, Lübbers E, Platzner M, Plessl C. Reconfigurable Nodes for Future Networks. In: Proc. IEEE Globecom Workshop on Network of the Future (FutureNet). IEEE; 2010:372-376. doi:10.1109/GLOCOMW.2010.5700341
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 2227
Woehrle M, Plessl C, Thiele L. Rupeas: Ruby Powered Event Analysis DSL. In: Proc. Int. Conf. Networked Sensing Systems (INSS). IEEE; 2010:245-248. doi:10.1109/INSS.2010.5572211
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 2228
Kenter T, Platzner M, Plessl C, Kauschke M. Performance Estimation for the Exploration of CPU-Accelerator Architectures. In: Hammami O, Larrabee S, eds. Proc. Workshop on Architectural Research Prototyping (WARP), International Symposium on Computer Architecture (ISCA). ; 2010.
LibreCat
2010 | Misc | LibreCat-ID: 47684 |
Postler T. Smart Card basierte Berechnung einer Gruppensignatur als Teil einer biometrischen Authentisierung.; 2010.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 46408
Mostaghim S, Trautmann H, Mersmann O. Preference-Based Multi-Objective Particle Swarm Optimization Using Desirabilities. In: Schaefer R, Cotta C, Kołodziej J, Rudolph G, eds. Parallel Problem Solving from Nature, PPSN XI. Springer Berlin Heidelberg; 2010:101–110. doi:https://doi.org/10.1007/978-3-642-15871-1_11
LibreCat
| DOI