Results 311 to 320 of about 52,467,368 (351)
Some of the next articles are maybe not open access.
Parallel Data-Flow Analysis of Explicitly Parallel Programs
1999In terms of program verification data-flow analysis (DFA) is commonly understood as the computation of the strongest postcondition for every program point with respect to a precondition which is assured to be valid at the entry of the program. Here, we consider DFA under the dual weakest precondition view of program verification.
openaire +2 more sources
Is categorization of random data necessary for parallel analysis on Likert-type data?
Communications in statistics. Simulation and computation, 2017L. Weng, Chung-Ping Cheng
semanticscholar +1 more source
Parallelism in constant comparison analysis
Research in Nursing & Health, 2011Margarete, Sandelowski, Cary C, Boshamer
openaire +2 more sources
Latest developments in nanofluid flow and heat transfer between parallel surfaces: A critical review
Advances in Colloid and Interface Science, 2021Goodarz Ahmadi +2 more
exaly
May-Happen-in-Parallel Analysis for Actor-Based Concurrency
ACM Transactions on Computational Logic, 2015E. Albert +3 more
semanticscholar +1 more source
Parallel distributed viewshed analysis
Proceedings of the 6th ACM international symposium on Advances in geographic information systems, 1998J. Andrew Ware +2 more
openaire +2 more sources