WIPO logo
Mobile | Deutsch | Español | Français | 日本語 | 한국어 | Português | Русский | 中文 | العربية |
PATENTSCOPE

Search International and National Patent Collections
World Intellectual Property Organization
Search
 
Browse
 
Translate
 
Options
 
News
 
Login
 
Help
 
Machine translation
1. (WO2016091826) METHOD OF ADJUSTING THE PRECISION OF A COMPUTER PROGRAM MANIPULATING AT LEAST ONE FLOATING POINT NUMBER
Latest bibliographic data on file with the International Bureau   

Pub. No.:    WO/2016/091826    International Application No.:    PCT/EP2015/078872
Publication Date: 16.06.2016 International Filing Date: 07.12.2015
IPC:
G06F 9/45 (2006.01)
Applicants: IOUALALEN, Arnault [FR/FR]; (FR).
NORMAND, Nicolas [FR/FR]; (FR).
UNIVERSITE DE PERPIGNAN VIA DOMITIA [FR/FR]; 52 avenue Paul Alduy 66860 Perpignan (FR)
Inventors: IOUALALEN, Arnault; (FR).
NORMAND, Nicolas; (FR).
MARTEL, Matthieu; (FR)
Agent: PONTET ALLANO & ASSOCIES; 18 rue de la République 34000 Montpellier (FR)
Priority Data:
1462209 10.12.2014 FR
Title (EN) METHOD OF ADJUSTING THE PRECISION OF A COMPUTER PROGRAM MANIPULATING AT LEAST ONE FLOATING POINT NUMBER
(FR) PROCEDE D'AJUSTEMENT DE LA PRECISION D'UN PROGRAMME D'ORDINATEUR MANIPULANT AU MOINS UN NOMBRE A VIRGULE.
Abstract: front page image
(EN)The invention relates to a method (100) of adjusting the precision provided by a source computer program manipulating at least one floating point number, comprising the following steps: -measurement (106, 110) with initial precision, of at least one value of at least one floating point number; -measurement (108, 110), termed with infinite precision, of at least one value of said floating point number in said source program; -for at least one instruction manipulating, in said source program (200), at least one floating point number, a step (114-118), termed optimization, identifying, for said instruction, a variant providing a better precision, and -modification (120) of said source program by replacing said instruction with said selected variant. It also relates to a computer program and a system implementing such a method.
(FR)L'invention concerne un procédé (100) d'ajustement de la précision fournie par un programme d'ordinateur source manipulant au moins un nombre à virgule,comprenant les étapes suivantes: - mesure (106,110) en précision initiale, d'au moins une valeur d'au moins un nombre à virgule; - mesure (108,110), dite en précision infinie, d'au moins une valeur dudit nombre à virgule dans ledit programme source; - pour au moins une instruction manipulant, dans ledit programme source (200), au moins un nombre à virgule, une étape (114-118), dite d'optimisation, identifiant, pour ladite instruction, une variante fournissant une meilleure précision, et - modification (120) dudit programme source par remplacement de ladite instruction par ladite variante sélectionnée. Elle concerne également un programme d'ordinateur et un système mettant en œuvre un tel procédé.
Designated States: AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BN, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IR, IS, JP, KE, KG, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PA, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SA, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW.
African Regional Intellectual Property Organization (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Organization (AM, AZ, BY, KG, KZ, RU, TJ, TM)
European Patent Office (AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, TR)
African Intellectual Property Organization (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG).
Publication Language: French (FR)
Filing Language: French (FR)