Search results
From MaRDI portal
- 2003-05-11 Paper Array operation synthesis to optimize HPF programs on distributed memory machines 2003-03-19 Paper Parallel sparse supports for array intrinsic...10 bytes (15 words) - 17:59, 10 April 2026
- Paper JGAP: a Java-based graph algorithms platform 2003-02-04 Paper Non-intrusive object introspection in C++ 2002-04-15 Paper Parallel sparse supports for...10 bytes (15 words) - 17:59, 10 April 2026
- decision processes 2017-07-19 Paper Synthesis of interface specifications for Java classes 2017-07-14 Paper Deterministic generators and games for LTL fragments...10 bytes (15 words) - 17:49, 10 April 2026
- Paper Joint feature screening for ultra-high-dimensional sparse additive hazards model by the sparsity-restricted pseudo-score estimator 2019-10-22 Paper Image...10 bytes (14 words) - 05:42, 11 April 2026
- flowfields 2009-12-21 Paper A toolkit for efficient numerical applications in Java 2009-12-21 Paper The development and application of CFD models for water...10 bytes (12 words) - 13:00, 12 April 2026
- languages 2015-10-07 Paper A theory of overloading 2015-10-07 Paper Analyzing Array Manipulating Programs by Program Transformation 2015-10-02 Paper Dominance...10 bytes (15 words) - 19:54, 10 April 2026
- An abstract domain of uninterpreted functions 2016-03-23 Paper Analyzing Array Manipulating Programs by Program Transformation 2015-10-02 Paper https://portal...10 bytes (13 words) - 15:14, 6 October 2023
- 2016-03-23 Paper Automatic minimal-height table layout 2015-12-21 Paper Analyzing Array Manipulating Programs by Program Transformation 2015-10-02 Paper Failure...10 bytes (15 words) - 15:14, 6 October 2023
- Paper Exception analysis for non-strict languages 2015-10-07 Paper Analyzing Array Manipulating Programs by Program Transformation 2015-10-02 Paper Truth versus...10 bytes (13 words) - 15:14, 6 October 2023
- giving Hopf-Galois structures on quaternionic extensions 2019-03-18 Paper Sparse matrix computation for air quality forecast data assimilation 2019-03-18...10 bytes (13 words) - 12:19, 11 April 2026
- mixture algorithm based on geometrical concepts 2002-07-15 Paper Correctness of Java card method lookup via logical relations 2002-07-15 Paper Algorithms, nymphs...10 bytes (12 words) - 23:39, 13 April 2026
- synthesis Using abstract interpretation to add type checking for interfaces in Java bytecode verification Lifting numeric relational domains to algebraic data...15 bytes (815 words) - 04:23, 5 February 2024
- Case \textsc{Rings}: an efficient Java/Scala library for polynomial rings Approximate GCD of several multivariate sparse polynomials based on SLRA interpolation...15 bytes (786 words) - 05:11, 7 March 2024
- verification of floating-point Java programs in KeY Pentagons: a weakly relational abstract domain for the efficient validation of array accesses Termination of...15 bytes (731 words) - 03:27, 7 February 2024
- etc.) (68Q60) Theory of operating systems (68N25) Cited In (59) Verifying array manipulating programs with full-program induction A compact execution history...15 bytes (592 words) - 13:00, 5 February 2024
- data versioning for dependency-aware task-based parallelization A parallel sparse direct solver via hierarchical DAG scheduling A robust and scalable multi-level...12 bytes (354 words) - 07:38, 13 March 2026
- variable modeling paradigms for genotype-trait association studies JavaStat: a Java/R-based statistical computing environment Data science vs. statistics:...15 bytes (557 words) - 21:05, 14 April 2026
- equations based on the matrix sign function \textit{plapackJava}: towards an efficient Java interface for high performance parallel linear algebra Title...12 bytes (575 words) - 14:06, 13 March 2026
- the speed of programs for sparse polynomial multiplication Parallel sparse polynomial multiplication using heaps Parallel sparse polynomial multiplication...15 bytes (232 words) - 16:46, 8 February 2024
- org/10.1007/978-3-030-94583-1_10 Recommendations Publication:4536920 Semi-sparse flow-sensitive pointer analysis Points-to analysis with efficient strong...15 bytes (160 words) - 00:59, 2 February 2024
