DE60114416D1 - Vorrichtung und verfahren zur auswertung von algorithmen - Google Patents

Vorrichtung und verfahren zur auswertung von algorithmen

Info

Publication number
DE60114416D1
DE60114416D1 DE60114416T DE60114416T DE60114416D1 DE 60114416 D1 DE60114416 D1 DE 60114416D1 DE 60114416 T DE60114416 T DE 60114416T DE 60114416 T DE60114416 T DE 60114416T DE 60114416 D1 DE60114416 D1 DE 60114416D1
Authority
DE
Germany
Prior art keywords
evaluating algorithms
evaluating
algorithms
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Lifetime
Application number
DE60114416T
Other languages
English (en)
Other versions
DE60114416T2 (de
Inventor
Marc Bellocchio
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
STMicroelectronics SA
Original Assignee
STMicroelectronics SA
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by STMicroelectronics SA filed Critical STMicroelectronics SA
Application granted granted Critical
Publication of DE60114416D1 publication Critical patent/DE60114416D1/de
Publication of DE60114416T2 publication Critical patent/DE60114416T2/de
Anticipated expiration legal-status Critical
Expired - Lifetime legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs
    • G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
DE60114416T 2000-06-30 2001-06-22 Vorrichtung und verfahren zur bewertung von algorithmen Expired - Lifetime DE60114416T2 (de)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
FR0008509A FR2811093A1 (fr) 2000-06-30 2000-06-30 Dispositif et procede d'evaluation d'algorithmes
FR0008509 2000-06-30
PCT/FR2001/001982 WO2002001360A1 (fr) 2000-06-30 2001-06-22 Dispositif et procede d'evaluation d'algorithmes

Publications (2)

Publication Number Publication Date
DE60114416D1 true DE60114416D1 (de) 2005-12-01
DE60114416T2 DE60114416T2 (de) 2006-07-27

Family

ID=8851954

Family Applications (1)

Application Number Title Priority Date Filing Date
DE60114416T Expired - Lifetime DE60114416T2 (de) 2000-06-30 2001-06-22 Vorrichtung und verfahren zur bewertung von algorithmen

Country Status (5)

Country Link
US (1) US20030142819A1 (de)
EP (1) EP1295206B1 (de)
DE (1) DE60114416T2 (de)
FR (1) FR2811093A1 (de)
WO (1) WO2002001360A1 (de)

Families Citing this family (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2013142980A1 (en) * 2012-03-30 2013-10-03 Irdeto Canada Corporation Securing accessible systems using variable dependent coding
US10755590B2 (en) * 2015-06-18 2020-08-25 The Joan and Irwin Jacobs Technion-Cornell Institute Method and system for automatically providing graphical user interfaces for computational algorithms described in printed publications
US9965256B2 (en) * 2015-06-18 2018-05-08 The Joan and Irwin Jacobs Technion-Cornell Institute Method and system for evaluating computational algorithms described in printed publications

Family Cites Families (20)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5442707A (en) * 1992-09-28 1995-08-15 Matsushita Electric Industrial Co., Ltd. Method for generating and verifying electronic signatures and privacy communication using elliptic curves
US5526475A (en) * 1994-03-02 1996-06-11 Mathsoft, Inc. Method for live symbolic calculations in a mathematical document editor
US5471612A (en) * 1994-03-03 1995-11-28 Borland International, Inc. Electronic spreadsheet system and methods for compiling a formula stored in a spreadsheet into native machine code for execution by a floating-point unit upon spreadsheet recalculation
JPH0844546A (ja) * 1994-07-29 1996-02-16 Fujitsu Ltd グラフィカルユーザインターフェースを備えたコンピュータシステム
US5715432A (en) * 1995-04-04 1998-02-03 U S West Technologies, Inc. Method and system for developing network analysis and modeling with graphical objects
FR2733379B1 (fr) * 1995-04-20 1997-06-20 Gemplus Card Int Procede de generation de signatures electroniques, notamment pour cartes a puces
FR2751817B1 (fr) * 1996-07-29 1998-09-11 Thomson Multimedia Sa Systeme a acces conditionnel utilisant des messages a cles de chiffrement multiples
US5933501A (en) * 1996-08-01 1999-08-03 Harris Corporation `Virtual` encryption scheme combining different encryption operators into compound-encryption mechanism
US5978579A (en) * 1997-08-12 1999-11-02 International Business Machines Corporation Architecture for customizable component system
US6195794B1 (en) * 1997-08-12 2001-02-27 International Business Machines Corporation Method and apparatus for distributing templates in a component system
CN1280755C (zh) * 1997-12-10 2006-10-18 精工爱普生株式会社 系统大规模集成电路与电子设备
US6820198B1 (en) * 1998-09-01 2004-11-16 Peter William Ross Encryption via user-editable multi-page file
JP3833412B2 (ja) * 1999-04-09 2006-10-11 富士通株式会社 有限体演算における表現データ生成装置および方法
US6940976B1 (en) * 1999-06-02 2005-09-06 International Business Machines Corporation Generating user-dependent RSA keys
US6594761B1 (en) * 1999-06-09 2003-07-15 Cloakware Corporation Tamper resistant software encoding
US6775771B1 (en) * 1999-12-14 2004-08-10 International Business Machines Corporation Method and system for presentation and manipulation of PKCS authenticated-data objects
US6629310B1 (en) * 1999-12-22 2003-09-30 Koninklijke Philips Electronics N.V. System and method for accessing internal registers in integrated circuits
US7036106B1 (en) * 2000-02-17 2006-04-25 Tensilica, Inc. Automated processor generation system for designing a configurable processor and method for the same
US6681383B1 (en) * 2000-04-04 2004-01-20 Sosy, Inc. Automatic software production system
US7159185B1 (en) * 2000-09-14 2007-01-02 Microsoft Corporation Function objects

Also Published As

Publication number Publication date
DE60114416T2 (de) 2006-07-27
WO2002001360A1 (fr) 2002-01-03
EP1295206A1 (de) 2003-03-26
EP1295206B1 (de) 2005-10-26
US20030142819A1 (en) 2003-07-31
FR2811093A1 (fr) 2002-01-04

Similar Documents

Publication Publication Date Title
DE50012668D1 (de) Verfahren und vorrichtung zur fahrweisenbewertung
DE60119706D1 (de) Verfahren und vorrichtung zur handhabung von rohrförmigen elementen
DE60110311D1 (de) Verfahren und Vorrichtung zur Mehrfachsendung
DE60135407D1 (de) Verfahren und Vorrichtung zur Erkennung von Pixelsorten
DE50213504D1 (de) Verfahren und vorrichtung zur prädiktion von beweg
DE60126382D1 (de) Verfahren und Gerät zur Erkennung von Gegenständen
DE50203544D1 (de) Verfahren und Vorrichtung zur Drehbearbeitung
DE60030658D1 (de) Verfahren und Vorrichtung zur Überprüfung von Gegenständen
DE60223913D1 (de) Vorrichtung und verfahren zur erkennung und speicherung von ereignissen
DE50109562D1 (de) Vorrichtung und verfahren zur winkelmessung
DE60135049D1 (de) Verfahren und Vorrichtung zur verbesserten Kammerreinigung
DE60100249D1 (de) Vorrichtung und Verfahren zur Fahrzeugerfassung
DE60124225D1 (de) Verfahren und Vorrichtung zur Erkennung von Emotionen
DE50111492D1 (de) Verfahren und vorrichtung zur überwachung von gasen
DE60124647D1 (de) Vorrichtung und Verfahren zur Abstandsmessung
DE60218573D1 (de) Verfahren und Vorrichtung zur Mehrfachsendung
DE60209608D1 (de) Verfahren und Vorrichtung zur Ermittlung von Strassenzuständen
DE19983717T1 (de) Vorrichtung und Verfahren zur Ausrichtung
DE60100823D1 (de) Verfahren und Vorrichtung zur Kantendetektion
DE60116195D1 (de) Vorrichtung und Verfahren zur Verschleierung von Eingangsparametern
DE60143329D1 (de) Verfahren und Vorrichtung zur Reinigung von Filtern
DE60109052D1 (de) Verfahren und vorrichtung zur paketklassifikation
DE60224395D1 (de) Vorrichtung und verfahren zur verbindungsherstellung in netzwerken
DE50013860D1 (de) Verfahren und vorrichtung zur analyse von strömungen
DE50104505D1 (de) Verfahren und vorrichtung zur zugangscodeermittlung

Legal Events

Date Code Title Description
8364 No opposition during term of opposition