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.

136 Publications


2006 | Journal Article | LibreCat-ID: 6073 | OA
Scharlau, Ingrid, et al. “Latency Facilitation in Temporal-Order Judgments: Time Course of Facilitation as a Function of Judgment Type.” Acta Psychologica, vol. 122, no. 2, 2006, pp. 129–59.
LibreCat | Download (ext.)
 

2006 | Conference Paper | LibreCat-ID: 38107
Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.” Proc. of ISOLA 06, 2006, doi:10.1109/ISoLA.2006.37.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky, Tim, et al. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.” Proceedings of DATE’05, IEEE, 2005, doi:10.1109/DATE.2005.20.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 39030
Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded Systems.” Proceedings of ISNG 05, 2005.
LibreCat
 

2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.” Proceedings of VL/HCC 05, 2005, doi:10.1109/VLHCC.2005.64.
LibreCat | DOI
 

2004 | Journal Article | LibreCat-ID: 6068 | OA
Scharlau, Ingrid. “Evidence against Response Bias in Temporal Order Tasks with Attention Manipulation by Masked Primes.” Psychological Research, vol. 68, no. 4, 2004, pp. 224–36.
LibreCat | Download (ext.)
 

2004 | Conference Paper | LibreCat-ID: 39069
Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” Proceedings of SEFM´04, IEEE, 2004, doi:10.1109/SEFM.2004.1347516.
LibreCat | DOI
 

2003 | Journal Article | LibreCat-ID: 34565
Flake, Stephan, and Wolfgang Müller. “Formal Semantics of Static and Temporal State-Oriented OCL Constraints.” Journal on Software and System Modeling (SoSyM), vol. 2, no. 3, Springer-Verlag, 2003, pp. 164–86, doi:10.1007/s10270-003-0026-x.
LibreCat | DOI
 

2003 | Journal Article | LibreCat-ID: 6065 | OA
Scharlau, Ingrid, and Ulrich Ansorge. “Direct Parameter Specification of an Attention Shift: Evidence from Perceptual Latency Priming.” Vision Research, vol. 43, no. 12, 2003, pp. 1351–63.
LibreCat | Download (ext.)
 

2003 | Journal Article | LibreCat-ID: 6078 | OA
Scharlau, Ingrid, and Odmar Neumann. “Perceptual Latency Priming by Masked and Unmasked Stimuli: Evidence for an Attentional Interpretation.” Psychological Research, vol. 67, no. 3, 2003, pp. 184–96.
LibreCat | Download (ext.)
 

2003 | Journal Article | LibreCat-ID: 6086 | OA
Scharlau, Ingrid, and Odmar Neumann. “Temporal Parameters and Time Course of Perceptual Latency Priming.” Acta Psychologica, vol. 113, no. 2, 2003, pp. 185–203.
LibreCat | Download (ext.)
 

2002 | Journal Article | LibreCat-ID: 6074 | OA
Scharlau, Ingrid. “Leading, but Not Trailing, Primes Influence Temporal Order Perception: Further Evidence for an Attentional Account of Perceptual Latency Priming.” Perception & Psychophysics, vol. 64, no. 8, 2002, pp. 1346–60.
LibreCat | Download (ext.)
 

2002 | Conference Paper | LibreCat-ID: 39382
Müller, Wolfgang, et al. “The Formal Execution Semantics of SpecC.” Proceedings of the ISSS02, 2002, doi:10.1145/581199.581234 .
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 39403
Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” Proceedings of HICSS-35, 2002, doi:10.1109/HICSS.2002.994469.
LibreCat | DOI
 

2002 | Journal Article | LibreCat-ID: 39925
Goser, K., et al. “VLSI Technologies for Artificial Neural Networks.” IEEE Micro, vol. 9, no. 6, Institute of Electrical and Electronics Engineers (IEEE), 2002, pp. 28–44, doi:10.1109/40.42985.
LibreCat | DOI
 

2002 | Journal Article | LibreCat-ID: 39926
Goser, K., et al. “VLSI Technologies for Artificial Neural Networks.” IEEE Micro, vol. 9, no. 6, Institute of Electrical and Electronics Engineers (IEEE), 2002, pp. 28–44, doi:10.1109/40.42985.
LibreCat | DOI
 

2002 | Journal Article | LibreCat-ID: 45423
Mahnken, Rolf. “Improved Implementation of an Algorithm for Non-Linear Isotropic/Kinematic Hardening in Elastoplasticity.” Communications in Numerical Methods in Engineering, vol. 15, no. 10, Wiley, 2002, pp. 745–54, doi:10.1002/(sici)1099-0887(199910)15:10<745::aid-cnm288>3.0.co;2-r.
LibreCat | DOI
 

2002 | Journal Article | LibreCat-ID: 45427
Mahnken, Rolf, et al. “Parameter Estimation for a Viscoplastic Damage Model Using a Gradient‐based Optimization Algorithm.” Engineering Computations, vol. 15, no. 7, Emerald, 2002, pp. 925–55, doi:10.1108/02644409810236920.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 39411
Flake, Stephan, et al. “Customer-Oriented Systems Design through Virtual Prototyps.” Proceedings of IEEE KMN 2001, 2001, doi:10.1109/ENABL.2001.953425.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 39432
Müller, Wolfgang, et al. “A Language for the Rapid Prototyping of Mobile Evolving Agents.” Proceedings of the 34th Annual Hawaii International Conference on System Sciences, 2001, doi:10.1109/HICSS.2001.926319.
LibreCat | DOI
 

Filters and Search Terms

keyword=%22hardware-software%20real-time%20operating%20systems%22

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed