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.
5711 Publications
2012 | Conference Paper | LibreCat-ID: 12001
Eckhoff, David, et al. “On the Necessity of Accurate IEEE 802.11P Models for IVC Protocol Simulation.” 2012 IEEE 75th Vehicular Technology Conference (VTC Spring), 2012, doi:10.1109/vetecs.2012.6240064.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 12021
Joerer, Stefan, et al. “Comparing Apples and Oranges?” Proceedings of the Ninth ACM International Workshop on Vehicular Inter-Networking, Systems, and Applications - VANET ’12, 2012, doi:10.1145/2307888.2307895.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 12023
Joerer, Stefan, et al. “Toward Reproducibility and Comparability of IVC Simulation Studies: A Literature Survey.” IEEE Communications Magazine, 2012, pp. 82–88, doi:10.1109/mcom.2012.6316780.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 12037
Malandrino, F., et al. “Content Downloading in Vehicular Networks: Bringing Parked Cars into the Picture.” 2012 IEEE 23rd International Symposium on Personal, Indoor and Mobile Radio Communications - (PIMRC), 2012, doi:10.1109/pimrc.2012.6362591.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 15299
Leinweber, M., et al. “GPU-Based Cloud Computing for Comparing the Structure of Protein Binding Sites.” In Proceedings IEEE Conference on Digital Ecosystem Technologies-Complex Environment Engineering Campione D`Italia, Italy, 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 15396
Hüllermeier, Eyke, and A. Fallah Tehrani. “Efficient Learning of Classifiers Based on the 2-Additive Choquet Integral.” Computational Intelligence in Intelligent Data Analysis, edited by C. Moewes and A. Nürnberger, Springer, 2012, pp. 17–30.
LibreCat
2012 | Journal Article | LibreCat-ID: 15669
Schulte, Carsten, and Jarkko Suhonen. “Koli Calling 2009 and 2010.” Computer Science Education, vol. 22, no. 2, 2012, pp. 79–80.
LibreCat
2012 | Conference Paper | LibreCat-ID: 15670
Schulte, Carsten, et al. “Computer Science at School/CS Teacher Education: Koli Working-Group Report on CS at School.” Koli Calling, ACM, 2012, pp. 29–38.
LibreCat
2012 | Conference Paper | LibreCat-ID: 15671
Schulte, Carsten. “Uncovering Structure behind Function: The Experiment as Teaching Method in Computer Science Education.” WiPSCE, ACM, 2012, pp. 40–47.
LibreCat
2012 | Conference Paper | LibreCat-ID: 15754
Bräuning, M., and Eyke Hüllermeier. “Learning Conditional Lexicographic Preference Trees.” In Workshops on Preference Learning at ECAI, European Conference on Artiticial Intelligence, Montpellier, France, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 14871
Chen, Wei-Fan, et al. “A Syllable-Based Prosody Modeling for L1 and L2 English Speeches.” Proceedings of the 8th International Symposium on Chinese Spoken Language Processing, IEEE, 2012, pp. 281–85.
LibreCat
2012 | Conference Paper | LibreCat-ID: 15095
Böttcher, Stefan, et al. “Efficient String-Based XML Stream Prefiltering.” Proceedings of the Twenty-Third Australasian Database Conference, Australian Computer Society, Inc., 2012, pp. 145–52.
LibreCat
2012 | Conference Paper | LibreCat-ID: 15096
Böttcher, Stefan, et al. “Fast Insertion and Deletion in Compressed Texts.” 2012 Data Compression Conference, IEEE, 2012, p. 393, doi:10.1109/dcc.2012.50.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 15114
Hüllermeier, Eyke, and A. Fallah Tehrani. “On the VC Dimension of the Choquet Integral.” In Proceedings IPMU-2012 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Part 1, Catania, Italy, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 16084
Fallah Tehrani, A., et al. “Learning Monotone Nonlinear Models Using the Choquet Integral.” Machine Learning, vol. 89, no. 1, 2012, pp. 183–211.
LibreCat
2012 | Journal Article | LibreCat-ID: 16085
Bustince, H., et al. “Grouping, Overlap and Generalized Bientropic Functions for Fuzzy Modeling of Pairwise Comparisons.” IEEE Transactions on Fuzzy Systems, vol. 20, no. 3, 2012, pp. 405–15.
LibreCat
2012 | Journal Article | LibreCat-ID: 16087
Fürnkranz, J., et al. “Preference-Based Reinforcement Learning: A Formal Framework and a Policy Iteration Algorithm.” Machine Learning, vol. 89, no. 1, 2012, pp. 123–56.
LibreCat
2012 | Journal Article | LibreCat-ID: 16088
Dembczynski, K., et al. “On Label Dependence and Loss Minimization in Multi-Label Classification.” Machine Learning, vol. 88, no. 1–2, 2012, pp. 5–45.
LibreCat
2012 | Journal Article | LibreCat-ID: 16089
Shaker, Ammar, and Eyke Hüllermeier. “IBL Streams: A System for Instance-Based Classification and Regression on Data Streams.” Evolving Systems, vol. 3, no. 4, 2012, pp. 235–49.
LibreCat
2012 | Journal Article | LibreCat-ID: 16090
Dolorez Ruiz, M., and Eyke Hüllermeier. “A Formal and Empirical Analysis of the Fuzzy Gamma Rank Correlation Coefficient.” Information Sciences, vol. 206, 2012, pp. 1–17.
LibreCat
2012 | Journal Article | LibreCat-ID: 16091
Fallah Tehrani, A., et al. “Preference Learning Using the Choquet Integral: The Case of Multipartite Ranking.” IEEE Transactions on Fuzzy Systems, vol. 20, no. 6, 2012, pp. 1102–13.
LibreCat
2012 | Journal Article | LibreCat-ID: 16092
Fober, T., et al. “Fingerprint Kernels for Protein Structure Comparison.” Molecular Informatics, vol. 31, no. 6–7, 2012, pp. 443–52.
LibreCat
2012 | Journal Article | LibreCat-ID: 16093
Hüllermeier, Eyke, et al. “Comparing Fuzzy Partitions: A Generalization of the Rand Index and Related Measures.” IEEE Transactions on Fuzzy Systems, vol. 20, no. 3, 2012, pp. 546–56.
LibreCat
2012 | Journal Article | LibreCat-ID: 16094
Senge, Robin, et al. “Fuzzy Pattern Trees: Ein Alternativer Ansatz Zur Fuzzy-Modellierung.” At-Atomatisierungstechnik, vol. 60, no. 10, 2012, pp. 622–29.
LibreCat
2012 | Conference Paper | LibreCat-ID: 16408
Suess, Tim, et al. “Asynchronous Occlusion Culling on Heterogeneous PC Clusters for Distributed 3D Scenes.” Advances in Visual Computing, vol. 7431, 2012, pp. 502–12, doi:10.1007/978-3-642-33179-4_48.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 13120
Cheng, W., et al. “Label Ranking with Partial Abstention Based on Thresholded Probalistic Models.” In Proceedings NIPS-2012, 26th Annual Conference on Neural Information Processing Systems, Lake Tahoe, Nevada, USA, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 13191
Cheng, W., and Eyke Hüllermeier. “Probability Estimation for Mulit-Class Classification Based on Label Ranking.” Proceedings ECML/PKDD-2012, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Bristol, UK, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 13192
Dembczynski, K., et al. “Consistent Multilabel Ranking through Univariate Loss Minimization.” In Proceedings ICML-2012, International Conference on Machine Learning, Edinburgh, Scotland, edited by J. Langford and J. Pineau, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 13193
Dembczynski, K., et al. “An Analysis of Chaining in Multi-Label Classification.” In Proceedings ECAI-2012, 20th European Conference on Artificial Inteligence, Montpellier, France , IOS Press, 2012, pp. 294–99.
LibreCat
2012 | Misc | LibreCat-ID: 13462
Lewis, Peter, et al. An Outlook for Self-Awareness in Computing Systems. Awareness Magazine, 2012.
LibreCat
2012 | Book Chapter | LibreCat-ID: 10153
Hüllermeier, Eyke. “Fuzzy Rules in Data Mining: From Fuzzy Associations to Gradual Dependencies.” Combining Experimentation and Theory, edited by E. Trillas et al., vol. 271, Springer, 2012, pp. 123–35.
LibreCat
2012 | Book Chapter | LibreCat-ID: 26695
Vanderperren, Yves, et al. “Extending UML for Electronic Systems Design: A Code Generation Perspective.” Design Technology for Heterogeneous Embedded Systems, edited by Gabriela Nicolescu et al., 1st Edition. Auflage, Springer Verlag, 2012, pp. 13–39.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36922
Klobedanz, Kay, et al. An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems. IEEE, 2012, doi:10.1109/ISORCW.2012.41.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36921
Oliveira, M. F., et al. “Towards an Enhanced UVM for SystemC.” Proceedings of the Design & Verification Conference (DVCon), 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36994
Xie, Tao, et al. “Mutation-Analysis Driven Functional Verification of a Soft Microprocessor.” Proceedings of SOCC2012, IEEE, 2012, doi:10.1109/SOCC.2012.6398362.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36997
Xie, Tao, and Wolfgang Müller. “An IP-XACT-TO-SystemC Model Generator for Mutation Analysis.” Proceedings of the MeCoES’12, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 8169 | 
Gharibian, Sevag, and Julia Kempe. “Hardness of Approximation for Quantum Problems.” International Colloquium on Automata, Languages, and Programming (ICALP 2012), edited by Artur Czumaj et al., Springer Berlin Heidelberg, 2012, pp. 387–98, doi:10.1007/978-3-642-31594-7_33.
LibreCat
| DOI
| Download (ext.)
| arXiv
2012 | Journal Article | LibreCat-ID: 8175 |
Gharibian, Sevag, and Julia Kempe. “Approximation Algorithms for QMA-Complete Problems.” SIAM Journal on Computing, vol. 41, no. 4, Society for Industrial & Applied Mathematics (SIAM), 2012, pp. 1028–50, doi:10.1137/110842272.
LibreCat
| DOI
| Download (ext.)
| arXiv
2012 | Journal Article | LibreCat-ID: 8174 |
Gharibian, Sevag. “Quantifying Nonclassicality with Local Unitary Operations.” Physical Review A, vol. 86, American Physical Society, 2012, p. 042106, doi:10.1103/PhysRevA.86.042106.
LibreCat
| DOI
| Download (ext.)
| arXiv
2012 | Conference Paper | LibreCat-ID: 2106
Meyer, Björn, et al. “Convey Vector Personalities – FPGA Acceleration with an OpenMP-like Effort?” Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), IEEE, 2012, pp. 189–96, doi:10.1109/FPL.2012.6339370.
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 2108
Schumacher, Tobias, et al. “IMORC: An Infrastructure and Architecture Template for Implementing High-Performance Reconfigurable FPGA Accelerators.” Microprocessors and Microsystems, vol. 36, no. 2, 2012, pp. 110–26, doi:10.1016/j.micpro.2011.04.002.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 615
Happe, Markus, et al. “Eight Ways to Put Your FPGA on Fire – A Systematic Study of Heat Generators.” Proceedings of the International Conference on Reconfigurable Computing and FPGAs (ReConFig), IEEE, 2012, pp. 1–8, doi:10.1109/ReConFig.2012.6416745.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 591
Kenter, Tobias, et al. “Pragma Based Parallelization - Trading Hardware Efficiency for Ease of Use?” Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), IEEE, 2012, pp. 1–8, doi:10.1109/ReConFig.2012.6416773.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 609
Happe, Markus, et al. “Hardware/Software Platform for Self-Aware Compute Nodes.” Proceedings of the Workshop on Self-Awareness in Reconfigurable Computing Systems (SRCS), 2012, pp. 8–9.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 567
Barrio, Pablo, et al. “Turning Control Flow Graphs into Function Calls: Code Generation for Heterogeneous Architectures.” Proceedings of the International Conference on High Performance Computing and Simulation (HPCS), IEEE, 2012, pp. 559–65, doi:10.1109/HPCSim.2012.6266973.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 612
Rüthing, Christoph, et al. “Exploration of Ring Oscillator Design Space for Temperature Measurements on FPGAs.” Proceedings of the International Conference on Field Programmable Logic and Applications (FPL), IEEE, 2012, pp. 559–62, doi:10.1109/FPL.2012.6339370.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 2180
Beisel, Tobias, et al. “Programming and Scheduling Model for Supporting Heterogeneous Accelerators in Linux.” Proc. Workshop on Computer Architecture and Operating System Co-Design (CAOS), 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 2177
Grad, Mariusz, and Christian Plessl. “On the Feasibility and Limitations of Just-In-Time Instruction Set Extension for FPGA-Based Reconfigurable Processors.” Int. Journal of Reconfigurable Computing (IJRC), Hindawi Publishing Corp., 2012, doi:10.1155/2012/418315.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 46397
Brockhoff, Dimo, et al. “On the Properties of the R2 Indicator.” Proceedings of the 14th Annual Conference on Genetic and Evolutionary Computation, Association for Computing Machinery, 2012, pp. 465–472, doi:10.1145/2330163.2330230.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 46396
Bischl, Bernd, et al. “Algorithm Selection Based on Exploratory Landscape Analysis and Cost-Sensitive Learning.” Proceedings of the 14th Annual Conference on Genetic and Evolutionary Computation, Association for Computing Machinery, 2012, pp. 313–320, doi:10.1145/2330163.2330209.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 46398
Mersmann, Olaf, et al. “Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness.” Learning and Intelligent Optimization, edited by Youssef Hamadi and Marc Schoenauer, Springer Berlin Heidelberg, 2012, pp. 115–129, doi:https://doi.org/10.1007/978-3-642-34413-8_9.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 46399
Bischl, B., et al. “Resampling Methods in Model Validation.” Evolutionary Computation Journal, vol. 20, no. 2, 2012, pp. 249–275, doi:10.1162/EVCO_a_00069.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 46400
Rudolph, G., et al. “Homogene Approximation Der Paretofront Bei Mehrkriteriellen Kontrollproblemen.” At-Automatisierungstechnik, vol. 60, 2012, pp. 610–621, doi:10.1524/auto.2012.1033.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 48890
Mersmann, Olaf, et al. “Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness.” Revised Selected Papers of the 6th International Conference on Learning and Intelligent Optimization - Volume 7219, Springer-Verlag, 2012, pp. 115–129.
LibreCat
2012 | Book Chapter | LibreCat-ID: 48888
Mersmann, Olaf, et al. “Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness.” Learning and Intelligent Optimization, vol. 7219, Springer Berlin Heidelberg, 2012, pp. 115–129, doi:10.1007/978-3-642-34413-8_9.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 26038
Kuznik, Christoph, et al. “SYSTEMC UVM VERIFICATION COMPONENTS.” Design, Automation and Test in Europe DATE, 2012.
LibreCat
2011 | Dissertation | LibreCat-ID: 19619
Korzeniowski, Miroslaw. Dynamic Load Balancing in Peer-to-Peer Networks. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat
| Files available
2011 | Journal Article | LibreCat-ID: 19677
Briest, Patrick, et al. “Stackelberg Network Pricing Games.” Algorithmica, vol. 62, 2011, pp. 733–753, doi:10.1007/s00453-010-9480-3.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 19845
Jähn, Claudius, et al. “PADrend: Platform for Algorithm Development and Rendering.” Augmented & Virtual Reality in Der Produktentstehung, vol. 295, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011, pp. 159--170.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20180
Hamann, Heiko, et al. “Coupled Inverted Pendulums: A Benchmark for Evolving Decentral Controllers in Modular Robotics.” Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, GECCO 2011, 2011, pp. 195--202, doi:10.1145/2001576.2001604.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20181
Hamann, Heiko, et al. “Thermodynamics of Emergence: Langton’s Ant Meets Boltzmann.” IEEE Symposium on Artificial Life (IEEE ALIFE 2011), 2011, pp. 62--69, doi:10.1109/ALIFE.2011.5954660.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20183
Hamann, Heiko, et al. “Evolving for Creativity: Maximizing Complexity in a Self-Organized Multi-Particle System.” 10th European Conference on Artificial Life (ECAL’09), vol. 5777, 2011, pp. 442--449, doi:10.1007/978-3-642-21283-3_55.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20184
Hamann, Heiko, et al. “Robotic Organisms: Artificial Homeostatic Hormone System and Virtual Embryogenesis as Examples for Adaptive Reaction-Diffusion Controllers.” Robotic Organisms: Artificial Homeostatic Hormone System and Virtual Embryogenesis as Examples, 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 20193
Hamann, Heiko, and Thomas Schmickl. “{BEECLUST}: {A} Swarm Algorithm Derived from Honeybees.” Bio-Inspired Computing and Communication Networks, edited by Yang Xiao, CRC Press, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20194
Hamann, Heiko, et al. “Evolving a Novel Bio-Inspired Controller in Reconfigurable Robots.” Advances in Artificial Life, 10th European Conference, ECAL 2009, 2011, pp. 132--139.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20195
Hamann, Heiko, et al. “Embodiment of Honeybee’s Thermotaxis in a Mobile Robot Swarm.” 10th European Conference on Artificial Life (ECAL’09), 2011, doi:10.1007/978-3-642-21314-4_9.
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 20196
Hamann, Heiko, et al. “Explaining Emergent Behavior in a Swarm System Based on an Inversion of the Fluctuation Theorem.” Advances in Artificial Life, ECAL 2011: Proceedings of the 11th European Conference on the Synthesis and Simulation of Living Systems, edited by Tom Lenaerts et al., MIT Press, 2011, pp. 302--309.
LibreCat
2011 | Book Chapter | LibreCat-ID: 20214
Hamann, Heiko, et al. “Major Feedback Loops Supporting Artificial Evolution in Multi-Modular Robotics.” New Horizons in Evolutionary Robotics, Springer, 2011, doi:10.1007/978-3-642-18272-3_13.
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 20215
Schmickl, Thomas, et al. “Modelling a Hormone-Inspired Controller for Individual- and Multi-Modular Robotic Systems.” Mathematical and Computer Modelling of Dynamical Systems, vol. 17, no. 3, 2011, pp. 221–42, doi:10.1080/13873954.2011.557862.
LibreCat
| DOI
2011 | Bachelorsthesis | LibreCat-ID: 2872
Böttger, Timm. Bicriteria-Approximation Für Das k-Median-Clustering Mit Bregman-Divergenzen. 2011.
LibreCat
| Files available
2011 | Conference Paper | LibreCat-ID: 26276
Hosseinimehr, Masoud, and Norma Montealegre. “Implementation of a Singular Value Decomposition Module on an FPGA.” The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011), ACTA Press, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26279
Jungmann, Alexander, and Bernd Kleinjohann. “Automatic Feature Classification for Object Detection Based on Motion Analysis.” Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA), IEEE, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26281
Stern, Claudius, et al. “Towards Using Virtual Forces for Image Registration.” The 5th International Conference on Automation, Robotics and Applications (ICARA 2011), 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 2662
Dannewitz, Christian, and et al. “How to Manage and Search/Retrieve Information Objects.” Architecture and Design for the Future Internet, 2011.
LibreCat
| Download (ext.)
2011 | Book Chapter | LibreCat-ID: 2663
Dannewitz, Christian, and et al. “Integrating Generic Paths and NetInf.” Architecture and Design for the Future Internet, 2011.
LibreCat
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 26660
Rasche, Christoph, et al. “A Distributed Multi-UAV Path Planning Approach for 3D Environments.” The 5th International Conference on Automation, Robotics and Applications (ICARA 2011), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26663
Mathews, Emi, et al. “A Bio-Inspired Coverage and Connectivity Maintenance Algorithm.” Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, Lecture Notes of ICST, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26667
Kuznik, Christoph, and Wolfgang Müller. “Aspect Enhanced Functional Coverage Driven Verification in the SystemC HDVL.” Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26669
Xie, Tao, and Wolfgang Müller. “IP-XACT Based System Level Mutation Testing.” Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26670
Henkler, Stefan, et al. “Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures.” International Journal of Computer Systems Science & Engineering 26 (6), 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26671
Baldin, Daniel, et al. “Enabling Constraint-Based Binary Reconfiguration by Binary Analysis.” International Journal on Computing (JoC) 1(4), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26673
Bin Tariq, Fahad. “F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems.” 1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011, Springer-Verlag, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26687
Orfanus, Dalimir, et al. “High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems.” Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaBIC2011), IEEE Computer Society, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26698
Xie, Tao, and Wolfgang Müller. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26699
Jungmann, Alexander, et al. “A Test Bed for Investigating Self-X Properties in Multi-Robot Societies.” Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26701
Gausemeier, Jürgen, et al. “Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties.” Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26702
Thuy, Andreas. “ Comparison of Periodic and Aperiodic Task Models for Cyber-Physical-Systems.” Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop On , IEEE Xplore, 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26705
Kuznik, Christoph, and Wolfgang Müller. “Verification Closure of SystemC Designs with Functional Coverage.” North American SystemC User Group Meeting (16th), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26707
Mathews, Emi, and Hannes Frey. “A Localized Planarization Algorithm for Realistic Wireless Networks.” IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), IEEE Computer Society, 2011, pp. 1–9.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26710
Becker, Markus, et al. “Virtual Prototyping Softwareintensiver Mechatronischer Systeme Eine Fallstudie.” 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294, vol. 294, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011, pp. 315–27.
LibreCat
2011 | Journal Article | LibreCat-ID: 26711
Rasche, Christoph, et al. “Coordinated Exploration and Goal-Oriented Path Planning Using Multiple UAVs.” ThinkMind, International Journal On Advances in Software 3 (3&4), 2011, pp. 351–70.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26712
Khaluf, Yara, et al. “ Self-Organized Cooperation in Swarm Robotics.” 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), IEEE Computer Society, 2011, pp. 217–26.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26713
Klobedanz, Kay, et al. “A Reconfiguration Approach for Fault-Tolerant FlexRay Networks.” Proceedings of Design, Automation, Test Europe - DATE2011, IEEE Computer Society Press, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26714
Klobedanz, Kay, et al. “Self-Reconfiguration for Fault-Tolerant FlexRay Networks.” Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011, IEEE Computer Society Press, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26715
Kuznik, Christoph, and Wolfgang Müller. “Functional Coverage-Driven Verification with SystemC on Multiple Level of Abstraction.” Proceedings of DVCON , 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26716
Mischkalla, Fabian, et al. “A Retargetable SysML-Based Front-End for High-Level Synthesis.” Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26717
He, Da, et al. “A SysML-Based Framework with QEMU-SystemC Code Generation.” Proceedings of 1st International QEMU Users Forum, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26782
Becker, Markus. “QEMU/SystemC Cosimulation at Different Abstraction Levels.” 1st International QEMU Users Forum (QUF’11), 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 26783
Adelt, Philipp, et al. “Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems.” Intelligent Mechatronics; Kapitel 10, InTech Open Access Publisher, 2011, pp. 169–94.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26784
Gnokam Defo, Gilles Bertrand, and Wolfgang Müller. “Synchronisation Eines SystemC Restbus-Simulators Mit Einem Hardware-In-the-Loop FlexRay Netzwerk.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), 2011.
LibreCat