The Experts below are selected from a list of 4248 Experts worldwide ranked by ideXlab platform
Vincent Lefèvre - One of the best experts on this subject based on the ideXlab platform.
-
Sipe: a Mini-Library for Very Low Precision Computations with Correct Rounding
2013Co-Authors: Vincent LefèvreAbstract:Sipe is a mini-library in the form of a C Header File, to perform radix-2 floating-point computations in very low precisions with correct rounding, either to nearest or toward zero. The goal of such a tool is to do proofs of algorithms/properties or computations of tight error bounds in these precisions by exhaustive tests, in order to try to generalize them to higher precisions. The currently supported operations are addition, subtraction, multiplication (possibly with the error term), fused multiply-add/subtract (FMA/FMS), and miscellaneous comparisons and conversions. \sipe provides two implementations of these operations, with the same API and the same behavior: one based on integer arithmetic, and a new one based on floating-point arithmetic. Timing comparisons have been done with hardware IEEE-754 floating point and with GNU MPFR.
-
SIPE: Small Integer Plus Exponent
2013Co-Authors: Vincent LefèvreAbstract:SIPE (Small Integer Plus Exponent) is a mini-library in the form of a C Header File, to perform floating-point computations in very low precisions with correct rounding to nearest in radix 2. The goal of such a tool is to do proofs of algorithms/properties or computations of tight error bounds in these precisions by exhaustive tests, in order to try to generalize them to higher precisions. The currently supported operations are addition, subtraction, multiplication (possibly with the error term), FMA, and miscellaneous comparisons and conversions. Timing comparisons have been done with hardware IEEE-754 floating point and with GNU MPFR.
-
IEEE Symposium on Computer Arithmetic - SIPE: Small Integer Plus Exponent
2013 IEEE 21st Symposium on Computer Arithmetic, 2013Co-Authors: Vincent LefèvreAbstract:SIPE (Small Integer Plus Exponent) is a mini-library in the form of a C Header File, to perform floating-point computations in very low precisions with correct rounding to nearest in radix 2. The goal of such a tool is to do proofs of algorithms/properties or computations of tight error bounds in these precisions by exhaustive tests, in order to try to generalize them to higher precisions. The currently supported operations are addition, subtraction, multiplication (possibly with the error term), FMA, and miscellaneous comparisons and conversions. Timing comparisons have been done with hardware IEEE-754 floating point and with GNU MPFR.
-
SIPE: Small Integer Plus Exponent
2011Co-Authors: Vincent LefèvreAbstract:SIPE (Small Integer Plus Exponent) is a mini-library in the form of a C Header File, to perform computations in very low precisions with correct rounding to nearest. The goal of such a tool is to do proofs of algorithms/properties or computations of error bounds in these precisions, in order to generalize them to higher precisions. The supported operations are the addition, the subtraction, the multiplication, the FMA, and miscellaneous comparisons and conversions.
Martina Olliaro - One of the best experts on this subject based on the ideXlab platform.
-
TASE - M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs
2018 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2018Co-Authors: Agostino Cortesi, Martina OlliaroAbstract:We present a refined segmentation abstract domain for the analysis of strings in the C programming language, properly extending the parametric segmentation approach to array representation introduced by P. Cousot et al. to the case of text values. In particular, we capture the so-called string of interest of an array of char, in order to distinguish well-formed string arrays. A concrete and abstract semantics of the main C Header File string.h functions are worked out in full detail.
Akinori Yonezawa - One of the best experts on this subject based on the ideXlab platform.
-
ISCOPE - A Compile-Time Meta-Level Architecture Supporting Class Specific Optimization
Lecture Notes in Computer Science, 1997Co-Authors: Toshiyuki Takahashi, Yutaka Ishikawa, Mitsuhisa Sato, Akinori YonezawaAbstract:The MPC++ Version 2 meta-level architecture is proposed. The architecture makes it possible to incorporate new optimizers into a compiler. A library designer can provide an optimizer specific to his class/template library in the library Header File. A library user may use such a high-performance library by including the Header File. A meta-level programming library, called DMSF, is designed to facilitate programming optimizers. As an example, a distributed array class in a parallel environment is introduced and its optimization program is presented. The optimizer is simple to describe, and it is effective. Evaluation using the CG kernel of NAS Parallel Benchmark shows that the program optimized by the meta-level optimizer runs almost as fast as the equivalent C program.
Yeong Sang Park - One of the best experts on this subject based on the ideXlab platform.
-
development of a cost effective data acquisition system using an open source hardware and matlab simulink
International Conference on Informatics in Control Automation and Robotics, 2016Co-Authors: Yeong Sang ParkAbstract:This paper proposes a new cost-effective data acquisition system using open-source hardware and Matlab/Simulink. The proposed data acquisition (DAQ) system has features that it uses the framed data protocol based on hex encoding, it can acquire multiple data which are not of the same type at different sample rates, and the system receives data through USB communication or serial communication. The software of the proposed system consists of the firmware of a microcontroller and user-defined Simulink function block. The firmware of a microcontroller is in the form of a Header File, and the data acquisition can be easily achieved by calling a few functions defined in the Header File. The developed user-defined Simulink block can get multiple data at different sample rates by configuring the GUI parameters appropriately. For implementation of the system, we use the Arch Max, which is the open-source hardware with an ARM Cortex-M4 core, and also use a user-defined c-code S-function of Matlab/Simulink. For the demonstration of the superiority of the implemented system, we compare the proposed systemâs performance with that of the data acquisition system provided in Matlab/Simulink Instrument Control Toolbox. Finally we illustrate how presented system can be actually used by applying the proposed system to DC motor control.
-
ICINCO (1) - Development of a Cost-effective Data Acquisition System using an Open-source Hardware and Matlab/Simulink
Proceedings of the 13th International Conference on Informatics in Control Automation and Robotics, 2016Co-Authors: Sugkil Seo, Yeong Sang Park, Young Sam LeeAbstract:This paper proposes a new cost-effective data acquisition system using open-source hardware and Matlab/Simulink. The proposed data acquisition (DAQ) system has features that it uses the framed data protocol based on hex encoding, it can acquire multiple data which are not of the same type at different sample rates, and the system receives data through USB communication or serial communication. The software of the proposed system consists of the firmware of a microcontroller and user-defined Simulink function block. The firmware of a microcontroller is in the form of a Header File, and the data acquisition can be easily achieved by calling a few functions defined in the Header File. The developed user-defined Simulink block can get multiple data at different sample rates by configuring the GUI parameters appropriately. For implementation of the system, we use the Arch Max, which is the open-source hardware with an ARM Cortex-M4 core, and also use a user-defined c-code S-function of Matlab/Simulink. For the demonstration of the superiority of the implemented system, we compare the proposed systemâs performance with that of the data acquisition system provided in Matlab/Simulink Instrument Control Toolbox. Finally we illustrate how presented system can be actually used by applying the proposed system to DC motor control.
Agostino Cortesi - One of the best experts on this subject based on the ideXlab platform.
-
TASE - M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs
2018 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2018Co-Authors: Agostino Cortesi, Martina OlliaroAbstract:We present a refined segmentation abstract domain for the analysis of strings in the C programming language, properly extending the parametric segmentation approach to array representation introduced by P. Cousot et al. to the case of text values. In particular, we capture the so-called string of interest of an array of char, in order to distinguish well-formed string arrays. A concrete and abstract semantics of the main C Header File string.h functions are worked out in full detail.
