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) - 12:55, 6 October 2023
- 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) - 12:55, 6 October 2023
- 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) - 14: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) - 14: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) - 14:14, 6 October 2023
- 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) - 04:20, 9 December 2023
- 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) - 01:48, 12 December 2023
- languages 2015-10-07 Paper A theory of overloading 2015-10-07 Paper Analyzing Array Manipulating Programs by Program Transformation 2015-10-02 Paper Explaining...10 bytes (15 words) - 23:40, 9 December 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) - 07:10, 7 October 2023
- 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) - 20:03, 22 September 2023
- 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) - 15:16, 24 September 2023
- synthesis Using abstract interpretation to add type checking for interfaces in Java bytecode verification Symbolic Model Checking in Non-Boolean Domains Lifting...15 bytes (807 words) - 03: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 (785 words) - 04:11, 7 March 2024
- Generic abstraction of dictionaries and arrays The octagon abstract domain for continuous constraints A sparse evaluation technique for detailed semantic...15 bytes (1,103 words) - 14:49, 30 January 2024
- control dependencies Static slicing of explicitly synchronized languages A sparse evaluation technique for detailed semantic analyses Optimization of a data...15 bytes (519 words) - 12:00, 5 February 2024
- Strategies via SMT Solving A sparse evaluation technique for detailed semantic analyses Sawja: Static Analysis Workshop for Java A minimalistic look at widening...15 bytes (639 words) - 02:27, 7 February 2024
- variable modeling paradigms for genotype-trait association studies JavaStat: a Java/R-based statistical computing environment Data science vs. statistics:...15 bytes (557 words) - 06:43, 3 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 (164 words) - 23:59, 1 February 2024
- the speed of programs for sparse polynomial multiplication Parallel sparse polynomial multiplication using heaps Parallel sparse polynomial multiplication...15 bytes (187 words) - 15:46, 8 February 2024
- program flow graphs The Birth of Model Checking Algebraic program analysis On sparse evaluation representations Finite constants: Characterizations of a new...15 bytes (529 words) - 04:56, 6 February 2024
