[go: up one dir, main page]

NO20051241D0 - Verifiserbare prosesser i et heterogent, distribuert databehandlingsmiljo - Google Patents

Verifiserbare prosesser i et heterogent, distribuert databehandlingsmiljo

Info

Publication number
NO20051241D0
NO20051241D0 NO20051241A NO20051241A NO20051241D0 NO 20051241 D0 NO20051241 D0 NO 20051241D0 NO 20051241 A NO20051241 A NO 20051241A NO 20051241 A NO20051241 A NO 20051241A NO 20051241 D0 NO20051241 D0 NO 20051241D0
Authority
NO
Norway
Prior art keywords
heterogeneous
computing environment
distributed computing
verifiable
processes
Prior art date
Application number
NO20051241A
Other languages
English (en)
Other versions
NO20051241L (no
Inventor
Andrew Martin West
Stephen Sean Mark Ross-Talbot
Gary Peter Brown
Duncan Jonston-Watt
Original Assignee
Enigmatec Corp
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 Enigmatec Corp filed Critical Enigmatec Corp
Publication of NO20051241D0 publication Critical patent/NO20051241D0/no
Publication of NO20051241L publication Critical patent/NO20051241L/no

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3668—Testing of software
    • G06F11/3672—Test management
    • G06F11/3688—Test management for test execution, e.g. scheduling of test suites
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/30—Monitoring
    • G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation ; Recording or statistical evaluation of user activity, e.g. usability assessment
    • G06F11/3466—Performance evaluation by tracing or monitoring
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
    • G06F2201/86—Event-based monitoring

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
  • Stored Programmes (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
NO20051241A 2002-09-25 2005-03-10 Verifiserbare prosesser i et heterogent, distribuert databehandlingsmiljo NO20051241L (no)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US10/254,258 US20040060038A1 (en) 2002-09-25 2002-09-25 Verifiable processes in a heterogeneous distributed computing environment
PCT/GB2003/004205 WO2004029800A2 (en) 2002-09-25 2003-09-25 Verifiable processes in a heterogeneous distributed computing environment

Publications (2)

Publication Number Publication Date
NO20051241D0 true NO20051241D0 (no) 2005-03-10
NO20051241L NO20051241L (no) 2005-06-27

Family

ID=31993311

Family Applications (1)

Application Number Title Priority Date Filing Date
NO20051241A NO20051241L (no) 2002-09-25 2005-03-10 Verifiserbare prosesser i et heterogent, distribuert databehandlingsmiljo

Country Status (8)

Country Link
US (2) US20040060038A1 (no)
EP (1) EP1543412A2 (no)
JP (1) JP2006500670A (no)
CN (1) CN1688971A (no)
AU (1) AU2003269216A1 (no)
GB (1) GB2405977B (no)
NO (1) NO20051241L (no)
WO (1) WO2004029800A2 (no)

Families Citing this family (32)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7237231B2 (en) * 2003-03-10 2007-06-26 Microsoft Corporation Automatic identification of input values that expose output failures in a software object
US7278135B2 (en) * 2003-06-11 2007-10-02 Microsoft Corporation Method and system for generating an efficient test suite from a domain description with given constraints
US8386272B2 (en) * 2003-08-06 2013-02-26 International Business Machines Corporation Autonomic assistance for policy generation
US7861181B2 (en) * 2003-08-29 2010-12-28 International Business Machines Corporation Autonomic user interface widgets
GB2408355B (en) * 2003-11-18 2007-02-14 Ibm A system for verifying a state of an environment
US8799003B2 (en) * 2004-05-18 2014-08-05 International Business Machines Corporation Dynamic binding of principal services in a cross-enterprise business process management system
GB2416048A (en) * 2004-07-10 2006-01-11 Hewlett Packard Development Co Inferring data type in a multi stage process
US8819639B2 (en) * 2004-09-15 2014-08-26 Lakeside Software, Inc. System for selectively blocking execution of applications on a computer system
US7406626B2 (en) * 2004-11-12 2008-07-29 Empirix Inc. Test agent architecture
EP1677197A1 (en) * 2004-12-31 2006-07-05 ST Incard S.r.l. Test case automatic generation method for testing proactive GSM applications on SIM card
US20070046282A1 (en) * 2005-08-31 2007-03-01 Childress Rhonda L Method and apparatus for semi-automatic generation of test grid environments in grid computing
JP2009509271A (ja) * 2005-09-23 2009-03-05 ビジネス・オブジェクツ・ソシエテ・アノニム 抽出、変換、及び読み込みタスクの構成に基づくデータプロファイルのための装置及び方法
US7707553B2 (en) * 2005-12-08 2010-04-27 International Business Machines Corporation Computer method and system for automatically creating tests for checking software
US9501463B2 (en) * 2005-12-08 2016-11-22 Microsoft Technology Licensing, Llc Spreadsheet cell-based notifications
US20070180433A1 (en) * 2006-01-27 2007-08-02 International Business Machines Corporation Method to enable accurate application packaging and deployment with optimized disk space usage
CN100571167C (zh) * 2006-02-24 2009-12-16 国际商业机器公司 Web服务业务流程的单元测试的方法和设备
US8726241B1 (en) * 2007-06-06 2014-05-13 Rockwell Collins, Inc. Method and system for the development of high-assurance computing elements
US8627299B2 (en) * 2008-02-29 2014-01-07 International Business Machines Corporation Virtual machine and programming language for event processing
US8365149B2 (en) * 2008-02-29 2013-01-29 International Business Machines Corporation Debugger for a declarative event-driven programming model
US8397216B2 (en) * 2008-02-29 2013-03-12 International Business Machines Corporation Compiler for a declarative event-driven programming model
US20110010217A1 (en) * 2009-07-13 2011-01-13 International Business Machines Corporation Service Oriented Architecture Governance Using A Template
US8386282B2 (en) * 2009-07-22 2013-02-26 International Business Machines Corporation Managing events in a configuration of SOA governance components
US8839214B2 (en) * 2010-06-30 2014-09-16 Microsoft Corporation Indexable type transformations
US9043761B2 (en) * 2010-09-01 2015-05-26 International Business Machines Corporation Fault localization using condition modeling and return value modeling
US8510762B1 (en) * 2011-10-12 2013-08-13 Google Inc. Generate custom client library samples based on a machine readable API description
JP5857806B2 (ja) * 2012-03-08 2016-02-10 日本電気株式会社 分散処理システムのテスト方法および分散処理システム
US9389986B2 (en) * 2013-05-06 2016-07-12 Microsoft Technology Licensing, Llc Identifying impacted tests from statically collected data
CN105426231A (zh) * 2014-09-04 2016-03-23 腾讯科技（深圳）有限公司 多进程处理装置和多进程处理方法
CN108509335B (zh) * 2018-01-31 2021-03-19 浙江理工大学 基于遗传算法优化的软件测试数据生成方法
CN111610976B (zh) * 2020-04-08 2023-04-07 中科曙光(南京)计算技术有限公司 异构应用移植方法、装置和计算机设备
US12466753B2 (en) * 2020-09-17 2025-11-11 East China University Of Science And Technology Fluidized bed separation method and device for methanol-to-olefins quenched water
CN115061925A (zh) * 2022-06-27 2022-09-16 中科曙光国际信息产业有限公司 一种异构加速程序的性能测试方法、装置和存储介质

Family Cites Families (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
DE19535084A1 (de) * 1995-09-21 1997-03-27 Ibm Verfahren und Vorrichtung zur dynamischen Optimierung von durch ein Computersystem gemanagten Geschäftsprozessen
US6385765B1 (en) * 1996-07-02 2002-05-07 The Research Foundation Specification and verification for concurrent systems with graphical and textual editors
US6516322B1 (en) * 2000-04-28 2003-02-04 Microsoft Corporation XML-based representation of mobile process calculi
US20020107914A1 (en) * 2000-09-01 2002-08-08 Dietrich Charisius Methods and systems for optimizing resource allocation based on data mined from plans created from a workflow
US6868413B1 (en) * 2001-05-10 2005-03-15 Networks Associates Technology, Inc. System and method for customizing and processing business logic rules in a business process system
WO2004015627A2 (en) * 2002-08-09 2004-02-19 Corticon Technologies, Inc. Rule engine

Also Published As

Publication number Publication date
GB0428115D0 (en) 2005-01-26
US20040060038A1 (en) 2004-03-25
GB2405977A (en) 2005-03-16
NO20051241L (no) 2005-06-27
US20040064806A1 (en) 2004-04-01
GB2405977B (en) 2005-11-09
JP2006500670A (ja) 2006-01-05
WO2004029800A2 (en) 2004-04-08
EP1543412A2 (en) 2005-06-22
CN1688971A (zh) 2005-10-26
AU2003269216A1 (en) 2004-04-19
WO2004029800A3 (en) 2004-08-12

Similar Documents

Publication Publication Date Title
NO20051241D0 (no) Verifiserbare prosesser i et heterogent, distribuert databehandlingsmiljo
ITMI20031310A1 (it) Geogriglia o struttura a maglie e metodo per la sua fabbricazione.
FIU20040303U0 (fi) Läpipainopakkauslaite
DE60301762D1 (de) Elektronische, gesteuerte Kupplung
NO20030459L (no) Intelligent, selvkalibrerende akustisk telemetrisystem
DE50306063D1 (de) Abgasnachbehandlungsanordnung
ITTO20030241A1 (it) Albero a camme.
ITTO20030507A1 (it) Premistoppa a tenuta di fango.
AU2003271444A8 (en) A faster, practical keyboard
FR2843798B1 (fr) Machine doseuse
ITTO20020157A0 (it) Macchina depallettizzatrice.
NL1023979A1 (nl) Fietsbroekstel.
ATE376988T1 (de) Dihalo-allyloxy-phenol-derivate mit pestizid- aktivität
FR2859632B1 (fr) Comprime multisecable a observance amelioree.
DE50305595D1 (de) Datenverarbeitungsvorrichtung
UA6882S (uk) Умивальник літального апарата, переважно як-40
BR8301951Y1 (pt) disposiÇço introduzida em simulador de degrau.
ITTO20020456A0 (it) ,,morsa con moltiplicatore di forza a ginocchiera,,.
FI5593U1 (fi) Järjestely arvokuljetuslaukussa
BR8202121Y1 (pt) disposições construtivas em empilhadeiras.
ES1051553Y (es) Bicicleta perfeccionada.
ITTO20020117U1 (it) ,,dispositivo di distribuzione di libri a una brossuratrice,,.
FI20020769A0 (fi) Työstölaite
BR8201890Y1 (pt) disposição introduzida em bombona.
ITVA20020037A1 (it) Computer

Legal Events

Date Code Title Description
FC2A Withdrawal, rejection or dismissal of laid open patent application