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.

6219 Publications


2003 | Conference Paper | LibreCat-ID: 39365
R. Schäfer and W. Müller, “Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks,” 2003.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 39364
S. Flake and W. Müller, “Expressing Property Specification Patterns with OCL,” 2003.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 39366
T. Schattkowsky and W. Müller, “Distributed Engineering Environment for the Design of Electronic Systems,” 2003.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 39363
S. Flake and W. Müller, “Semantics of State-Oriented Expressions in the Object Constraint Language,” 2003.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 39367
J. Wang and W. Müller, “SmartCard for Secure Collaborative Engineering,” 2003.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 39360
A. Krupp and W. Müller, “Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten.” Bremen, 2003.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 39368
A. Krupp and W. Müller, “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems,” 2003.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 39369
S. Flake and W. Müller, “Formal Semantics of OCL Messages,” 2003.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 13617
C. Steiger, H. Walder, M. Platzner, and L. Thiele, “Online scheduling and placement of real-time tasks to partially reconfigurable devices,” in Proceedings 24th IEEE International Real-Time Systems Symposium (RTSS), 2003, pp. 224–225, doi: 10.1109/real.2003.1253269.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 15165
B. Schwerdtfeger, F. Goetz, and G. Domik, “3D interaktives Baukastensystem unter Verwendung von Augmented Reality Techniken,” 2003.
LibreCat
 

2002 | Report | LibreCat-ID: 2538
H. Karl, S. Mengesha, and D. Hollos, Relaying in Wireless Access Networks . London: Business Briefing: Wireless Technology 2002, 2002.
LibreCat | Files available
 

2002 | Conference Paper | LibreCat-ID: 2541
A. Köpke, V. Handziski, and H. Karl, “ Making sensor networks intelligent,” in Proc. 7th Wireless World Research Forum (WWRF), 2002.
LibreCat | Files available
 

2002 | Conference Paper | LibreCat-ID: 2544
H. Miesmer, H. Sanneck, A. Aguier, and H. Karl, “Concepts for a QoS-enabled, TCP/IP-oriented Link Layer in Beyond 3G Networks,” in Proc. of 6th Wireless World Forum, 2002.
LibreCat | Files available
 

2002 | Conference Paper | LibreCat-ID: 2548
D. Hollos and H. Karl, “A HiperLAN/2 simulation model in OMNeT++,” in Proc. of 2nd Intl. OMNet Workshop, 2002.
LibreCat | Files available
 

2002 | Conference Paper | LibreCat-ID: 19727
O. Bonorden, F. Meyer auf der Heide, and R. Wanka, “Composition of Efficient Nested BSP Algorithms: Minimum Spanning Tree Computation as an Instructive Example,” in Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA), 2002, pp. 2202–2208.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 19850
R. Wanka, “Any Load-Balancing Regimen for Evolving Tree Computations on Circulant Graphs Is Asymptotically Optimal,” in Proc. Workshop on Graph-Theoretic Concepts in Computer Science (WG), 2002, pp. 413–420.
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 19873
J. Klein, J. Krokowski, and N. Cuntz, “Realtime Navigation in Highly Complex 3D-Scenes Using JPEG Compression,” in Proc. of 4. GI-Informatiktage, 2002, pp. 224–229.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 2423
C. Plessl, R. Enzler, H. Walder, J. Beutel, M. Platzner, and L. Thiele, “Reconfigurable Hardware in Wearable Computing Nodes,” in Proc. Int. Symp. on Wearable Computers (ISWC), 2002, pp. 215–222.
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 2424
M. Dyer, C. Plessl, and M. Platzner, “Partially Reconfigurable Cores for Xilinx Virtex,” in Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), 2002, vol. 2438, pp. 292–301.
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 2425
C. Plessl and M. Platzner, “Custom Computing Machines for the Set Covering Problem,” in Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM), 2002, pp. 163–172.
LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed