000720751 001__ 720751 000720751 005__ 20241203121153.0 000720751 0247_ $$2DOI$$a10.1145/3145344.3145490 000720751 0247_ $$2ISBN$$a978-1-4503-5127-0 000720751 0247_ $$2SCOPUS$$aSCOPUS:2-s2.0-85054827032 000720751 037__ $$aRWTH-CONV-224077 000720751 041__ $$aEnglish 000720751 1001_ $$0P:(DE-82)IDM00506$$aProtze, Joachim$$b0$$eCorresponding author$$urwth 000720751 1112_ $$a1. International Workshop on Software Correctness for HPC Applications$$cDenver, CO$$d2017-11-12 - 2017-11-17$$gCorrectness'17$$wUSA 000720751 245__ $$aRuntime Correctness Checking for Emerging Programming Paradigms$$honline, print 000720751 260__ $$aNew York, NY$$bACM$$c2017 000720751 29510 $$aProceedings of the First International Workshop on Software Correctness for HPC Applications 000720751 300__ $$a21-27 000720751 3367_ $$033$$2EndNote$$aConference Paper 000720751 3367_ $$0PUB:(DE-HGF)7$$2PUB:(DE-HGF)$$aContribution to a book 000720751 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings$$bcontrib$$mcontrib 000720751 3367_ $$2BibTeX$$aINPROCEEDINGS 000720751 3367_ $$2DRIVER$$aconferenceObject 000720751 3367_ $$2DataCite$$aOutput Types/Conference Paper 000720751 3367_ $$2ORCID$$aCONFERENCE_PAPER 000720751 591__ $$aFrance 000720751 591__ $$aGermany 000720751 591__ $$aJapan 000720751 7001_ $$0P:(DE-82)IDM00334$$aTerboven, Christian$$b1$$eCorresponding author$$urwth 000720751 7001_ $$0P:(DE-82)IDM01074$$aMüller, Matthias S.$$b2$$eCorresponding author$$urwth 000720751 7001_ $$aPetiton, Serge G.$$b3$$eCorresponding author 000720751 7001_ $$aEmad, Nahid$$b4$$eCorresponding author 000720751 7001_ $$aMurai, Hitoshi$$b5$$eCorresponding author 000720751 7001_ $$aBoku, Taisuke$$b6$$eCorresponding author 000720751 909CO $$ooai:publications.rwth-aachen.de:720751$$pVDB 000720751 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00506$$aRWTH Aachen$$b0$$kRWTH 000720751 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM00334$$aRWTH Aachen$$b1$$kRWTH 000720751 9101_ $$0I:(DE-588b)36225-6$$6P:(DE-82)IDM01074$$aRWTH Aachen$$b2$$kRWTH 000720751 9151_ $$0StatID:(DE-HGF)0031$$2StatID$$aPeer reviewed article$$x0 000720751 9201_ $$0I:(DE-82)123010_20140620$$k123010$$lLehrstuhl für Informatik 12 (Hochleistungsrechnen)$$x0 000720751 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x1 000720751 9201_ $$0I:(DE-82)022000_20140101$$k022000$$lIT Center$$x2 000720751 961__ $$c2018-03-16$$x2018-03-16$$z2018-03-16 000720751 980__ $$aI:(DE-82)022000_20140101 000720751 980__ $$aI:(DE-82)120000_20140620 000720751 980__ $$aI:(DE-82)123010_20140620 000720751 980__ $$aUNRESTRICTED 000720751 980__ $$aVDB 000720751 980__ $$acontb 000720751 980__ $$acontrib