Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Jörg Behrend"'
Autor:
Alexander Grünhage, Wolfgang Rosenstiel, Djones Lettnin, Jörg Behrend, Jürgen Ruf, Thomas Kropf
Publikováno v:
Journal of Electronic Testing. 31:151-166
The verification of embedded software has become an important subject over the last years. However, neither standalone verification approaches, like simulation-based/formal verification, nor state-of-the-art semiformal verification approaches are abl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::05cf99838d10d26c1948769c2904ed0c
https://doi.org/10.1007/s10836-015-5518-4
https://doi.org/10.1007/s10836-015-5518-4
Autor:
Jörg Behrend, Djones Lettnin, Alexander Grünhage, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Publikováno v:
Embedded Software Verification and Debugging ISBN: 9781461422655
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::34c0011f3b4ee83e2371ee340d5c0d51
https://doi.org/10.1007/978-1-4614-2266-2_8
https://doi.org/10.1007/978-1-4614-2266-2_8
Publikováno v:
Recent Advances in Parallel Virtual Machine and Message Passing Interface ISBN: 9783540874744
PVM/MPI
PVM/MPI
Heterogeneous parallel systems integrate machines with different architectural characteristics, such as endianess and word size. To use message-passing in these environments, the data must be translated by the communication layer. Message-passing sta
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2dc6010fea48c2e296d25a39f3cd06a9
https://doi.org/10.1007/978-3-540-87475-1_23
https://doi.org/10.1007/978-3-540-87475-1_23
Autor:
Leitner Lawrence, S. M. German, Jackson Jonathan, Fady Copty, Richard D. Peterson, Schumann John A, Randall R. Pratt, Michal Rimon, Johannes Koesters, Amir Nahir, Klaus-Dieter Schubert, Holger Horbach, Bishop Brock, Oz Hershkovitz, Jörg Behrend, John M. Ludden, G. B. Meil, Charles Meissner, S. Ayub, Ronny Morad, Klaus Keuerleber, Viresh Paruthi
Publikováno v:
IBM Journal of Research and Development. 59:11:1-11:17
This paper describes methods and techniques used to verify the POWER8™ microprocessor. The base concepts for the functional verification are those that have been already used in POWER7® processor verification. However, the POWER8 design point prov
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2fc3f43b8e07be8e4ab9fa6ece84a2a2
https://doi.org/10.1147/jrd.2014.2380271
https://doi.org/10.1147/jrd.2014.2380271
Publikováno v:
PLoS ONE, Vol 7, Iss 3, p e32946 (2012)
The present study addresses the problem whether negative priming (NP) is due to information processing in perception, recognition or selection. We argue that most NP studies confound priming and perceptual similarity of prime-probe episodes and imple
Externí odkaz:
https://doaj.org/article/0546f88353544ed6a0a22b6352ddb00f