Matches in SemOpenAlex for { <https://semopenalex.org/work/W3114240078> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W3114240078 endingPage "22" @default.
- W3114240078 startingPage "7" @default.
- W3114240078 abstract "An application development and verification method for massively parallel systems using NVIDIA GPUs is proposed. The method allows creating models at different levels of abstraction using the apparatus of marked transition systems. The compositions (product) of such systems are transformed into a Petri net, which are then analyzed by appropriate means. The proposed method allows specifying model properties by temporal logic formulas. This allows studying the properties of massively parallel systems which is almost impossible to analyze manually, since the number of execution threads in the latest NVIDIA video adapter architectures (Pascal, Volta, Turing, Ampere) is measured in hundreds of thousands or millions." @default.
- W3114240078 created "2021-01-05" @default.
- W3114240078 creator A5013629718 @default.
- W3114240078 creator A5042783720 @default.
- W3114240078 creator A5054787090 @default.
- W3114240078 creator A5063354861 @default.
- W3114240078 date "2020-12-07" @default.
- W3114240078 modified "2023-10-01" @default.
- W3114240078 title "Method of semantic application verification in GPGPU technology" @default.
- W3114240078 cites W1487936617 @default.
- W3114240078 cites W1509757908 @default.
- W3114240078 cites W1996109622 @default.
- W3114240078 cites W2580600625 @default.
- W3114240078 cites W2905048846 @default.
- W3114240078 cites W2913459036 @default.
- W3114240078 doi "https://doi.org/10.20535/srit.2308-8893.2020.3.01" @default.
- W3114240078 hasPublicationYear "2020" @default.
- W3114240078 type Work @default.
- W3114240078 sameAs 3114240078 @default.
- W3114240078 citedByCount "0" @default.
- W3114240078 crossrefType "journal-article" @default.
- W3114240078 hasAuthorship W3114240078A5013629718 @default.
- W3114240078 hasAuthorship W3114240078A5042783720 @default.
- W3114240078 hasAuthorship W3114240078A5054787090 @default.
- W3114240078 hasAuthorship W3114240078A5063354861 @default.
- W3114240078 hasBestOaLocation W31142400781 @default.
- W3114240078 hasConcept C111472728 @default.
- W3114240078 hasConcept C111919701 @default.
- W3114240078 hasConcept C118524514 @default.
- W3114240078 hasConcept C124304363 @default.
- W3114240078 hasConcept C138885662 @default.
- W3114240078 hasConcept C173608175 @default.
- W3114240078 hasConcept C190475519 @default.
- W3114240078 hasConcept C199360897 @default.
- W3114240078 hasConcept C21442007 @default.
- W3114240078 hasConcept C2778119891 @default.
- W3114240078 hasConcept C41008148 @default.
- W3114240078 hasConcept C50630238 @default.
- W3114240078 hasConcept C75608658 @default.
- W3114240078 hasConcept C80444323 @default.
- W3114240078 hasConcept C9870796 @default.
- W3114240078 hasConceptScore W3114240078C111472728 @default.
- W3114240078 hasConceptScore W3114240078C111919701 @default.
- W3114240078 hasConceptScore W3114240078C118524514 @default.
- W3114240078 hasConceptScore W3114240078C124304363 @default.
- W3114240078 hasConceptScore W3114240078C138885662 @default.
- W3114240078 hasConceptScore W3114240078C173608175 @default.
- W3114240078 hasConceptScore W3114240078C190475519 @default.
- W3114240078 hasConceptScore W3114240078C199360897 @default.
- W3114240078 hasConceptScore W3114240078C21442007 @default.
- W3114240078 hasConceptScore W3114240078C2778119891 @default.
- W3114240078 hasConceptScore W3114240078C41008148 @default.
- W3114240078 hasConceptScore W3114240078C50630238 @default.
- W3114240078 hasConceptScore W3114240078C75608658 @default.
- W3114240078 hasConceptScore W3114240078C80444323 @default.
- W3114240078 hasConceptScore W3114240078C9870796 @default.
- W3114240078 hasIssue "3" @default.
- W3114240078 hasLocation W31142400781 @default.
- W3114240078 hasLocation W31142400782 @default.
- W3114240078 hasOpenAccess W3114240078 @default.
- W3114240078 hasPrimaryLocation W31142400781 @default.
- W3114240078 hasRelatedWork W1997523440 @default.
- W3114240078 hasRelatedWork W2016939324 @default.
- W3114240078 hasRelatedWork W2080914619 @default.
- W3114240078 hasRelatedWork W2137218050 @default.
- W3114240078 hasRelatedWork W2480153715 @default.
- W3114240078 hasRelatedWork W2893090833 @default.
- W3114240078 hasRelatedWork W2932894012 @default.
- W3114240078 hasRelatedWork W2982613029 @default.
- W3114240078 hasRelatedWork W4220853281 @default.
- W3114240078 hasRelatedWork W3214851784 @default.
- W3114240078 hasVolume "0" @default.
- W3114240078 isParatext "false" @default.
- W3114240078 isRetracted "false" @default.
- W3114240078 magId "3114240078" @default.
- W3114240078 workType "article" @default.