The Experts below are selected from a list of 156 Experts worldwide ranked by ideXlab platform

Francesco Ricca - One of the best experts on this subject based on the ideXlab platform.

  • INAP/WLP - Unit Testing in ASPIDE
    Lecture Notes in Computer Science, 2013
    Co-Authors: Onofrio Febbraro, Kristian Reale, Nicola Leone, Francesco Ricca
    Abstract:

    Answer Set Programming (ASP) is a declarative logic programming formalism, which is employed nowadays in both academic and industrial real-world applications. Although some tools for supporting the development of ASP programs have been proposed in the last few years, the crucial task of testing ASP programs received less attention and it is an Achilles’ heel of the available programming environments. In this paper we present a language for specifying and running unit tests on ASP programs. The testing language was implemented in ASPIDE, a comprehensive IDE for ASP, which supports the entire life cycle of ASP development with a collection of user-friendly graphical tools for program composition, testing, debugging, profiling, solver Execution Configuration, and output handling.

  • Unit Testing in ASPIDE
    arXiv: Programming Languages, 2011
    Co-Authors: Onofrio Febbraro, Kristian Reale, Nicola Leone, Francesco Ricca
    Abstract:

    Answer Set Programming (ASP) is a declarative logic programming formalism, which is employed nowadays in both academic and industrial real-world applications. Although some tools for supporting the development of ASP programs have been proposed in the last few years, the crucial task of testing ASP programs received less attention, and is an Achilles' heel of the available programming environments. In this paper we present a language for specifying and running unit tests on ASP programs. The testing language has been implemented in ASPIDE, a comprehensive IDE for ASP, which supports the entire life-cycle of ASP development with a collection of user-friendly graphical tools for program composition, testing, debugging, profiling, solver Execution Configuration, and output-handling.

  • aspide integrated development environment for answer set programming
    International Conference on Logic Programming, 2011
    Co-Authors: Onofrio Febbraro, Kristian Reale, Francesco Ricca
    Abstract:

    Answer Set Programming (ASP) is a truly-declarative programming paradigm proposed in the area of non-monotonic reasoning and logic programming. In the last few years, several tools for ASP-program development have been proposed, including (more or less advanced) editors and debuggers. However, ASP still lacks an Integrated Development Environment (IDE) supporting the entire life-cycle of ASP development, from (assisted) programs editing to application deployment. In this paper we present ASPIDE, a comprehensive IDE for ASP, integrating a cutting-edge editing tool (featuring dynamic syntax highlighting, on-line syntax correction, autocompletion, code-templates, quick-fixes, refactoring, etc.) with a collection of user-friendly graphical tools for program composition, debugging, profiling, database access, solver Execution Configuration and output-handling.

  • LPNMR - ASPIDE: integrated development environment for answer set programming
    Logic Programming and Nonmonotonic Reasoning, 2011
    Co-Authors: Onofrio Febbraro, Kristian Reale, Francesco Ricca
    Abstract:

    Answer Set Programming (ASP) is a truly-declarative programming paradigm proposed in the area of non-monotonic reasoning and logic programming. In the last few years, several tools for ASP-program development have been proposed, including (more or less advanced) editors and debuggers. However, ASP still lacks an Integrated Development Environment (IDE) supporting the entire life-cycle of ASP development, from (assisted) programs editing to application deployment. In this paper we present ASPIDE, a comprehensive IDE for ASP, integrating a cutting-edge editing tool (featuring dynamic syntax highlighting, on-line syntax correction, autocompletion, code-templates, quick-fixes, refactoring, etc.) with a collection of user-friendly graphical tools for program composition, debugging, profiling, database access, solver Execution Configuration and output-handling.

  • CILC - Testing ASP programs in ASPIDE.
    2011
    Co-Authors: Onofrio Febbraro, Kristian Reale, Francesco Ricca
    Abstract:

    Answer Set Programming (ASP) is a declarative logic programming formalism, which nowadays counts several advanced real-world applications, and has stimulated some interest also in industry. Although some environments for ASP-program development have been proposed in the last few years, the crucial task of testing ASP programs received less attention, and is an Achilles’ heel of the available programming environments. In this paper we present a new language for specifying and running unit tests on ASP programs. The testing language has been implemented in ASPIDE, a comprehensive IDE for ASP, which supports the entire life-cycle of ASP development with a collection of user-friendly graphical tools for program composition, testing, debugging, profiling, solver Execution Configuration, and output-handling.

Onofrio Febbraro - One of the best experts on this subject based on the ideXlab platform.

  • INAP/WLP - Unit Testing in ASPIDE
    Lecture Notes in Computer Science, 2013
    Co-Authors: Onofrio Febbraro, Kristian Reale, Nicola Leone, Francesco Ricca
    Abstract:

    Answer Set Programming (ASP) is a declarative logic programming formalism, which is employed nowadays in both academic and industrial real-world applications. Although some tools for supporting the development of ASP programs have been proposed in the last few years, the crucial task of testing ASP programs received less attention and it is an Achilles’ heel of the available programming environments. In this paper we present a language for specifying and running unit tests on ASP programs. The testing language was implemented in ASPIDE, a comprehensive IDE for ASP, which supports the entire life cycle of ASP development with a collection of user-friendly graphical tools for program composition, testing, debugging, profiling, solver Execution Configuration, and output handling.

  • Unit Testing in ASPIDE
    arXiv: Programming Languages, 2011
    Co-Authors: Onofrio Febbraro, Kristian Reale, Nicola Leone, Francesco Ricca
    Abstract:

    Answer Set Programming (ASP) is a declarative logic programming formalism, which is employed nowadays in both academic and industrial real-world applications. Although some tools for supporting the development of ASP programs have been proposed in the last few years, the crucial task of testing ASP programs received less attention, and is an Achilles' heel of the available programming environments. In this paper we present a language for specifying and running unit tests on ASP programs. The testing language has been implemented in ASPIDE, a comprehensive IDE for ASP, which supports the entire life-cycle of ASP development with a collection of user-friendly graphical tools for program composition, testing, debugging, profiling, solver Execution Configuration, and output-handling.

  • aspide integrated development environment for answer set programming
    International Conference on Logic Programming, 2011
    Co-Authors: Onofrio Febbraro, Kristian Reale, Francesco Ricca
    Abstract:

    Answer Set Programming (ASP) is a truly-declarative programming paradigm proposed in the area of non-monotonic reasoning and logic programming. In the last few years, several tools for ASP-program development have been proposed, including (more or less advanced) editors and debuggers. However, ASP still lacks an Integrated Development Environment (IDE) supporting the entire life-cycle of ASP development, from (assisted) programs editing to application deployment. In this paper we present ASPIDE, a comprehensive IDE for ASP, integrating a cutting-edge editing tool (featuring dynamic syntax highlighting, on-line syntax correction, autocompletion, code-templates, quick-fixes, refactoring, etc.) with a collection of user-friendly graphical tools for program composition, debugging, profiling, database access, solver Execution Configuration and output-handling.

  • LPNMR - ASPIDE: integrated development environment for answer set programming
    Logic Programming and Nonmonotonic Reasoning, 2011
    Co-Authors: Onofrio Febbraro, Kristian Reale, Francesco Ricca
    Abstract:

    Answer Set Programming (ASP) is a truly-declarative programming paradigm proposed in the area of non-monotonic reasoning and logic programming. In the last few years, several tools for ASP-program development have been proposed, including (more or less advanced) editors and debuggers. However, ASP still lacks an Integrated Development Environment (IDE) supporting the entire life-cycle of ASP development, from (assisted) programs editing to application deployment. In this paper we present ASPIDE, a comprehensive IDE for ASP, integrating a cutting-edge editing tool (featuring dynamic syntax highlighting, on-line syntax correction, autocompletion, code-templates, quick-fixes, refactoring, etc.) with a collection of user-friendly graphical tools for program composition, debugging, profiling, database access, solver Execution Configuration and output-handling.

  • CILC - Testing ASP programs in ASPIDE.
    2011
    Co-Authors: Onofrio Febbraro, Kristian Reale, Francesco Ricca
    Abstract:

    Answer Set Programming (ASP) is a declarative logic programming formalism, which nowadays counts several advanced real-world applications, and has stimulated some interest also in industry. Although some environments for ASP-program development have been proposed in the last few years, the crucial task of testing ASP programs received less attention, and is an Achilles’ heel of the available programming environments. In this paper we present a new language for specifying and running unit tests on ASP programs. The testing language has been implemented in ASPIDE, a comprehensive IDE for ASP, which supports the entire life-cycle of ASP development with a collection of user-friendly graphical tools for program composition, testing, debugging, profiling, solver Execution Configuration, and output-handling.

Jürgen Teich - One of the best experts on this subject based on the ideXlab platform.

  • Efficient Mapping of Streaming Applications for Image Processing on Graphics Cards
    Transactions on High-Performance Embedded Architectures and Compilers V, 2019
    Co-Authors: Richard Membarth, Frank Hannig, Hritam Dutta, Jürgen Teich
    Abstract:

    In the last decade, there has been a dramatic growth in research and development of massively parallel commodity graphics hardware both in academia and industry. Graphics card architectures provide an optimal platform for parallel Execution of many number crunching loop programs from fields like image processing or linear algebra. However, it is hard to efficiently map such algorithms to the graphics hardware even with detailed insight into the architecture. This paper presents a multiresolution image processing algorithm and shows the efficient mapping of this type of algorithms to graphics hardware as well as double buffering concepts to hide memory transfers. Furthermore, the impact of Execution Configuration is illustrated and a method is proposed to determine offline the best Configuration. Using CUDA as programming model, it is demonstrated that the image processing algorithm is significantly accelerated and that a speedup of more than \(145\times \) can be achieved on NVIDIA’s Tesla C1060 compared to a parallelized implementation on a Xeon Quad Core. For deployment in a streaming application with steadily new incoming data, it is shown that the memory transfer overhead to the graphics card is reduced by a factor of six using double buffering.

  • SAMOS - Efficient Mapping of Multiresolution Image Filtering Algorithms on Graphics Processors
    Lecture Notes in Computer Science, 2009
    Co-Authors: Richard Membarth, Frank Hannig, Hritam Dutta, Jürgen Teich
    Abstract:

    In the last decade, there has been a dramatic growth in research and development of massively parallel commodity graphics hardware both in academia and industry. Graphics card architectures provide an optimal platform for parallel Execution of many number crunching loop programs from fields like image processing, linear algebra, etc. However, it is hard to efficiently map such algorithms to the graphics hardware even with detailed insight into the architecture. This paper presents a multiresolution image processing algorithm and shows the efficient mapping of this type of algorithms to the graphics hardware. Furthermore, the impact of Execution Configuration is illustrated and a method is proposed to determine the best Configuration offline in order to use it at run-time. Using CUDA as programming model, it is demonstrated that the image processing algorithm is significantly accelerated and that a speedup of up to 33x can be achieved on NVIDIA's Tesla C870 compared to a parallelized implementation on a Xeon Quad Core.

Kristian Reale - One of the best experts on this subject based on the ideXlab platform.

  • INAP/WLP - Unit Testing in ASPIDE
    Lecture Notes in Computer Science, 2013
    Co-Authors: Onofrio Febbraro, Kristian Reale, Nicola Leone, Francesco Ricca
    Abstract:

    Answer Set Programming (ASP) is a declarative logic programming formalism, which is employed nowadays in both academic and industrial real-world applications. Although some tools for supporting the development of ASP programs have been proposed in the last few years, the crucial task of testing ASP programs received less attention and it is an Achilles’ heel of the available programming environments. In this paper we present a language for specifying and running unit tests on ASP programs. The testing language was implemented in ASPIDE, a comprehensive IDE for ASP, which supports the entire life cycle of ASP development with a collection of user-friendly graphical tools for program composition, testing, debugging, profiling, solver Execution Configuration, and output handling.

  • Unit Testing in ASPIDE
    arXiv: Programming Languages, 2011
    Co-Authors: Onofrio Febbraro, Kristian Reale, Nicola Leone, Francesco Ricca
    Abstract:

    Answer Set Programming (ASP) is a declarative logic programming formalism, which is employed nowadays in both academic and industrial real-world applications. Although some tools for supporting the development of ASP programs have been proposed in the last few years, the crucial task of testing ASP programs received less attention, and is an Achilles' heel of the available programming environments. In this paper we present a language for specifying and running unit tests on ASP programs. The testing language has been implemented in ASPIDE, a comprehensive IDE for ASP, which supports the entire life-cycle of ASP development with a collection of user-friendly graphical tools for program composition, testing, debugging, profiling, solver Execution Configuration, and output-handling.

  • aspide integrated development environment for answer set programming
    International Conference on Logic Programming, 2011
    Co-Authors: Onofrio Febbraro, Kristian Reale, Francesco Ricca
    Abstract:

    Answer Set Programming (ASP) is a truly-declarative programming paradigm proposed in the area of non-monotonic reasoning and logic programming. In the last few years, several tools for ASP-program development have been proposed, including (more or less advanced) editors and debuggers. However, ASP still lacks an Integrated Development Environment (IDE) supporting the entire life-cycle of ASP development, from (assisted) programs editing to application deployment. In this paper we present ASPIDE, a comprehensive IDE for ASP, integrating a cutting-edge editing tool (featuring dynamic syntax highlighting, on-line syntax correction, autocompletion, code-templates, quick-fixes, refactoring, etc.) with a collection of user-friendly graphical tools for program composition, debugging, profiling, database access, solver Execution Configuration and output-handling.

  • LPNMR - ASPIDE: integrated development environment for answer set programming
    Logic Programming and Nonmonotonic Reasoning, 2011
    Co-Authors: Onofrio Febbraro, Kristian Reale, Francesco Ricca
    Abstract:

    Answer Set Programming (ASP) is a truly-declarative programming paradigm proposed in the area of non-monotonic reasoning and logic programming. In the last few years, several tools for ASP-program development have been proposed, including (more or less advanced) editors and debuggers. However, ASP still lacks an Integrated Development Environment (IDE) supporting the entire life-cycle of ASP development, from (assisted) programs editing to application deployment. In this paper we present ASPIDE, a comprehensive IDE for ASP, integrating a cutting-edge editing tool (featuring dynamic syntax highlighting, on-line syntax correction, autocompletion, code-templates, quick-fixes, refactoring, etc.) with a collection of user-friendly graphical tools for program composition, debugging, profiling, database access, solver Execution Configuration and output-handling.

  • CILC - Testing ASP programs in ASPIDE.
    2011
    Co-Authors: Onofrio Febbraro, Kristian Reale, Francesco Ricca
    Abstract:

    Answer Set Programming (ASP) is a declarative logic programming formalism, which nowadays counts several advanced real-world applications, and has stimulated some interest also in industry. Although some environments for ASP-program development have been proposed in the last few years, the crucial task of testing ASP programs received less attention, and is an Achilles’ heel of the available programming environments. In this paper we present a new language for specifying and running unit tests on ASP programs. The testing language has been implemented in ASPIDE, a comprehensive IDE for ASP, which supports the entire life-cycle of ASP development with a collection of user-friendly graphical tools for program composition, testing, debugging, profiling, solver Execution Configuration, and output-handling.

Jean-christophe Le Lann - One of the best experts on this subject based on the ideXlab platform.

  • SpringSim (HPS) - A high-level programming model to ease pipeline parallelism expression on shared memory multicore architectures
    2014
    Co-Authors: Nader Khammassi, Jean-christophe Le Lann
    Abstract:

    Pipeline Execution pattern is a recurrent Execution Configuration in many application domains involving stream processing such as digital signal processing and data compression. Unfortunately, low-level parallel programming models exacerbate the difficulties of expressing pipeline parallelism and require verbose restructuring of the code and complex scheduling techniques to perform efficient Execution on modern multicore architectures. High-level programming models are in high-demand as they reduce the burdens of programmers, ease parallelism expression and handle transparently tasks scheduling and communication. XPU[20] is a high-level programming model which aims to ease parallelism expression through exploiting meta-programming capabilities of standard C++. In this paper we focus on pipeline parallelism expression, we present the programming model which allows pipeline construction. We describe its internal design and the runtime implementation of the pipeline Execution pattern and finally we show an example of image processing application implementing real-time adaptive edge detection algorithm. We reuse an existing sequential implementation to implement a pipelined version using both XPU and TBB. We compare the two versions in term of expressivity and performance. We note that XPU version performs about 20% faster than TBB on a 16-threads multicore platform and requires 80% less extra-code than TBB to express pipeline parallelism. Our experiments show that our programming model provides both programmability and Execution efficiency.

  • A High-Level Programming Model to Ease Pipeline Parallelism Expression On Shared Memory Multicore Architectures
    2014
    Co-Authors: Nader Khammassi, Jean-christophe Le Lann
    Abstract:

    Pipeline Execution pattern is a recurrent Execution Configuration in many application domains involving stream processing such as digital signal processing and data compression. Unfortunately, lowlevel parallel programming models exacerbate the difficulties of expressing pipeline parallelism and require verbose restructuring of the code and complex scheduling techniques to perform efficient Execution on modern multicore architectures. High-level programming models are in high-demand as they reduce the burdens of programmers, ease parallelism expression and handle transparently tasks scheduling and communication. XPU[20] is a high-level programming model which aims to ease parallelism expression through exploiting meta-programming capabilities of standard C++. In this paper we focus on pipeline parallelism expression, we present the programming model which allows pipeline construction. We describe its internal design and the runtime implementation of the pipeline Execution pattern and finally we show an example of image processing application implementing real-time adaptive edge detection algorithm. We reuse an existing sequential implementation to implement a pipelined version using both XPU and TBB. We compare the two versions in term of expressivity and performance. We note that XPU version performs about 20% faster than TBB on a 16-threads multicore platform and requires 80% less extra-code than TBB to express pipeline parallelism. Our experiments show that our programming model provides both programmability and Execution efficiency.