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.

8933 Publications

2009 | Conference Paper | LibreCat-ID: 2261
Schumacher T, Plessl C, Platzner M. An Accelerator for k-th Nearest Neighbor Thinning Based on the IMORC Infrastructure. In: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL). IEEE; 2009:338-344.

2009 | Conference Paper | LibreCat-ID: 2350
Schumacher T, Plessl C, Platzner M. IMORC: Application Mapping, Monitoring and Optimization for High-Performance Reconfigurable Computing. In: Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM). IEEE Computer Society; 2009:275-278. doi:10.1109/FCCM.2009.25
LibreCat | DOI

2009 | Conference Abstract | LibreCat-ID: 2785
Kundisch D, Klein C. An Evaluation Framework for Tracker Certificates during the Financial Crisis and beyond. In: International Federation of Classification Societies 2009 Conference. ; 2009.

2009 | Book (Editor) | LibreCat-ID: 2792
Kundisch D, Veit D, Weitzel T, Weinhardt C, eds. Proceedings of the 4th International Workshop on Enterprise Applications and Services in the Finance Industry. Vol 23. Heidelberg: Springer; 2009.

2009 | Book Chapter | LibreCat-ID: 2920
Kakvi S. Reinforcement Learning for Blackjack. In: Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2009:300-301. doi:10.1007/978-3-642-04052-8_43
LibreCat | DOI

2009 | Journal Article | LibreCat-ID: 2999
Blömer J, Naewe S. Sampling methods for shortest vectors, closest vectors and successive minima. Theoretical Computer Science. 2009;(18):1648-1665. doi:10.1016/j.tcs.2008.12.045
LibreCat | DOI

2009 | Book Chapter | LibreCat-ID: 3000
Schrieb J, Wehrheim H, Wonisch D. Three-Valued Spotlight Abstractions. In: FM 2009: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg; 2009:106-122. doi:10.1007/978-3-642-05089-3_8
LibreCat | DOI

2009 | Journal Article | LibreCat-ID: 3199
Wehrheim H, Wonisch D. Compositional {CSP} Traces Refinement Checking. Electr Notes Theor Comput Sci. 2009;(2):135--151. doi:10.1016/j.entcs.2009.08.022
LibreCat | DOI

2009 | Conference (Editor) | LibreCat-ID: 3202
Leuschel M, Wehrheim H, eds. Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings.; 2009. doi:10.1007/978-3-642-00255-7
LibreCat | DOI

2009 | Conference Paper | LibreCat-ID: 1011
Volkhausen T, Woldegebreal DH, Karl H. Improving network coded cooperation by soft information. In: Sensor, Mesh and Ad Hoc Communications and Networks Workshops, 2009. SECON Workshops’ 09. 6th Annual IEEE Communications Society Conference On. ; 2009:1--6.
LibreCat | Download (ext.)

Filters and Search Terms



Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: AMA

Export / Embed