FRINK Linked Data Fragments server

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

• W2400172013 abstract "Static alias analysis of different type of programming languages has been drawing researcher attention. However most of the results of existing techniques for alias analysis are not precise enough compared to needs of modern compilers. Probabilistic versions of these results, in which result elements are associated with occurrence probabilities, are required in optimizations techniques of modern compilers. This paper presents a new probabilistic approach for alias analysis of parallel programs. The treated parallelism model is that of SPMD where in SPMD, a program is executed using a fixed number of program threads running on distributed machines on different data. The analyzed programs are assumed to be in the static single assignment (SSA) form which is a program representation form facilitating program analysis. The proposed technique has the form of simply-strictured system of inference rules. This enables using the system in applications like Proof-Carrying Code (PPC) which is a general technique for proving the safety characteristics of modern programs." @default.
• W2400172013 created "2016-06-24" @default.
• W2400172013 creator A5028706251 @default.
• W2400172013 creator A5091481030 @default.
• W2400172013 date "2014-05-17" @default.
• W2400172013 modified "2023-10-01" @default.
• W2400172013 title "Probabilistic Alias Analysis for Parallel Programming in SSA Forms." @default.
• W2400172013 cites W1487768149 @default.
• W2400172013 cites W1563221445 @default.
• W2400172013 cites W1569687366 @default.
• W2400172013 cites W176800827 @default.
• W2400172013 cites W1871888148 @default.
• W2400172013 cites W1886109164 @default.
• W2400172013 cites W1933954171 @default.
• W2400172013 cites W1939156462 @default.
• W2400172013 cites W1975514947 @default.
• W2400172013 cites W1980250295 @default.
• W2400172013 cites W1985805804 @default.
• W2400172013 cites W1986274003 @default.
• W2400172013 cites W1988404374 @default.
• W2400172013 cites W1995268554 @default.
• W2400172013 cites W2002603140 @default.
• W2400172013 cites W2009628291 @default.
• W2400172013 cites W2019364330 @default.
• W2400172013 cites W2023832055 @default.
• W2400172013 cites W2037303555 @default.
• W2400172013 cites W2043142879 @default.
• W2400172013 cites W2043352145 @default.
• W2400172013 cites W2062427390 @default.
• W2400172013 cites W2064514251 @default.
• W2400172013 cites W2069602409 @default.
• W2400172013 cites W2100384943 @default.
• W2400172013 cites W2117576153 @default.
• W2400172013 cites W2122035863 @default.
• W2400172013 cites W2125615564 @default.
• W2400172013 cites W2131093354 @default.
• W2400172013 cites W2142814979 @default.
• W2400172013 cites W2144967824 @default.
• W2400172013 cites W2145560261 @default.
• W2400172013 cites W2148390433 @default.
• W2400172013 cites W2152366960 @default.
• W2400172013 cites W2159507384 @default.
• W2400172013 cites W2168217690 @default.
• W2400172013 cites W2403803386 @default.
• W2400172013 cites W588924597 @default.
• W2400172013 hasPublicationYear "2014" @default.
• W2400172013 type Work @default.
• W2400172013 sameAs 2400172013 @default.
• W2400172013 citedByCount "0" @default.
• W2400172013 crossrefType "posted-content" @default.
• W2400172013 hasAuthorship W2400172013A5028706251 @default.
• W2400172013 hasAuthorship W2400172013A5091481030 @default.
• W2400172013 hasConcept C128916667 @default.
• W2400172013 hasConcept C154945302 @default.
• W2400172013 hasConcept C169590947 @default.
• W2400172013 hasConcept C173608175 @default.
• W2400172013 hasConcept C199360897 @default.
• W2400172013 hasConcept C41008148 @default.
• W2400172013 hasConcept C46681722 @default.
• W2400172013 hasConcept C49937458 @default.
• W2400172013 hasConcept C7042729 @default.
• W2400172013 hasConcept C77088390 @default.
• W2400172013 hasConcept C80444323 @default.
• W2400172013 hasConcept C97686452 @default.
• W2400172013 hasConcept C98183937 @default.
• W2400172013 hasConceptScore W2400172013C128916667 @default.
• W2400172013 hasConceptScore W2400172013C154945302 @default.
• W2400172013 hasConceptScore W2400172013C169590947 @default.
• W2400172013 hasConceptScore W2400172013C173608175 @default.
• W2400172013 hasConceptScore W2400172013C199360897 @default.
• W2400172013 hasConceptScore W2400172013C41008148 @default.
• W2400172013 hasConceptScore W2400172013C46681722 @default.
• W2400172013 hasConceptScore W2400172013C49937458 @default.
• W2400172013 hasConceptScore W2400172013C7042729 @default.
• W2400172013 hasConceptScore W2400172013C77088390 @default.
• W2400172013 hasConceptScore W2400172013C80444323 @default.
• W2400172013 hasConceptScore W2400172013C97686452 @default.
• W2400172013 hasConceptScore W2400172013C98183937 @default.
• W2400172013 hasLocation W24001720131 @default.
• W2400172013 hasOpenAccess W2400172013 @default.
• W2400172013 hasPrimaryLocation W24001720131 @default.
• W2400172013 hasRelatedWork W1536215324 @default.
• W2400172013 hasRelatedWork W1547870851 @default.
• W2400172013 hasRelatedWork W1584616449 @default.
• W2400172013 hasRelatedWork W177526596 @default.
• W2400172013 hasRelatedWork W1964964259 @default.
• W2400172013 hasRelatedWork W1973303316 @default.
• W2400172013 hasRelatedWork W2063116866 @default.
• W2400172013 hasRelatedWork W2096139068 @default.
• W2400172013 hasRelatedWork W2097118641 @default.
• W2400172013 hasRelatedWork W2131852740 @default.
• W2400172013 hasRelatedWork W2139770854 @default.
• W2400172013 hasRelatedWork W2141227144 @default.
• W2400172013 hasRelatedWork W2159873945 @default.
• W2400172013 hasRelatedWork W2165554657 @default.
• W2400172013 hasRelatedWork W2244035859 @default.
• W2400172013 hasRelatedWork W2299981426 @default.
• W2400172013 hasRelatedWork W2468310880 @default.
• W2400172013 hasRelatedWork W2490972876 @default.
• W2400172013 hasRelatedWork W2514003345 @default.

• next