Result 1 to 18 of 18 total
A verification-based approach to memory fence insertion in relaxed memory systems. (English)
Groce, Alex (ed.) et al., Model checking software. 18th international SPIN workshop, Snowbird, UT, USA, July 14‒15, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22305-1/pbk). Lecture Notes in Computer Science 6823, 144-160 (2011).
1
A verification-based approach to memory fence insertion in relaxed memory systems (English)
SPIN, 144-160 (2011).
2
An automata-based symbolic approach for verifying programs on relaxed memory models. (English)
van de Pol, Jaco (ed.) et al., Model checking software. 17th international SPIN workshop, Enschede, The Netherlands, September 27‒29, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16163-6/pbk). Lecture Notes in Computer Science 6349, 212-226 (2010).
3
Multirate synchronous sampling of sparse multiband signals (English)
IEEE Transactions on Signal Processing 58, No. 3, 1144-1156 (2010).
4
An automata-based symbolic approach for verifying programs on relaxed memory models (English)
SPIN, 212-226 (2010).
5
Non-rigid coregistration of diffusion kurtosis data (English)
ISBI, 392-395 (2010).
6
Multirate synchronous sampling of sparse multiband signals. (English)
Comput. Res. Repos. 2008, Article No. 0806.0579 (2008).
7
Imaging dynamics of organs and drugs at sub-half-mm and sub-minute resolution using focusing pinhole SPECT (English)
ISBI, 1411-1412 (2008).
8
Initial usability testing of navigation and interaction methods in virtual environments: Developing usable interfaces for brain injury rehabilitation. (English)
Presence 16, No. 1, 16-44 (2007).
9
The use of automatic alignment on structured multilingual documents (English)
EP, 464-475 (1998).
10
SESAME - ein objekt- und datenflußorientierter simulator für modelle der neuroinformatik und angrenzender gebiete (English)
DISKI 93, I-VI, 1-172 (1995).
11
SESAME - an object oriented software tool for design, simulation and analysis of neural nets (English)
MASCOTS, 339-340 (1993).
12
On discontinuous Q-functions in reinforcment learning (English)
GWAI, 199-209 (1992).
13
An object-oriented framework for the simulation of neural networks (English)
NIPS, 797-804 (1992).
14
Adaptive look-ahead planning (English)
ÖGAI, 238-246 (1990).
15
Inversion in time (English)
EURASIP Workshop, 130-140 (1990).
16
Planning with an adaptive world model (English)
NIPS, 450-456 (1990).
17
Detection of minimal microfeatures by internal feedback (English)
ÖGAI, 230-239 (1989).
18
Result 1 to 18 of 18 total
Start
Contact
Print
General Help
