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.
9315 Publications
2005 | Dissertation | LibreCat-ID: 19611
Geometric Spanners for Topology Control in Wireless Networks
K. Volbert, Geometric Spanners for Topology Control in Wireless Networks, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2005.
LibreCat
| Files available
K. Volbert, Geometric Spanners for Topology Control in Wireless Networks, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2005.
2005 | Conference Paper | LibreCat-ID: 19827
Peer-to-peer networks based on random transformations of connected regular undirected graphs
P. Mahlmann, C. Schindelhauer, in: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures - SPAA’05, 2005.
LibreCat
| DOI
P. Mahlmann, C. Schindelhauer, in: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures - SPAA’05, 2005.
2005 | Conference Paper | LibreCat-ID: 19834
Competitive Time and Traffic Analysis of Position-Based Routing using a Cell Structure
S. Rührup, C. Schindelhauer, in: 19th IEEE International Parallel and Distributed Processing Symposium, 2005, p. 248.
LibreCat
| DOI
S. Rührup, C. Schindelhauer, in: 19th IEEE International Parallel and Distributed Processing Symposium, 2005, p. 248.
2005 | Conference Paper | LibreCat-ID: 19835
Performance Analysis of the Hierarchical Layer Graph for Wireless Networks
S. Rührup, C. Schindelhauer, K. Volbert, in: Proc. of 4th International Conference on Ad-Hoc, Mobile & Wireless Networks (ADHOC-NOW 2005), 2005, pp. 244–257.
LibreCat
| DOI
S. Rührup, C. Schindelhauer, K. Volbert, in: Proc. of 4th International Conference on Ad-Hoc, Mobile & Wireless Networks (ADHOC-NOW 2005), 2005, pp. 244–257.
2005 | Book Chapter | LibreCat-ID: 19836
Probability Distributions for Channel Utilisation
C. Schindelhauer, K. Voß, in: Proc. of 4th International Conference on Ad-Hoc Networks & Wireless (ADHOC-NOW 2005), 2005, pp. 271–284.
LibreCat
| DOI
C. Schindelhauer, K. Voß, in: Proc. of 4th International Conference on Ad-Hoc Networks & Wireless (ADHOC-NOW 2005), 2005, pp. 271–284.
2005 | Conference Paper | LibreCat-ID: 19837
Towards Self-Organizing Query Routing and Processing for Peer-to-Peer Web Search
C. Schindelhauer, G. Weikum, D. Hales, P. Triantafillou, in: European Conference on Complex Systems (ECCS 2005), 2005.
LibreCat
C. Schindelhauer, G. Weikum, D. Hales, P. Triantafillou, in: European Conference on Complex Systems (ECCS 2005), 2005.
2005 | Conference Paper | LibreCat-ID: 19871
Distributed MD
A. Brinkmann, S. Effert, M. Heidebuer, M. Vodisek, in: In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os, 2005, pp. 81–88.
LibreCat
A. Brinkmann, S. Effert, M. Heidebuer, M. Vodisek, in: In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os, 2005, pp. 81–88.
2005 | Conference Paper | LibreCat-ID: 19872
An integrated Architecture for Business Intelligence support from Application down to Storage
A. Brinkmann, S. Effert, M. Heidebuer, M. Vodisek, H. Baars, in: In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os, 2005, pp. 1–8.
LibreCat
A. Brinkmann, S. Effert, M. Heidebuer, M. Vodisek, H. Baars, in: In Proceedings of the International Workshop on Storage Network Architecture and Parallel I/Os, 2005, pp. 1–8.
2005 | Conference Paper | LibreCat-ID: 19888
The expected running time of hierarchical collision detection
J. Klein, G. Zachmann, in: ACM SIGGRAPH 2005 Posters on - SIGGRAPH ’05, 2005.
LibreCat
| DOI
J. Klein, G. Zachmann, in: ACM SIGGRAPH 2005 Posters on - SIGGRAPH ’05, 2005.
2005 | Conference Paper | LibreCat-ID: 19890
Interpolation Search for Point Cloud Intersection
J. Klein, G. Zachmann, in: Proceedings of the 13-Th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision’2005 (WSCG’2005), 2005, pp. 163–170.
LibreCat
| DOI
J. Klein, G. Zachmann, in: Proceedings of the 13-Th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision’2005 (WSCG’2005), 2005, pp. 163–170.
2005 | Conference Paper | LibreCat-ID: 19912
Content Distribution in Heterogenous Video-on-Demand P2P Networks with ARIMA Forecasts
C. Loeser, G. Schomaker, A. Brinkmann, M. Vodisek, M. Heidebuer, in: Proceedings of the 4th International Conference on Networking, Berlin, Heidelberg, 2005, pp. 800–810.
LibreCat
| DOI
C. Loeser, G. Schomaker, A. Brinkmann, M. Vodisek, M. Heidebuer, in: Proceedings of the 4th International Conference on Networking, Berlin, Heidelberg, 2005, pp. 800–810.
2005 | Conference Paper | LibreCat-ID: 2411
Zippy – A coarse-grained reconfigurable array with support for hardware virtualization
C. Plessl, M. Platzner, in: Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP), IEEE Computer Society, 2005, pp. 213–218.
LibreCat
| DOI
C. Plessl, M. Platzner, in: Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP), IEEE Computer Society, 2005, pp. 213–218.
2005 | Journal Article | LibreCat-ID: 2412
System-level performance evaluation of reconfigurable processors
R. Enzler, C. Plessl, M. Platzner, Microprocessors and Microsystems 29 (2005) 63–73.
LibreCat
| DOI
R. Enzler, C. Plessl, M. Platzner, Microprocessors and Microsystems 29 (2005) 63–73.
2005 | Journal Article | LibreCat-ID: 26278
Nonlinear Reformulation of Heisenberg's Dynamics
M. Ziegler, B. Fuchssteiner, International Journal of Theoretical Physics (2005) 693–717.
LibreCat
| DOI
M. Ziegler, B. Fuchssteiner, International Journal of Theoretical Physics (2005) 693–717.
2005 | Journal Article | LibreCat-ID: 3227
Specification and (property) inheritance in {CSP-OZ}
E.-R. Olderog, H. Wehrheim, Sci. Comput. Program. (2005) 227--257.
LibreCat
| DOI
E.-R. Olderog, H. Wehrheim, Sci. Comput. Program. (2005) 227--257.
2005 | Journal Article | LibreCat-ID: 3228
Slicing techniques for verification re-use
H. Wehrheim, Theor. Comput. Sci. (2005) 509--528.
LibreCat
| DOI
H. Wehrheim, Theor. Comput. Sci. (2005) 509--528.
2005 | Conference Paper | LibreCat-ID: 3229
Checking the Validity of Scenarios in {UML} Models
H. Rasch, H. Wehrheim, in: M. Steffen, G. Zavattaro (Eds.), Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82.
LibreCat
| DOI
H. Rasch, H. Wehrheim, in: M. Steffen, G. Zavattaro (Eds.), Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82.
2005 | Conference Paper | LibreCat-ID: 3230
Slicing an Integrated Formal Method for Verification
I. Brückner, H. Wehrheim, in: K.-}Kiu Lau, R. Banach (Eds.), Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374.
LibreCat
| DOI
I. Brückner, H. Wehrheim, in: K.-}Kiu Lau, R. Banach (Eds.), Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374.
2005 | Conference Paper | LibreCat-ID: 3231
Non-atomic Refinement in {Z} and {CSP}
J. Derrick, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 24--44.
LibreCat
| DOI
J. Derrick, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 24--44.
2005 | Conference Paper | LibreCat-ID: 3232
Slicing Object-Z Specifications for Verification
I. Brückner, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 414--433.
LibreCat
| DOI
I. Brückner, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 414--433.