Matches in SemOpenAlex for { <https://semopenalex.org/work/W2128202334> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2128202334 abstract "PARFORMAN (PARallel FORMal ANnotation language) is a specification language for expressing the intended behaviour or known types of error conditions when debugging or testing parallel programs. The high-level debugging approach which is supported by PARFORMAN is model-based. Models of intended or faulty behaviour can be succinctly specified in PARFORMAN. These models are then compared with the actual behaviour in terms of execution traces of events, in order to localize possible bugs. PARFORMAN is based on an axiomatic model of target program behaviour. This model, called H-space (history-space), is formally defined through a set of general axioms about three basic relations between events. Events may be sequentially ordered, they may be parallel, or one of them might be included in another composite event. The notion of an event grammar is introduced to describe allowed event patterns over a certain application domain or language. Auxiliary composite events such as snapshots are introduced to be able to define the notion occurred at the same time at suitable levels of abstraction. In addition to debugging and testing, PARFORMAN can also be used to specify profiles and performance measurements. >" @default.
- W2128202334 created "2016-06-24" @default.
- W2128202334 creator A5006145166 @default.
- W2128202334 creator A5076482335 @default.
- W2128202334 date "2002-12-30" @default.
- W2128202334 modified "2023-09-23" @default.
- W2128202334 title "PARFORMAN-an assertion language for specifying behaviour when debugging parallel applications" @default.
- W2128202334 cites W1514468887 @default.
- W2128202334 cites W1546981056 @default.
- W2128202334 cites W1667961720 @default.
- W2128202334 cites W1969884952 @default.
- W2128202334 cites W1973501242 @default.
- W2128202334 cites W2003716256 @default.
- W2128202334 cites W2007840840 @default.
- W2128202334 cites W2044672898 @default.
- W2128202334 cites W2134080718 @default.
- W2128202334 cites W2156018017 @default.
- W2128202334 cites W2997253638 @default.
- W2128202334 doi "https://doi.org/10.1109/empdp.1993.336408" @default.
- W2128202334 hasPublicationYear "2002" @default.
- W2128202334 type Work @default.
- W2128202334 sameAs 2128202334 @default.
- W2128202334 citedByCount "5" @default.
- W2128202334 countsByYear W21282023342013 @default.
- W2128202334 crossrefType "proceedings-article" @default.
- W2128202334 hasAuthorship W2128202334A5006145166 @default.
- W2128202334 hasAuthorship W2128202334A5076482335 @default.
- W2128202334 hasConcept C111472728 @default.
- W2128202334 hasConcept C121332964 @default.
- W2128202334 hasConcept C124304363 @default.
- W2128202334 hasConcept C136388014 @default.
- W2128202334 hasConcept C138885662 @default.
- W2128202334 hasConcept C167729594 @default.
- W2128202334 hasConcept C168065819 @default.
- W2128202334 hasConcept C177264268 @default.
- W2128202334 hasConcept C199360897 @default.
- W2128202334 hasConcept C2524010 @default.
- W2128202334 hasConcept C2778485113 @default.
- W2128202334 hasConcept C2779662365 @default.
- W2128202334 hasConcept C33923547 @default.
- W2128202334 hasConcept C40422974 @default.
- W2128202334 hasConcept C41008148 @default.
- W2128202334 hasConcept C62520636 @default.
- W2128202334 hasConcept C80444323 @default.
- W2128202334 hasConceptScore W2128202334C111472728 @default.
- W2128202334 hasConceptScore W2128202334C121332964 @default.
- W2128202334 hasConceptScore W2128202334C124304363 @default.
- W2128202334 hasConceptScore W2128202334C136388014 @default.
- W2128202334 hasConceptScore W2128202334C138885662 @default.
- W2128202334 hasConceptScore W2128202334C167729594 @default.
- W2128202334 hasConceptScore W2128202334C168065819 @default.
- W2128202334 hasConceptScore W2128202334C177264268 @default.
- W2128202334 hasConceptScore W2128202334C199360897 @default.
- W2128202334 hasConceptScore W2128202334C2524010 @default.
- W2128202334 hasConceptScore W2128202334C2778485113 @default.
- W2128202334 hasConceptScore W2128202334C2779662365 @default.
- W2128202334 hasConceptScore W2128202334C33923547 @default.
- W2128202334 hasConceptScore W2128202334C40422974 @default.
- W2128202334 hasConceptScore W2128202334C41008148 @default.
- W2128202334 hasConceptScore W2128202334C62520636 @default.
- W2128202334 hasConceptScore W2128202334C80444323 @default.
- W2128202334 hasLocation W21282023341 @default.
- W2128202334 hasOpenAccess W2128202334 @default.
- W2128202334 hasPrimaryLocation W21282023341 @default.
- W2128202334 hasRelatedWork W134821771 @default.
- W2128202334 hasRelatedWork W1481732976 @default.
- W2128202334 hasRelatedWork W1526764352 @default.
- W2128202334 hasRelatedWork W1540960243 @default.
- W2128202334 hasRelatedWork W1578505496 @default.
- W2128202334 hasRelatedWork W1792234409 @default.
- W2128202334 hasRelatedWork W1867052887 @default.
- W2128202334 hasRelatedWork W1883667652 @default.
- W2128202334 hasRelatedWork W1973474669 @default.
- W2128202334 hasRelatedWork W2023248017 @default.
- W2128202334 hasRelatedWork W2036191870 @default.
- W2128202334 hasRelatedWork W2077718288 @default.
- W2128202334 hasRelatedWork W2081653863 @default.
- W2128202334 hasRelatedWork W2088126145 @default.
- W2128202334 hasRelatedWork W2090917162 @default.
- W2128202334 hasRelatedWork W2106180000 @default.
- W2128202334 hasRelatedWork W2146225519 @default.
- W2128202334 hasRelatedWork W2147704457 @default.
- W2128202334 hasRelatedWork W2162861813 @default.
- W2128202334 hasRelatedWork W2513970126 @default.
- W2128202334 isParatext "false" @default.
- W2128202334 isRetracted "false" @default.
- W2128202334 magId "2128202334" @default.
- W2128202334 workType "article" @default.