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


2004 | Conference Paper | LibreCat-ID: 13071
Sensor Networks with More Features Using Less Hardware
M. Liu Jing, S. Ruehrup, C. Schindelhauer, K. Volbert, M. Dierkes, A. Bellgardt, R. Ibers, U. Hilleringmann, in: {GOR/NGB Conference Tilburg 2004}, Tilburg, Netherlands, 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 1002
Distributed maintenance of resource reservation paths in multihop 802.11 networks
E. Carlson, C. Bettstetter, H. Karl, C. Prehofer, A. Wolisz, in: Vehicular Technology Conference, 2004. VTC2004-Fall. 2004 IEEE 60th, 2004, pp. 2994--2998.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 1006
On the effect of inband signaling and realistic channel knowledge on dynamic OFDM-FDMA systems
J. Gross, H. Karl, A. Wolisz, in: European Wireless 2004, 2004.
LibreCat
 

2004 | Journal Article | LibreCat-ID: 1017 LibreCat | Files available | DOI
 

2004 | Conference Paper | LibreCat-ID: 1019
Throughput optimization of dynamic OFDM-FDMA systems with inband signaling
J. Gross, H. Karl, A. Wolisz, in: 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
A Runtime Environment for Reconfigurable Hardware Operating Systems
H. Walder, M. Platzner, in: Proceedings of the 14th International Conference on Field Programmable Logic and Applications (FPL), Springer, Berlin, Heidelberg, 2004, pp. 831–835.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 13619
XF-BOARD: A Prototyping Platform for Reconfigurable Hardware Operating Systems
H. Walder, S. Nobs, M. Platzner, in: Proceedings of the 4th International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 13620
Efficient Execution of Process Networks on a Reconfigurable Hardware Virtual Machine
M. Dyer, M. Platzner, L. Thiele, in: Proceedings 12th Annual IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM), IEEE CS Press, 2004.
LibreCat | DOI
 

2004 | Journal Article | LibreCat-ID: 13716
Atomic indium nanowires on Si(111): the (4 × 1)–(8 × 2) phase transition studied with reflectance anisotropy spectroscopy
K. Fleischer, S. Chandola, N. Esser, W. Richter, J.. McGilp, W.G. Schmidt, S. Wang, W. Lu, J. Bernholc, Applied Surface Science 234 (2004) 302–306.
LibreCat | DOI
 
 
 

2004 | Journal Article | LibreCat-ID: 6069
Evidence for split foci of attention in a priming paradigm.
I. Scharlau, Perception & Psychophysics 66 (2004) 988–1002.
LibreCat
 

2004 | Journal Article | LibreCat-ID: 6089 | OA
The spatial distribution of attention in perceptual latency priming.
I. Scharlau, The Quarterly Journal of Experimental Psychology A: Human Experimental Psychology 57A (2004) 1411–1436.
LibreCat | Download (ext.)
 

2004 | Book Chapter | LibreCat-ID: 33825
Specification and Formal Verification of Temporal Properties of Production Automation Systems
S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin, Heidelberg, 2004, pp. 206–226.
LibreCat | DOI
 

2004 | Book Chapter | LibreCat-ID: 33827
Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering
T. Schattkowsky, W. Müller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook 2004, Workflow Management Coalition (WfMC), Lighthouse Point, FL, USA, 2004.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 33830
Refinement of Finite State Machines with Complementary Model Checking
A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 33829
Combining Formal Refinement and Model Checking for Analysis of Realtime Systems
A. Krupp, W. Müller, I. Oliver, in: Ch. Grimm (Ed.), Best of FDL’03, Kluwer, Dordrecht, 2004, pp. 301–314.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 33832
The Echo Cancellation Unit Case Study
A. Krupp, W. Müller, I. Oliver, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 227–240.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 39053
Interactive Multimodal User Interfaces for Mobile Devices
W. Müller, R. Schäfer, S. Bleul, in: Proceedings of HICCS-37, Waikoloa, HI, USA, 2004.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 39055
The Formal Simulation Semantics of SystemVerilog
M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, Lille, France, 2004.
LibreCat
 

Filters and Search Terms

isbn%3D978-1-4503-0743-7

Search

Filter Publications

Display / Sort

Export / Embed