Search results
From MaRDI portal
- Publication Type Parallel-loop-execution technology for implementation on vector processor 1995-08-06 Paper Piecewise linear paralleling of program loops with linear...10 bytes (15 words) - 09:21, 24 September 2023
- 1993-01-23 Paper Loop vectorizers 1992-06-25 Paper https://portal.mardi4nfdi.de/entity/Q3357527 1986-01-01 Paper Parallel execution of general loops by the pyramid...10 bytes (14 words) - 09:14, 24 September 2023
- affine loop nests 1997-02-27 Paper Resource-constrained scheduling of partitioned algorithms on processor arrays 1997-02-27 Paper Mapping uniform loop nests...10 bytes (13 words) - 11:28, 28 January 2024
- {2}}}} \times {S^3}\) 2015-03-06 Paper Timing Analysis of Parallel Software Using Abstract Execution 2015-01-13 Paper Five-dimensional super Yang-Mills theory...10 bytes (13 words) - 20:23, 24 September 2023
- analysis and planning of processes of parallel execution of functional programs 2007-10-30 Paper Flowgraph stream parallel programming and its implementation...10 bytes (15 words) - 11:11, 6 October 2023
- inferring proven precise worst-case execution time bounds using symbolic execution 2017-02-06 Paper Symbolic Loop Bound Computation for WCET Analysis 2015-12-07...10 bytes (13 words) - 09:04, 6 October 2023
- Paper Loop reduction techniques for reachability analysis of linear hybrid automata 2022-10-28 Paper Machine learning steered symbolic execution framework...10 bytes (13 words) - 20:26, 24 September 2023
- agent based push methodology for global parallel computing 2003-01-27 Paper Stochastic prediction of execution time for dynamic bulk synchronous computations...10 bytes (15 words) - 17:43, 9 December 2023
- Transparent partial order reduction 2012-09-27 Paper Loop Invariant Symbolic Execution for Parallel Programs 2012-06-15 Paper Collective Assertions 2011-02-15...10 bytes (16 words) - 09:01, 6 October 2023
- Publication Date of Publication Type Parallelization of affine loop nests for a given distribution of operations over processors...10 bytes (15 words) - 02:29, 13 December 2023
- Statically Greedy and Dynamically Adaptive Approach for Speculative Loop Execution 2017-07-12 Paper Compiler Construction 2007-09-28 Paper Interprocedural...10 bytes (17 words) - 11:54, 24 September 2023
- reachability in stochastic BPA games 2011-10-10 Paper Efficient Loop Navigation for Symbolic Execution 2011-10-07 Paper Are There Any Good Digraph Width Measures...10 bytes (13 words) - 02:05, 25 September 2023
- de/entity/Q4271555 1993-11-24 Paper Loop vectorizers 1992-06-25 Paper Parallel execution of program loops 1983-01-01 Paper Paralleling loops with an arbitrary step...10 bytes (15 words) - 13:15, 24 September 2023
- homogeneous dependences on (\(d\)-2)-dimensional parallel architectures 2003-09-09 Paper A method for parallelizing algorithms by vector scheduling functions...10 bytes (15 words) - 06:27, 7 October 2023
- Statically Greedy and Dynamically Adaptive Approach for Speculative Loop Execution 2017-07-12 Paper Combining spot and futures markets: a hybrid market...10 bytes (13 words) - 12:24, 7 October 2023
- enhancing WWW application performance 1998-11-05 Paper On the parallel complexity of loops 1998-07-22 Paper On the Complexity of Commutativity Analysis...10 bytes (17 words) - 18:26, 9 December 2023
- elucidating the possibilities of parallel execution 1983-01-01 Paper Evaluating the efficiency of parallel job execution 1982-01-01 Paper...10 bytes (15 words) - 21:10, 22 September 2023
- hierarchies associated with a new class of higher-dimensional column-vector loop algebras 2022-06-25 Paper Dynamics of a delayed within host model for dengue...10 bytes (14 words) - 00:20, 12 December 2023
- high-performance scientific computing 2013-05-16 Paper Loop Invariant Symbolic Execution for Parallel Programs 2012-06-15 Paper Collective Assertions 2011-02-15...10 bytes (15 words) - 21:07, 24 September 2023
- distribution model for scheduling of unrelated parallel machines 2006-07-13 Paper Solving the one-loop soliton solution of the Vakhnenko equation by means...10 bytes (13 words) - 13:04, 10 December 2023
