FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2115626152> ?p ?o ?g. }

• W2115626152 startingPage "16" @default.
• W2115626152 abstract "We present an approach for the translation of imperative code (likeC, C++) into the synchronous formalism Signal, in order to use amodel-checker to verify properties on the source code. Thetranslation uses SSA as an intermediate formalism, and the GCCcompiler as a front-end. The contributions of this paper withrespect to previous work are a more efficient translation scheme,and the management of parallel code. It is applied successfully onsimple SystemC examples." @default.
• W2115626152 created "2016-06-24" @default.
• W2115626152 creator A5010968465 @default.
• W2115626152 creator A5031145902 @default.
• W2115626152 creator A5054272105 @default.
• W2115626152 creator A5061125211 @default.
• W2115626152 creator A5069307391 @default.
• W2115626152 creator A5090647141 @default.
• W2115626152 date "2009-12-17" @default.
• W2115626152 modified "2023-10-10" @default.
• W2115626152 title "Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form" @default.
• W2115626152 cites W1968938035 @default.
• W2115626152 cites W1982205631 @default.
• W2115626152 cites W2031381504 @default.
• W2115626152 cites W2034422907 @default.
• W2115626152 cites W2100500718 @default.
• W2115626152 cites W2110676418 @default.
• W2115626152 cites W2119925465 @default.
• W2115626152 cites W2125316325 @default.
• W2115626152 cites W2127335869 @default.
• W2115626152 cites W2156111152 @default.
• W2115626152 cites W2159542925 @default.
• W2115626152 cites W2164496154 @default.
• W2115626152 cites W2340735175 @default.
• W2115626152 cites W2913459036 @default.
• W2115626152 cites W29972700 @default.
• W2115626152 cites W602793464 @default.
• W2115626152 doi "https://doi.org/10.14279/tuj.eceasst.23.312" @default.
• W2115626152 hasPublicationYear "2009" @default.
• W2115626152 type Work @default.
• W2115626152 sameAs 2115626152 @default.
• W2115626152 citedByCount "9" @default.
• W2115626152 countsByYear W21156261522012 @default.
• W2115626152 countsByYear W21156261522014 @default.
• W2115626152 countsByYear W21156261522016 @default.
• W2115626152 crossrefType "journal-article" @default.
• W2115626152 hasAuthorship W2115626152A5010968465 @default.
• W2115626152 hasAuthorship W2115626152A5031145902 @default.
• W2115626152 hasAuthorship W2115626152A5054272105 @default.
• W2115626152 hasAuthorship W2115626152A5061125211 @default.
• W2115626152 hasAuthorship W2115626152A5069307391 @default.
• W2115626152 hasAuthorship W2115626152A5090647141 @default.
• W2115626152 hasConcept C104317684 @default.
• W2115626152 hasConcept C105580179 @default.
• W2115626152 hasConcept C111919701 @default.
• W2115626152 hasConcept C11413529 @default.
• W2115626152 hasConcept C133162039 @default.
• W2115626152 hasConcept C142362112 @default.
• W2115626152 hasConcept C149364088 @default.
• W2115626152 hasConcept C153349607 @default.
• W2115626152 hasConcept C169590947 @default.
• W2115626152 hasConcept C173608175 @default.
• W2115626152 hasConcept C185592680 @default.
• W2115626152 hasConcept C199360897 @default.
• W2115626152 hasConcept C26517878 @default.
• W2115626152 hasConcept C2776928060 @default.
• W2115626152 hasConcept C41008148 @default.
• W2115626152 hasConcept C55493867 @default.
• W2115626152 hasConcept C558565934 @default.
• W2115626152 hasConcept C73301696 @default.
• W2115626152 hasConcept C80444323 @default.
• W2115626152 hasConceptScore W2115626152C104317684 @default.
• W2115626152 hasConceptScore W2115626152C105580179 @default.
• W2115626152 hasConceptScore W2115626152C111919701 @default.
• W2115626152 hasConceptScore W2115626152C11413529 @default.
• W2115626152 hasConceptScore W2115626152C133162039 @default.
• W2115626152 hasConceptScore W2115626152C142362112 @default.
• W2115626152 hasConceptScore W2115626152C149364088 @default.
• W2115626152 hasConceptScore W2115626152C153349607 @default.
• W2115626152 hasConceptScore W2115626152C169590947 @default.
• W2115626152 hasConceptScore W2115626152C173608175 @default.
• W2115626152 hasConceptScore W2115626152C185592680 @default.
• W2115626152 hasConceptScore W2115626152C199360897 @default.
• W2115626152 hasConceptScore W2115626152C26517878 @default.
• W2115626152 hasConceptScore W2115626152C2776928060 @default.
• W2115626152 hasConceptScore W2115626152C41008148 @default.
• W2115626152 hasConceptScore W2115626152C55493867 @default.
• W2115626152 hasConceptScore W2115626152C558565934 @default.
• W2115626152 hasConceptScore W2115626152C73301696 @default.
• W2115626152 hasConceptScore W2115626152C80444323 @default.
• W2115626152 hasLocation W21156261521 @default.
• W2115626152 hasOpenAccess W2115626152 @default.
• W2115626152 hasPrimaryLocation W21156261521 @default.
• W2115626152 hasRelatedWork W1503977457 @default.
• W2115626152 hasRelatedWork W1556087793 @default.
• W2115626152 hasRelatedWork W1982205631 @default.
• W2115626152 hasRelatedWork W2031381504 @default.
• W2115626152 hasRelatedWork W2040368742 @default.
• W2115626152 hasRelatedWork W2049369293 @default.
• W2115626152 hasRelatedWork W2089853543 @default.
• W2115626152 hasRelatedWork W2125522798 @default.
• W2115626152 hasRelatedWork W2153185479 @default.
• W2115626152 hasRelatedWork W2156111152 @default.
• W2115626152 hasRelatedWork W2160573780 @default.
• W2115626152 hasRelatedWork W2163756016 @default.
• W2115626152 hasRelatedWork W2168455462 @default.
• W2115626152 hasRelatedWork W2248827677 @default.
• W2115626152 hasRelatedWork W2799261831 @default.
• W2115626152 hasRelatedWork W2907344080 @default.

• next