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.
5937 Publications
2003 | Conference Paper | LibreCat-ID: 19790
Scheideler, Christian, Kay Salzwedel, Friedhelm Meyer auf der Heide, André Brinkmann, Mario Vodisek, and Ulrich Rückert. “Storage Management as Means to Cope with Exponential Information Growth.” In Proceedings of SSGRR 2003, 2003.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 19806
Rührup, Stefan, Christian Schindelhauer, Klaus Volbert, and M. Grünewald. “Performance of Distributed Algorithms for Topology Control in Wireless Networks.” In Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS), 2003. https://doi.org/10.1109/ipdps.2003.1213107.
LibreCat
| DOI
2003 | Mastersthesis | LibreCat-ID: 19828
Mahlmann, Peter. Implementierung Und Vergleich von Verfahren Zum Information Retrieval Im World Wide Web, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 19833
Volbert, Klaus, Matthias Grünewald, Christian Schindelhauer, and Ulrich Rückert. “Directed Power-Variable Infrared Communication for the Mini Robot Khepera.” In Proceedings of the 2nd International Conference on Autonomous Minirobots for Research and Edutainment, 113–22, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 19874
Klein, Jan, and Gabriel Zachmann. “ADB-Trees: Controlling the Error of Time-Critical Collision Detection.” In Proc. 8th International Fall Workshop Vision, Modeling, and Visualization (VMV 2003), 37–45, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 19900
Klein, Jan, and Gabriel Zachmann. “Time-Critical Collision Detection Using an Average-Case Approach.” In Proc. ACM Symposium on Virtual Reality Software and Technology (VRST 2003), 22–31, 2003. https://doi.org/10.1145/1008653.1008660.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 19952
Fomin, Fedor V., and Dimitrios M. Thilikos. “Dominating Sets in Planar Graphs: Branch-Width and Exponential Speed-Up.” In Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003), 2003. https://doi.org/10.1137/s0097539702419649.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 2418
Plessl, Christian, and Marco Platzner. “TKDM – A Reconfigurable Co-Processor in a PC’s Memory Slot.” In Proc. Int. Conf. on Field Programmable Technology (ICFPT), 252–59. IEEE Computer Society, 2003. https://doi.org/10.1109/FPT.2003.1275755.
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 2419
Plessl, Christian, Rolf Enzler, Herbert Walder, Jan Beutel, Marco Platzner, Lothar Thiele, and Gerhard Tröster. “The Case for Reconfigurable Hardware in Wearable Computing.” Personal and Ubiquitous Computing 7, no. 5 (2003): 299–308. https://doi.org/10.1007/s00779-003-0243-x.
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 2420
Plessl, Christian, and Marco Platzner. “Instance-Specific Accelerators for Minimum Covering.” Journal of Supercomputing 26, no. 2 (2003): 109–29. https://doi.org/10.1023/a:1024443416592.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 2421
Enzler, Rolf, Christian Plessl, and Marco Platzner. “Virtualizing Hardware with Multi-Context Reconfigurable Arrays.” In Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), 2778:151–60. Lecture Notes in Computer Science (LNCS). Springer, 2003. https://doi.org/10.1007/b12007.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 2422
Enzler, Rolf, Christian Plessl, and Marco Platzner. “Co-Simulation of a Hybrid Multi-Context Architecture.” In Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), 174–80. CSREA Press, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 24273
Terbahl, Martina, and Jens Krokowski. “Verteiltes Rendern Durch Dynamische Bildaufteilung.” In Proceedings of 5. GI-Informatiktage 2003. Bad Schussenried, Germany, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 26263
Ziegler, Martin. “Stability versus Speed in a Computable Algebraic Model.” In Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA, 47–64, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 26277
Ziegler, Martin. “Computable Operators on Regular Sets.” In Computability and Complexity in Analysis, 302-8/2003:389–406. Informatik Berichte, 2003.
LibreCat
2003 | Journal Article | LibreCat-ID: 3236
Wehrheim, Heike. “Behavioral Subtyping Relations for Active Objects.” Formal Methods in System Design, no. 2 (2003): 143--170. https://doi.org/10.1023/A:1024764232069.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3237
Wehrheim, Heike. “Preserving Properties Under Change.” In Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P. de Roever, 330--343. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/978-3-540-30101-1_16.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3238
Wehrheim, Heike. “Inheritance of Temporal Logic Properties.” In Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, edited by Elie Najm, Uwe Nestmann, and Perdita Stevens, 79--93. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/978-3-540-39958-2_6.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3239
Rasch, Holger, and Heike Wehrheim. “Checking Consistency in {UML} Diagramms: Classes and State Machines.” In Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, edited by Elie Najm, Uwe Nestmann, and Perdita Stevens, 229--243. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/978-3-540-39958-2_16.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3240
Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic Refinement.” In {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings, edited by Didier Bert, Jonathan P. Bowen, Steve King, and Marina A. Wald{\’{e}}n, 127--147. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/3-540-44880-2_10.
LibreCat
| DOI