research
          
      
      ∙
      08/12/2022
    Modeling Task Mapping for Data-intensive Applications in Heterogeneous Systems
We introduce a new model for the task mapping problem to aid in the syst...
          
            research
          
      
      ∙
      04/03/2019
    Internal versus external balancing in the evaluation of graph-based number types
Number types for exact computation are usually based on directed acyclic...
          
            research
          
      
      ∙
      07/11/2018
    On error representation in exact-decisions number types
Accuracy-driven computation is a strategy widely used in exact-decisions...
          
            research
          
      
      ∙
      04/09/2018
    Restructuring expression dags for efficient parallelization
In the field of robust geometric computation it is often necessary to ma...
          
            research
          
      
      ∙
      02/19/2018
    Multithreading for the expression-dag-based number type Real_algebraic
Many algorithms, especially in the field of computational geometry, are ...
          
            research
          
      
      ∙
      10/12/2017
     
             
  
  
     
                             share
 share