GB201811477D0 - Runtime analysis - Google Patents

Runtime analysis

Info

Publication number
GB201811477D0
GB201811477D0 GBGB1811477.7A GB201811477A GB201811477D0 GB 201811477 D0 GB201811477 D0 GB 201811477D0 GB 201811477 A GB201811477 A GB 201811477A GB 201811477 D0 GB201811477 D0 GB 201811477D0
Authority
GB
United Kingdom
Prior art keywords
runtime analysis
runtime
analysis
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.)
Withdrawn
Application number
GBGB1811477.7A
Other versions
GB2575496A (en
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.)
Prodo Tech Ltd
Original Assignee
Prodo Tech Ltd
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 Prodo Tech Ltd filed Critical Prodo Tech Ltd
Priority to GB1811477.7A priority Critical patent/GB2575496A/en
Publication of GB201811477D0 publication Critical patent/GB201811477D0/en
Priority to PCT/GB2019/051964 priority patent/WO2020012196A1/en
Publication of GB2575496A publication Critical patent/GB2575496A/en
Withdrawn 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/362—Software debugging
    • G06F11/3636—Software debugging by tracing the execution of the program
    • 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
    • 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/3612—Software analysis for verifying properties of programs by runtime analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computing arrangements based on biological models
    • G06N3/02—Neural networks
    • G06N3/04—Architecture, e.g. interconnection topology
    • G06N3/044—Recurrent networks, e.g. Hopfield networks
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computing arrangements based on biological models
    • G06N3/02—Neural networks
    • G06N3/04—Architecture, e.g. interconnection topology
    • G06N3/045—Combinations of networks
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computing arrangements based on biological models
    • G06N3/02—Neural networks
    • G06N3/08—Learning methods
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N20/00—Machine learning
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computing arrangements based on biological models
    • G06N3/02—Neural networks
    • G06N3/04—Architecture, e.g. interconnection topology
    • G06N3/048—Activation functions
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N7/00—Computing arrangements based on specific mathematical models
    • G06N7/01—Probabilistic graphical models, e.g. probabilistic networks
GB1811477.7A 2018-07-12 2018-07-12 Runtime analysis Withdrawn GB2575496A (en)

Priority Applications (2)

Application Number Priority Date Filing Date Title
GB1811477.7A GB2575496A (en) 2018-07-12 2018-07-12 Runtime analysis
PCT/GB2019/051964 WO2020012196A1 (en) 2018-07-12 2019-07-12 Runtime analysis of source code using a machine learning model trained using trace data from instrumented source code

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
GB1811477.7A GB2575496A (en) 2018-07-12 2018-07-12 Runtime analysis

Publications (2)

Publication Number Publication Date
GB201811477D0 true GB201811477D0 (en) 2018-08-29
GB2575496A GB2575496A (en) 2020-01-15

Family

ID=63273322

Family Applications (1)

Application Number Title Priority Date Filing Date
GB1811477.7A Withdrawn GB2575496A (en) 2018-07-12 2018-07-12 Runtime analysis

Country Status (2)

Country Link
GB (1) GB2575496A (en)
WO (1) WO2020012196A1 (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN114611714A (en) * 2022-05-11 2022-06-10 成都数之联科技股份有限公司 Model processing method, device, system, electronic equipment and storage medium

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US11334351B1 (en) 2020-04-28 2022-05-17 Allstate Insurance Company Systems and methods for software quality prediction
US20220147813A1 (en) * 2020-11-06 2022-05-12 Micron Technology, Inc. Runtime optimization of computations of an artificial neural network compiled for execution on a deep learning accelerator

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20180150742A1 (en) * 2016-11-28 2018-05-31 Microsoft Technology Licensing, Llc. Source code bug prediction

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN114611714A (en) * 2022-05-11 2022-06-10 成都数之联科技股份有限公司 Model processing method, device, system, electronic equipment and storage medium
CN114611714B (en) * 2022-05-11 2022-09-02 成都数之联科技股份有限公司 Model processing method, device, system, electronic equipment and storage medium

Also Published As

Publication number Publication date
GB2575496A (en) 2020-01-15
WO2020012196A1 (en) 2020-01-16

Similar Documents

Publication Publication Date Title
IL281921A (en) Software testing
AU201715280S (en) Analysis unit
GB2570742B (en) Optical-interference analysis
GB201821206D0 (en) Analytical methods
GB201811477D0 (en) Runtime analysis
GB201908045D0 (en) Object analysis
GB201708835D0 (en) Direct tissue analysis
GB2579810B (en) Assay Analysis
SG11202009797UA (en) Analysis system
EP3752819C0 (en) Analyzer
GB201909661D0 (en) Early entry
GB2572953B (en) Surface Analysis
GB201809702D0 (en) Content analysis
GB201806509D0 (en) Analysis instrument
GB2579122B (en) Tissue analysis
SG11202103186SA (en) Analysis system
GB201915345D0 (en) Shape analysis device
GB202015112D0 (en) Biosensor
GB202003195D0 (en) Domain-specific lexical analysis
GB2585410B (en) Analysis
GB2596002B (en) Object analysis
GB201811451D0 (en) Blood analysis
GB201909818D0 (en) Early entry
GB201808470D0 (en) Document analysis
GB201908621D0 (en) Construction set

Legal Events

Date Code Title Description
WAP Application withdrawn, taken to be withdrawn or refused ** after publication under section 16(1)