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.
9305 Publications
2010 | Conference Paper | LibreCat-ID: 37046
Becker, Markus, et al. A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:10.1007/978-3-642-15234-4_15.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37044
Klobedanz, Kay, et al. Task Migration for Fault-Tolerant FlexRay Networks. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:10.1007/978-3-642-15234-4_7.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37042
Mischkalla, Fabian, et al. “A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis.” Proceedings of the M-BED Workshop, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37043
Bol, Alexander, et al. “Eine Strukturierte Methode Zur Generierung von SystemVerilog-Testumgebungen Aus Textuellen Anforderungsbeschreibungen.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37050
Müller, Wolfgang, et al. “The SATURN Approach to SysML-Based HW/SW Codesign.” Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2010, doi:10.1007/978-94-007-1488-5_9.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37048
Müller, Wolfgang, et al. Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:10.1007/978-3-642-15234-4_9.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37049
Xie, Tao, et al. Mutation-Analysis Directed Constrained Random Verification. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37051
Xie, Tao, et al. An Eclipse-Based Framework for the IP-XACT-Enabled Assembly of Mixed-Level IPs. 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37057
Defo, Gilles B., et al. “Verification of a CAN Bus Model in SystemC with Functional Coverage.” Proceedings of SIES 2010, IEEE, 2010, doi:10.1109/SIES.2010.5551379.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37056
Klobedanz, Kay, et al. “Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks.” Proceedings of SIES 2010, 2010, doi:10.1109/SIES.2010.5551384.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
Müller, Wolfgang, et al. “Verification of Real-Time Properties for Hardware-Dependant Software.” Proceedings of HLDVT2010, IEEE, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37060
Oliveira, Marcio F. S., et al. “Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration.” Proceedings of MoMPES 2010, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 38466
Al-Bermani, A., et al. “Realtime 16-QAM Transmission with Coherent Digital Receiver.” 2010 15TH OPTOELECTRONICS AND COMMUNICATIONS CONFERENCE (OECC), 2010, p. 152+.
LibreCat
2010 | Conference Paper | LibreCat-ID: 38460
El-Darawy, M., et al. “Performance of Modified Decision-Directed Polarization Control/Demultiplex Algorithm in Coherent QAM Receiver.” 2010 CONFERENCE ON OPTICAL FIBER COMMUNICATION OFC COLLOCATED NATIONAL FIBER OPTIC ENGINEERS CONFERENCE OFC-NFOEC, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 38436
Koch, B., et al. “200-Gb/s, 430-Km PDM-RZ-DQPSK (4 Bit/Symbol) Transmission with 10 Krad/s Endless Polarization Tracking.” 2010 CONFERENCE ON OPTICAL FIBER COMMUNICATION OFC COLLOCATED NATIONAL FIBER OPTIC ENGINEERS CONFERENCE OFC-NFOEC, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 38396
Noé, Reinhold, et al. “Endless Optical Polarization Control and PMD Compensation.” 2010 CONFERENCE ON OPTICAL FIBER COMMUNICATION OFC COLLOCATED NATIONAL FIBER OPTIC ENGINEERS CONFERENCE OFC-NFOEC, 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 5094
Schneider, Georg, and Caren Sureth-Sloane. “Capitalized Investments with Entry and Exit Options and Paradoxical Tax Effects.” Review of Managerial Science, vol. 4, no. 2, Springer Nature, 2010, pp. 149–69, doi:10.1007/s11846-010-0040-7.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 17255
Lohan, Katrin Solveig, et al. “Does Embodiment Affect Tutoring Behavior?” International Conference on Development and Learning, IEEE, 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 8179 | 
Gharibian, Sevag. “Strong NP-Hardness of the Quantum Separability Problem.” Quantum Information & Computation, vol. 10, no. 3{\ & }4, 2010, pp. 343–60.
LibreCat
| Download (ext.)
| arXiv
2010 | Journal Article | LibreCat-ID: 34886
Fouvry, Étienne, and Jürgen Klüners. “On the Negative Pell Equation.” Annals of Mathematics, vol. 172, no. 3, Annals of Mathematics, 2010, pp. 2035–104, doi:10.4007/annals.2010.172.2035.
LibreCat
| DOI