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.
5950 Publications
2004 | Conference Paper | LibreCat-ID: 1006
Gross, James, et al. “On the Effect of Inband Signaling and Realistic Channel Knowledge on Dynamic OFDM-FDMA Systems.” European Wireless 2004, 2004.
LibreCat
2004 | Journal Article | LibreCat-ID: 1017
Kubisch, Martin, et al. “A MAC Protocol for Wireless Sensor Networks with Multiple Selectable, Fixed-Orientation Antennas.” Frequenz, no. 3–4, 2004, pp. 92--96, doi:/10.1.1.3.3185.
LibreCat
| Files available
| DOI
2004 | Conference Paper | LibreCat-ID: 1019
Gross, James, et al. “Throughput Optimization of Dynamic OFDM-FDMA Systems with Inband Signaling.” 2nd International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks 2004 (WiOpt 2004), 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 13618
Walder, Herbert, and Marco Platzner. “A Runtime Environment for Reconfigurable Hardware Operating Systems.” Proceedings of the 14th International Conference on Field Programmable Logic and Applications (FPL), Springer, 2004, pp. 831–35, doi:10.1007/978-3-540-30117-2_84.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 13619
Walder, Hebert, et al. “XF-BOARD: A Prototyping Platform for Reconfigurable Hardware Operating Systems.” Proceedings of the 4th International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 13620
Dyer, Matthias, et al. “Efficient Execution of Process Networks on a Reconfigurable Hardware Virtual Machine.” Proceedings 12th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM), IEEE CS Press, 2004, doi:10.1109/fccm.2004.31.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33825
Flake, Stephan, et al. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” Integration of Software Specification Techniques for Applications in Engineering, edited by Hartmut Ehrig et al., vol. 3147, Springer-Verlag, 2004, pp. 206–26, doi:10.1007/978-3-540-27863-4_13.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33827
Schattkowsky, Tim, et al. “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering.” Workflow Handbook 2004, edited by Layna Fischer, Workflow Management Coalition (WfMC), 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33830
Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines with Complementary Model Checking.” UML-B System Specification for Proven Electronic Design, edited by J. Mermet, Kluwer, 2004, pp. 155–68.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
Krupp, Alexander, et al. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” Best of FDL’03, edited by Ch. Grimm, Kluwer, 2004, pp. 301–14.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
Krupp, Alexander, et al. “The Echo Cancellation Unit Case Study.” UML-B System Specification for Proven Electronic Design, edited by J. Mermet, Kluwer, 2004, pp. 227–40.
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47645
Dumrauf, Dominic. Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen. 2004.
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47642
Herden, Tim. Implementierung und Evaluierung eines Angriffs auf DSA. 2004.
LibreCat
2004 | Bachelorsthesis | LibreCat-ID: 47644 | 
Gesemann, Sebastian. Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes. 2004.
LibreCat
| Files available
2004 | Bachelorsthesis | LibreCat-ID: 47643 |
Gorski, Michael. Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven. 2004.
LibreCat
| Files available
2004 | Conference Paper | LibreCat-ID: 39053
Müller, Wolfgang, et al. “Interactive Multimodal User Interfaces for Mobile Devices.” Proceedings of HICCS-37, 2004, doi:10.1109/HICSS.2004.1265674.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
Zambaldi, Martin, et al. “The Formal Simulation Semantics of SystemVerilog.” Proceedings of FDL’04, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39060
Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and Execution of Embedded Real-Time Systems.” Proceedings of DATE’04, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” Proceedings of DATE’04 Designers’ Forum, 2004, doi:10.1109/DATE.2004.1269214.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39063
Müller, Wolfgang, and Volker Paelke. “A Formal Model of a Framework for Simulation-Based Animation.” Proceedings of the Simulation and Visualisation 2004, 2004.
LibreCat