Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
International journal of parallel programming, 2019-02, Vol.47 (1), p.39-58
2019
Link zum Volltext

International journal of parallel programming, 2018-04, Vol.46 (2), p.471-503
2018
Link zum Volltext

International journal of parallel programming, 2008-12, Vol.36 (6), p.571-591
2008
Link zum Volltext


Empirical software engineering : an international journal, 2024-05, Vol.29 (3), p.69
2024
Link zum Volltext


Higher-order and symbolic computation, 2004-09, Vol.17 (3), p.173-206
2004
Link zum Volltext

International journal of parallel programming, 2022-02, Vol.50 (1), p.65-88
2022
Link zum Volltext

Journal of cryptographic engineering, 2024-01
2024
Link zum Volltext

Computational optimization and applications, 2015-06, Vol.61 (2), p.343-372
2015
Link zum Volltext

International journal of parallel programming, 2019-12, Vol.47 (5-6), p.781-804
2019
Link zum Volltext

International journal of parallel programming, 2006-08, Vol.34 (4), p.383-427
2006
Link zum Volltext

Open Access
A Formally Verified Compiler Back-end
Journal of automated reasoning, 2009-12, Vol.43 (4), p.363-446
2009
Link zum Volltext

International journal of parallel programming, 2008-12, Vol.36 (6), p.571-591
2008
Link zum Volltext


International journal on software tools for technology transfer, 2016-08, Vol.18 (4), p.359-374
2016
Link zum Volltext

Innovations in systems and software engineering, 2011-06, Vol.7 (2), p.151-160
2011
Link zum Volltext


International journal of parallel programming, 2018-02, Vol.46 (1), p.23-41
2018
Link zum Volltext

Real-time systems, 2010-06, Vol.45 (1-2), p.72-105
2010
Link zum Volltext

International journal of parallel programming, 1999-12, Vol.27 (6), p.477-503
1999
Link zum Volltext

Computer science (Berlin, Germany), 2010-05, Vol.25 (1-2), p.15-24
2010
Link zum Volltext


International journal of parallel programming, 2013-12, Vol.41 (6), p.768-781
2013
Link zum Volltext

Aktive Filter
Zeitschrift / SerieConcurrency And Computation
SpracheRussisch
ThemaEngineering
KollektionSpringerLink (Online service)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n