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
I. Scharlau, U. Ansorge, and G. Horstmann, “Latency facilitation in temporal-order judgments: Time course of facilitation as a function of judgment type.,” Acta Psychologica, vol. 122, no. 2, pp. 129–159, 2006.
LibreCat | Download (ext.)
 

2006 | Conference Paper | LibreCat-ID: 38107
J. Großmann and W. Müller, “A Formal Behavioral Semantics for TestML,” Paphos, Cyprus, 2006, doi: 10.1109/ISoLA.2006.37.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 39029
T. Schattkowsky, W. Müller, and A. Rettberg, “A Model-Based Approach for Executable Specification on Reconfigurable Hardware,” 2005, doi: 10.1109/DATE.2005.20.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 39030
T. Schattkowsky and W. Müller, “A UML Virtual Machine for Embedded Systems,” 2005.
LibreCat
 

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

2004 | Journal Article | LibreCat-ID: 6068 | OA
I. Scharlau, “Evidence against response bias in temporal order tasks with attention manipulation by masked primes.,” Psychological Research, vol. 68, no. 4, pp. 224–236, 2004.
LibreCat | Download (ext.)
 

2004 | Conference Paper | LibreCat-ID: 39069
S. Flake and W. Müller, “Past- and Future-Oriented Time-Bound Temporal Properties with OCL,” presented at the Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004, doi: 10.1109/SEFM.2004.1347516.
LibreCat | DOI
 

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

2003 | Journal Article | LibreCat-ID: 6065 | OA
I. Scharlau and U. Ansorge, “Direct parameter specification of an attention shift: Evidence from perceptual latency priming.,” Vision Research, vol. 43, no. 12, pp. 1351–1363, 2003.
LibreCat | Download (ext.)
 

2003 | Journal Article | LibreCat-ID: 6078 | OA
I. Scharlau and O. Neumann, “Perceptual latency priming by masked and unmasked stimuli: Evidence for an attentional interpretation.,” Psychological Research, vol. 67, no. 3, pp. 184–196, 2003.
LibreCat | Download (ext.)
 

2003 | Journal Article | LibreCat-ID: 6086 | OA
I. Scharlau and O. Neumann, “Temporal parameters and time course of perceptual latency priming.,” Acta Psychologica, vol. 113, no. 2, pp. 185–203, 2003.
LibreCat | Download (ext.)
 

2002 | Journal Article | LibreCat-ID: 6074 | OA
I. Scharlau, “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, pp. 1346–1360, 2002.
LibreCat | Download (ext.)
 

2002 | Conference Paper | LibreCat-ID: 39382
W. Müller, R. Dömer, and A. Gerstlauer, “The Formal Execution Semantics of SpecC,” 2002, doi: 10.1145/581199.581234 .
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 39403
S. Flake and W. Müller, “Specification of Real-Time Properties for UML Models,” presented at the Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA , 2002, doi: 10.1109/HICSS.2002.994469.
LibreCat | DOI
 

2002 | Journal Article | LibreCat-ID: 39925
K. Goser, U. Hilleringmann, U. Rueckert, and K. Schumacher, “VLSI technologies for artificial neural networks,” IEEE Micro, vol. 9, no. 6, pp. 28–44, 2002, doi: 10.1109/40.42985.
LibreCat | DOI
 

2002 | Journal Article | LibreCat-ID: 39926
K. Goser, U. Hilleringmann, U. Rueckert, and K. Schumacher, “VLSI technologies for artificial neural networks,” IEEE Micro, vol. 9, no. 6, pp. 28–44, 2002, doi: 10.1109/40.42985.
LibreCat | DOI
 

2002 | Journal Article | LibreCat-ID: 45423
R. Mahnken, “Improved implementation of an algorithm for non-linear isotropic/kinematic hardening in elastoplasticity,” Communications in Numerical Methods in Engineering, vol. 15, no. 10, pp. 745–754, 2002, 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
R. Mahnken, M. Johansson, and K. Runesson, “Parameter estimation for a viscoplastic damage model using a gradient‐based optimization algorithm,” Engineering Computations, vol. 15, no. 7, pp. 925–955, 2002, doi: 10.1108/02644409810236920.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 39411
S. Flake, C. Geiger, W. Müller, and J. Ruf, “Customer-Oriented Systems Design through Virtual Prototyps,” presented at the Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2001, doi: 10.1109/ENABL.2001.953425.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 39432
W. Müller, A. Meyer, and H. Zabel, “A Language for the Rapid Prototyping of Mobile Evolving Agents,” 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: IEEE

Export / Embed