FRINK Linked Data Fragments server

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

• W73694304 abstract "We propose an approach for detecting deadlocks and race conditions in Ada tasking software. It is based on an extension to Petri net-based techniques, where a concurrent program is modeled as a Petri net and a reachability graph is then derived and analyzed for desired information. In this approach, Predicate-Action subnets representing Ada programming constructs are described, where predicates and actions are attached to transitions. Predicates are those found in decision statements. Actions involve updating the status of the variables that affect the tasking behavior of the program and updating the Read and Write sets of shared variables. The shared variables are those occurring in sections of the program, called concurrency zones, related to the transitions. Modeling of a tasking program is accomplished by using the basic subnets as building blocks in translating only taskingrelated statements and connecting them to produce the total Predicate-Action net model augmented with sets of shared variables. An augmented reachability graph is then derived by executing the net model. Deadlocks and race conditions are detected by searching the nodes of this graph. The main advantage offered by this approach is that the Predicate-Action extension of the net leads to pruning infeasible paths in the reachability graph and, thus, reducing the spurious error reports encountered in previous approaches. Also, this approach enables a partial handling of loops in a practical way. Implementation issues are aslo discussed in the paper." @default.
• W73694304 created "2016-06-24" @default.
• W73694304 creator A5026709888 @default.
• W73694304 creator A5081492188 @default.
• W73694304 date "1990-01-01" @default.
• W73694304 modified "2023-09-27" @default.
• W73694304 title "An Approach for Minimizing Spurious Errors in Testing ADA Tasking Programs" @default.
• W73694304 cites W137811642 @default.
• W73694304 cites W141158723 @default.
• W73694304 cites W1523877423 @default.
• W73694304 cites W1534926211 @default.
• W73694304 cites W1968788085 @default.
• W73694304 cites W1984909114 @default.
• W73694304 cites W1990553077 @default.
• W73694304 cites W1994188141 @default.
• W73694304 cites W1994350081 @default.
• W73694304 cites W1996158062 @default.
• W73694304 cites W1999127935 @default.
• W73694304 cites W2006159725 @default.
• W73694304 cites W2014892186 @default.
• W73694304 cites W2024035132 @default.
• W73694304 cites W2043683472 @default.
• W73694304 cites W2078853139 @default.
• W73694304 cites W2083559580 @default.
• W73694304 cites W2089255804 @default.
• W73694304 cites W2101592401 @default.
• W73694304 cites W2109935657 @default.
• W73694304 cites W2110349434 @default.
• W73694304 cites W2110425399 @default.
• W73694304 cites W2118895024 @default.
• W73694304 cites W2120118149 @default.
• W73694304 cites W2125281675 @default.
• W73694304 cites W2129719707 @default.
• W73694304 cites W2131774441 @default.
• W73694304 cites W2137368732 @default.
• W73694304 cites W2141981779 @default.
• W73694304 cites W2152053699 @default.
• W73694304 cites W2157597221 @default.
• W73694304 cites W2159160030 @default.
• W73694304 cites W2170742071 @default.
• W73694304 cites W2172035080 @default.
• W73694304 cites W2342626929 @default.
• W73694304 cites W3144368627 @default.
• W73694304 cites W78086918 @default.
• W73694304 cites W95732741 @default.
• W73694304 cites W114781614 @default.
• W73694304 hasPublicationYear "1990" @default.
• W73694304 type Work @default.
• W73694304 sameAs 73694304 @default.
• W73694304 citedByCount "0" @default.
• W73694304 crossrefType "journal-article" @default.
• W73694304 hasAuthorship W73694304A5026709888 @default.
• W73694304 hasAuthorship W73694304A5081492188 @default.
• W73694304 hasConcept C110251889 @default.
• W73694304 hasConcept C119857082 @default.
• W73694304 hasConcept C132525143 @default.
• W73694304 hasConcept C136643341 @default.
• W73694304 hasConcept C140146324 @default.
• W73694304 hasConcept C15569618 @default.
• W73694304 hasConcept C193702766 @default.
• W73694304 hasConcept C199360897 @default.
• W73694304 hasConcept C2779907942 @default.
• W73694304 hasConcept C38677869 @default.
• W73694304 hasConcept C41008148 @default.
• W73694304 hasConcept C80444323 @default.
• W73694304 hasConcept C97256817 @default.
• W73694304 hasConceptScore W73694304C110251889 @default.
• W73694304 hasConceptScore W73694304C119857082 @default.
• W73694304 hasConceptScore W73694304C132525143 @default.
• W73694304 hasConceptScore W73694304C136643341 @default.
• W73694304 hasConceptScore W73694304C140146324 @default.
• W73694304 hasConceptScore W73694304C15569618 @default.
• W73694304 hasConceptScore W73694304C193702766 @default.
• W73694304 hasConceptScore W73694304C199360897 @default.
• W73694304 hasConceptScore W73694304C2779907942 @default.
• W73694304 hasConceptScore W73694304C38677869 @default.
• W73694304 hasConceptScore W73694304C41008148 @default.
• W73694304 hasConceptScore W73694304C80444323 @default.
• W73694304 hasConceptScore W73694304C97256817 @default.
• W73694304 hasLocation W736943041 @default.
• W73694304 hasOpenAccess W73694304 @default.
• W73694304 hasPrimaryLocation W736943041 @default.
• W73694304 hasRelatedWork W1482490768 @default.
• W73694304 hasRelatedWork W1487180813 @default.
• W73694304 hasRelatedWork W149306500 @default.
• W73694304 hasRelatedWork W1509566592 @default.
• W73694304 hasRelatedWork W1596910966 @default.
• W73694304 hasRelatedWork W1600524192 @default.
• W73694304 hasRelatedWork W1830888658 @default.
• W73694304 hasRelatedWork W1965345552 @default.
• W73694304 hasRelatedWork W2129719707 @default.
• W73694304 hasRelatedWork W2131774441 @default.
• W73694304 hasRelatedWork W2166088204 @default.
• W73694304 hasRelatedWork W2167421399 @default.
• W73694304 hasRelatedWork W2343546971 @default.
• W73694304 hasRelatedWork W2387633336 @default.
• W73694304 hasRelatedWork W2505211816 @default.
• W73694304 hasRelatedWork W2738455 @default.
• W73694304 hasRelatedWork W3146832026 @default.
• W73694304 hasRelatedWork W3156385761 @default.

• next