| US6378066B1 (en)* | 1999-02-04 | 2002-04-23 | Sun Microsystems, Inc. | Method, apparatus, and article of manufacture for developing and executing data flow programs, and optimizing user input specifications |
| US7133820B2 (en)* | 2000-03-15 | 2006-11-07 | Arc International | Method and apparatus for debugging programs in a distributed environment |
| US20030121027A1 (en)* | 2000-06-23 | 2003-06-26 | Hines Kenneth J. | Behavioral abstractions for debugging coordination-centric software designs |
| WO2002003198A2 (en) | 2000-07-03 | 2002-01-10 | Oculus Technologies Corporation | Access control for a decentralized or emergent model on a computer network |
| US6961923B2 (en)* | 2000-12-07 | 2005-11-01 | International Business Machines Corporation | Method of detecting zombie breakpoints |
| JP2003015906A (en)* | 2001-06-28 | 2003-01-17 | Mitsubishi Electric Corp | Remote debugging method and device |
| US7577554B2 (en)* | 2001-07-03 | 2009-08-18 | I2 Technologies Us, Inc. | Workflow modeling using an acyclic directed graph data structure |
| US7210145B2 (en)* | 2001-10-15 | 2007-04-24 | Edss, Inc. | Technology for integrated computation and communication; TICC |
| US7426717B1 (en)* | 2001-11-27 | 2008-09-16 | Adobe Systems Incorporated | System and method for debugging files in a runtime environment |
| US6825846B2 (en)* | 2001-12-10 | 2004-11-30 | American Megatrends, Inc. | Systems and methods for capturing screen displays from a host computing system for display at a remote terminal |
| FI113709B (en)* | 2001-12-10 | 2004-05-31 | Nokia Corp | Procedure in an integrated environment for arranging the function of a remote device |
| US7565683B1 (en) | 2001-12-12 | 2009-07-21 | Weiqing Huang | Method and system for implementing changes to security policies in a distributed security system |
| US7260555B2 (en) | 2001-12-12 | 2007-08-21 | Guardian Data Storage, Llc | Method and architecture for providing pervasive security to digital assets |
| US7178033B1 (en) | 2001-12-12 | 2007-02-13 | Pss Systems, Inc. | Method and apparatus for securing digital assets |
| US10360545B2 (en) | 2001-12-12 | 2019-07-23 | Guardian Data Storage, Llc | Method and apparatus for accessing secured electronic data off-line |
| US7921450B1 (en) | 2001-12-12 | 2011-04-05 | Klimenty Vainstein | Security system using indirect key generation from access rules and methods therefor |
| US8006280B1 (en) | 2001-12-12 | 2011-08-23 | Hildebrand Hal S | Security system for generating keys from access rules in a decentralized manner and methods therefor |
| US7930756B1 (en) | 2001-12-12 | 2011-04-19 | Crocker Steven Toye | Multi-level cryptographic transformations for securing digital assets |
| US7921284B1 (en) | 2001-12-12 | 2011-04-05 | Gary Mark Kinghorn | Method and system for protecting electronic data in enterprise environment |
| US10033700B2 (en) | 2001-12-12 | 2018-07-24 | Intellectual Ventures I Llc | Dynamic evaluation of access rights |
| US8065713B1 (en) | 2001-12-12 | 2011-11-22 | Klimenty Vainstein | System and method for providing multi-location access management to secured items |
| US7921288B1 (en) | 2001-12-12 | 2011-04-05 | Hildebrand Hal S | System and method for providing different levels of key security for controlling access to secured items |
| US7380120B1 (en) | 2001-12-12 | 2008-05-27 | Guardian Data Storage, Llc | Secured data format for access control |
| MXPA04006068A (en)* | 2001-12-19 | 2004-09-27 | Thomson Licensing Sa | Method and apparatus for handing off a mobile terminal between a mobile network and a wireless lan. |
| US7950066B1 (en) | 2001-12-21 | 2011-05-24 | Guardian Data Storage, Llc | Method and system for restricting use of a clipboard application |
| US7281241B2 (en)* | 2002-01-15 | 2007-10-09 | Cadence Design (Israel) Ii Ltd. | System and method for visual debugging of constraint systems |
| US8176334B2 (en) | 2002-09-30 | 2012-05-08 | Guardian Data Storage, Llc | Document security system that permits external users to gain access to secured files |
| JP2003241807A (en)* | 2002-02-19 | 2003-08-29 | Yaskawa Electric Corp | Robot controller |
| EP1349111A1 (en)* | 2002-03-27 | 2003-10-01 | Hewlett-Packard Company | Improvements in or relating to software |
| US7167861B2 (en)* | 2002-06-28 | 2007-01-23 | Nokia Corporation | Mobile application service container |
| US7296259B2 (en)* | 2002-09-11 | 2007-11-13 | Agere Systems Inc. | Processor system with cache-based software breakpoints |
| US7260624B2 (en)* | 2002-09-20 | 2007-08-21 | American Megatrends, Inc. | Systems and methods for establishing interaction between a local computer and a remote computer |
| WO2004038620A1 (en)* | 2002-10-28 | 2004-05-06 | Renesas Technology Corp. | System development method and data processing system |
| US7542471B2 (en)* | 2002-10-30 | 2009-06-02 | Citrix Systems, Inc. | Method of determining path maximum transmission unit |
| US8270423B2 (en) | 2003-07-29 | 2012-09-18 | Citrix Systems, Inc. | Systems and methods of using packet boundaries for reduction in timeout prevention |
| US7616638B2 (en) | 2003-07-29 | 2009-11-10 | Orbital Data Corporation | Wavefront detection and disambiguation of acknowledgments |
| US8233392B2 (en)* | 2003-07-29 | 2012-07-31 | Citrix Systems, Inc. | Transaction boundary detection for reduction in timeout penalties |
| US7630305B2 (en)* | 2003-07-29 | 2009-12-08 | Orbital Data Corporation | TCP selective acknowledgements for communicating delivered and missed data packets |
| US7131113B2 (en)* | 2002-12-12 | 2006-10-31 | International Business Machines Corporation | System and method on generating multi-dimensional trace files and visualizing them using multiple Gantt charts |
| JP4403794B2 (en)* | 2003-02-28 | 2010-01-27 | 株式会社デンソー | Inspection method, inspection apparatus and inspection program for control program |
| US20040177139A1 (en)* | 2003-03-03 | 2004-09-09 | Schuba Christoph L. | Method and apparatus for computing priorities between conflicting rules for network services |
| US7418141B2 (en)* | 2003-03-31 | 2008-08-26 | American Megatrends, Inc. | Method, apparatus, and computer-readable medium for identifying character coordinates |
| US7117483B2 (en)* | 2003-04-15 | 2006-10-03 | Microsoft Corporation | Server debugging framework using scripts |
| US7412625B2 (en)* | 2003-05-27 | 2008-08-12 | American Megatrends, Inc. | Method and system for remote software debugging |
| US8707034B1 (en) | 2003-05-30 | 2014-04-22 | Intellectual Ventures I Llc | Method and system for using remote headers to secure electronic files |
| US7546584B2 (en) | 2003-06-16 | 2009-06-09 | American Megatrends, Inc. | Method and system for remote software testing |
| CA2432866A1 (en)* | 2003-06-20 | 2004-12-20 | Ibm Canada Limited - Ibm Canada Limitee | Debugging optimized flows |
| US7543277B1 (en) | 2003-06-27 | 2009-06-02 | American Megatrends, Inc. | Method and system for remote software debugging |
| US7656799B2 (en)* | 2003-07-29 | 2010-02-02 | Citrix Systems, Inc. | Flow control system architecture |
| US7698453B2 (en) | 2003-07-29 | 2010-04-13 | Oribital Data Corporation | Early generation of acknowledgements for flow control |
| US8437284B2 (en) | 2003-07-29 | 2013-05-07 | Citrix Systems, Inc. | Systems and methods for additional retransmissions of dropped packets |
| US8238241B2 (en)* | 2003-07-29 | 2012-08-07 | Citrix Systems, Inc. | Automatic detection and window virtualization for flow control |
| US8432800B2 (en)* | 2003-07-29 | 2013-04-30 | Citrix Systems, Inc. | Systems and methods for stochastic-based quality of service |
| US7512912B1 (en)* | 2003-08-16 | 2009-03-31 | Synopsys, Inc. | Method and apparatus for solving constraints for word-level networks |
| US7472184B2 (en)* | 2003-09-19 | 2008-12-30 | International Business Machines Corporation | Framework for restricting resources consumed by ghost agents |
| US7386837B2 (en)* | 2003-09-19 | 2008-06-10 | International Business Machines Corporation | Using ghost agents in an environment supported by customer service providers |
| US7480914B2 (en)* | 2003-09-19 | 2009-01-20 | International Business Machines Corporation | Restricting resources consumed by ghost agents |
| US7246056B1 (en)* | 2003-09-26 | 2007-07-17 | The Mathworks, Inc. | Runtime parameter mapping for system simulation |
| US7703140B2 (en) | 2003-09-30 | 2010-04-20 | Guardian Data Storage, Llc | Method and system for securing digital assets using process-driven security policies |
| US8127366B2 (en) | 2003-09-30 | 2012-02-28 | Guardian Data Storage, Llc | Method and apparatus for transitioning between states of security policies used to secure electronic documents |
| US20050097537A1 (en)* | 2003-10-30 | 2005-05-05 | Laura Joseph G. | System and method for distributed processing in COBOL |
| US8090564B1 (en) | 2003-11-03 | 2012-01-03 | Synopsys, Inc. | Automatic generation of transaction level bus simulation instructions from bus protocol |
| US7921412B1 (en)* | 2003-11-26 | 2011-04-05 | Sprint Communications Company L.P. | Application monitor system and method |
| US7702909B2 (en)* | 2003-12-22 | 2010-04-20 | Klimenty Vainstein | Method and system for validating timestamps |
| WO2005072257A2 (en)* | 2004-01-22 | 2005-08-11 | Nec Laboratories America, Inc. | System and method for modeling, abstraction, and analysis of software |
| US7584420B2 (en)* | 2004-02-12 | 2009-09-01 | Lockheed Martin Corporation | Graphical authoring and editing of mark-up language sequences |
| US7801702B2 (en)* | 2004-02-12 | 2010-09-21 | Lockheed Martin Corporation | Enhanced diagnostic fault detection and isolation |
| US20050240555A1 (en)* | 2004-02-12 | 2005-10-27 | Lockheed Martin Corporation | Interactive electronic technical manual system integrated with the system under test |
| US20050223288A1 (en)* | 2004-02-12 | 2005-10-06 | Lockheed Martin Corporation | Diagnostic fault detection and isolation |
| US7827258B1 (en) | 2004-03-01 | 2010-11-02 | American Megatrends, Inc. | Method, system, and apparatus for communicating with a computer management device |
| US7594227B2 (en)* | 2004-03-08 | 2009-09-22 | Ab Initio Technology Llc | Dependency graph parameter scoping |
| US7849452B2 (en)* | 2004-04-23 | 2010-12-07 | Waratek Pty Ltd. | Modification of computer applications at load time for distributed execution |
| US7844665B2 (en)* | 2004-04-23 | 2010-11-30 | Waratek Pty Ltd. | Modified computer architecture having coordinated deletion of corresponding replicated memory locations among plural computers |
| US20050257219A1 (en)* | 2004-04-23 | 2005-11-17 | Holt John M | Multiple computer architecture with replicated memory fields |
| US20050262513A1 (en)* | 2004-04-23 | 2005-11-24 | Waratek Pty Limited | Modified computer architecture with initialization of objects |
| US20060095483A1 (en)* | 2004-04-23 | 2006-05-04 | Waratek Pty Limited | Modified computer architecture with finalization of objects |
| US7707179B2 (en)* | 2004-04-23 | 2010-04-27 | Waratek Pty Limited | Multiple computer architecture with synchronization |
| US7657873B2 (en)* | 2004-04-29 | 2010-02-02 | Microsoft Corporation | Visualizer system and methods for debug environment |
| US7509618B1 (en)* | 2004-05-12 | 2009-03-24 | Altera Corporation | Method and apparatus for facilitating an adaptive electronic design automation tool |
| US7516052B2 (en)* | 2004-05-27 | 2009-04-07 | Robert Allen Hatcherson | Container-based architecture for simulation of entities in a time domain |
| US7363203B2 (en)* | 2004-06-28 | 2008-04-22 | Graniteedge Networks | Determining event causality including employment of partitioned event space |
| US20050288915A1 (en)* | 2004-06-28 | 2005-12-29 | Graniteedge Networks | Determining event causality including employment of causal chains |
| US8271955B1 (en)* | 2004-07-23 | 2012-09-18 | Green Hille Software, Inc. | Forward post-execution software debugger |
| AU2005269383A1 (en)* | 2004-07-28 | 2006-02-09 | Sd Pharmaceuticals, Inc. | Stable injectable composition of alpha tocopheryl succinate, analogues and salts thereof |
| US7970639B2 (en)* | 2004-08-20 | 2011-06-28 | Mark A Vucina | Project management systems and methods |
| US7519749B1 (en) | 2004-08-25 | 2009-04-14 | American Megatrends, Inc. | Redirecting input and output for multiple computers |
| US7487501B2 (en)* | 2004-08-30 | 2009-02-03 | International Business Machines Corporation | Distributed counter and centralized sensor in barrier wait synchronization |
| US20060120181A1 (en)* | 2004-10-05 | 2006-06-08 | Lockheed Martin Corp. | Fault detection and isolation with analysis of built-in-test results |
| US20060085692A1 (en)* | 2004-10-06 | 2006-04-20 | Lockheed Martin Corp. | Bus fault detection and isolation |
| US8555286B2 (en)* | 2004-10-27 | 2013-10-08 | International Business Machines Corporation | Method, system, and apparatus for establishing a software configurable computing environment |
| US7516109B2 (en) | 2004-11-02 | 2009-04-07 | Furtek Frederick C | Automatically deriving logical, arithmetic and timing dependencies |
| KR100582389B1 (en)* | 2004-11-08 | 2006-05-23 | 주식회사 팬택앤큐리텔 | Mobile Commerce Wireless Communication Terminal Blocking Intermediate Event During RF Payment |
| US8181182B1 (en)* | 2004-11-16 | 2012-05-15 | Oracle America, Inc. | Resource allocation brokering in nested containers |
| US20080052281A1 (en)* | 2006-08-23 | 2008-02-28 | Lockheed Martin Corporation | Database insertion and retrieval system and method |
| US8271448B2 (en)* | 2005-01-28 | 2012-09-18 | Oracle International Corporation | Method for strategizing protocol presumptions in two phase commit coordinator |
| US7716031B2 (en)* | 2005-02-25 | 2010-05-11 | Coware, Inc. | Interface converter for unified view of multiple computer system simulations |
| US7742905B2 (en)* | 2005-02-25 | 2010-06-22 | Coware, Inc. | Method and system for dynamically adjusting speed versus accuracy of computer platform simulation |
| US20060206873A1 (en)* | 2005-03-11 | 2006-09-14 | Argade Pramod V | Environment for run control of computer programs |
| WO2006110937A1 (en)* | 2005-04-21 | 2006-10-26 | Waratek Pty Limited | Modified computer architecture with coordinated objects |
| US7900193B1 (en)* | 2005-05-25 | 2011-03-01 | Parasoft Corporation | System and method for detecting defects in a computer program using data and control flow analysis |
| US7921429B2 (en)* | 2005-06-09 | 2011-04-05 | Whirlpool Corporation | Data acquisition method with event notification for an appliance |
| CN101305350A (en) | 2005-06-09 | 2008-11-12 | 惠而浦公司 | Software architecture system and method for communicating with and managing at least one component within a household appliance |
| US7917914B2 (en)* | 2005-06-09 | 2011-03-29 | Whirlpool Corporation | Event notification system for an appliance |
| US20070162158A1 (en)* | 2005-06-09 | 2007-07-12 | Whirlpool Corporation | Software architecture system and method for operating an appliance utilizing configurable notification messages |
| US20080137670A1 (en)* | 2005-06-09 | 2008-06-12 | Whirlpool Corporation | Network System with Message Binding for Appliances |
| US7454738B2 (en)* | 2005-06-10 | 2008-11-18 | Purdue Research Foundation | Synthesis approach for active leakage power reduction using dynamic supply gating |
| US7427025B2 (en)* | 2005-07-08 | 2008-09-23 | Lockheed Marlin Corp. | Automated postal voting system and method |
| US20070032986A1 (en)* | 2005-08-05 | 2007-02-08 | Graniteedge Networks | Efficient filtered causal graph edge detection in a causal wavefront environment |
| US7487241B2 (en) | 2005-08-05 | 2009-02-03 | Vantos, Inc. | Performing efficient insertions in wavefront table based causal graphs |
| US7693690B2 (en)* | 2005-08-09 | 2010-04-06 | Nec Laboratories America, Inc. | Disjunctive image computation for sequential systems |
| US7698691B2 (en)* | 2005-09-20 | 2010-04-13 | Microsoft Corporation | Server application state |
| US20070100828A1 (en)* | 2005-10-25 | 2007-05-03 | Holt John M | Modified machine architecture with machine redundancy |
| US7660960B2 (en) | 2005-10-25 | 2010-02-09 | Waratek Pty, Ltd. | Modified machine architecture with partial memory updating |
| US7958322B2 (en)* | 2005-10-25 | 2011-06-07 | Waratek Pty Ltd | Multiple machine architecture with overhead reduction |
| US7761670B2 (en)* | 2005-10-25 | 2010-07-20 | Waratek Pty Limited | Modified machine architecture with advanced synchronization |
| US8015236B2 (en)* | 2005-10-25 | 2011-09-06 | Waratek Pty. Ltd. | Replication of objects having non-primitive fields, especially addresses |
| US7849369B2 (en)* | 2005-10-25 | 2010-12-07 | Waratek Pty Ltd. | Failure resistant multiple computer system and method |
| CA2632235A1 (en)* | 2005-12-02 | 2007-06-07 | Citrix Systems, Inc. | Method and apparatus for providing authentication credentials from a proxy server to a virtualized computing environment to access a remote resource |
| US8402443B2 (en)* | 2005-12-12 | 2013-03-19 | dyna Trace software GmbH | Method and system for automated analysis of the performance of remote method invocations in multi-tier applications using bytecode instrumentation |
| US20070168975A1 (en)* | 2005-12-13 | 2007-07-19 | Thomas Kessler | Debugger and test tool |
| US8010843B2 (en) | 2005-12-14 | 2011-08-30 | American Megatrends, Inc. | System and method for debugging a target computer using SMBus |
| US7924884B2 (en) | 2005-12-20 | 2011-04-12 | Citrix Systems, Inc. | Performance logging using relative differentials and skip recording |
| US8448137B2 (en)* | 2005-12-30 | 2013-05-21 | Sap Ag | Software model integration scenarios |
| US8543367B1 (en) | 2006-02-16 | 2013-09-24 | Synopsys, Inc. | Simulation with dynamic run-time accuracy adjustment |
| US7899661B2 (en)* | 2006-02-16 | 2011-03-01 | Synopsys, Inc. | Run-time switching for simulation with dynamic run-time accuracy adjustment |
| US7849446B2 (en)* | 2006-06-09 | 2010-12-07 | Oracle America, Inc. | Replay debugging |
| US7801712B2 (en)* | 2006-06-15 | 2010-09-21 | Microsoft Corporation | Declaration and consumption of a causality model for probable cause analysis |
| US7664997B2 (en)* | 2006-06-19 | 2010-02-16 | Microsoft Corporation | Failure handling and debugging with causalities |
| US7653881B2 (en) | 2006-06-19 | 2010-01-26 | Microsoft Corporation | Failure handling and debugging with causalities |
| US8706776B1 (en) | 2006-06-30 | 2014-04-22 | Sap Ag | Extending status models in a computer system |
| US8365200B1 (en) | 2006-06-30 | 2013-01-29 | Sap Ag | Using cancellation status models in a computer system |
| US8200715B1 (en) | 2006-06-30 | 2012-06-12 | Sap Ag | Using status models with adaptable process steps in a computer system |
| US8522261B2 (en)* | 2006-06-30 | 2013-08-27 | Sap Ag | Using status models with state guards in a computer system |
| US8533687B1 (en) | 2009-11-30 | 2013-09-10 | dynaTrade Software GmbH | Methods and system for global real-time transaction tracing |
| US8464225B2 (en)* | 2007-05-06 | 2013-06-11 | Dynatrace Software Gmbh | Method and system for adaptive, generic code instrumentation using run-time or load-time generated inheritance information for diagnosis and monitoring application performance and failure |
| US9231858B1 (en) | 2006-08-11 | 2016-01-05 | Dynatrace Software Gmbh | Completeness detection of monitored globally distributed synchronous and asynchronous transactions |
| US8694684B2 (en) | 2006-08-21 | 2014-04-08 | Citrix Systems, Inc. | Systems and methods of symmetric transport control protocol compression |
| US8949790B2 (en) | 2006-08-30 | 2015-02-03 | International Business Machines Corporation | Debugging visual and embedded programs |
| US7783799B1 (en) | 2006-08-31 | 2010-08-24 | American Megatrends, Inc. | Remotely controllable switch and testing methods using same |
| JP2010504572A (en)* | 2006-09-20 | 2010-02-12 | ナショナル アイシーティー オーストラリア リミテッド | Generation of transition systems used in model checking |
| US20080114962A1 (en)* | 2006-10-05 | 2008-05-15 | Holt John M | Silent memory reclamation |
| US20080155127A1 (en)* | 2006-10-05 | 2008-06-26 | Holt John M | Multi-path switching networks |
| US7894341B2 (en)* | 2006-10-05 | 2011-02-22 | Waratek Pty Ltd. | Switch protocol for network communications |
| AU2007304895A1 (en)* | 2006-10-05 | 2008-04-10 | Waratek Pty Limited | Advanced contention detection |
| US7739349B2 (en)* | 2006-10-05 | 2010-06-15 | Waratek Pty Limited | Synchronization with partial memory replication |
| US20080140801A1 (en)* | 2006-10-05 | 2008-06-12 | Holt John M | Multiple computer system with dual mode redundancy architecture |
| US20080140975A1 (en)* | 2006-10-05 | 2008-06-12 | Holt John M | Contention detection with data consolidation |
| US20080126372A1 (en)* | 2006-10-05 | 2008-05-29 | Holt John M | Cyclic redundant multiple computer architecture |
| US20080114853A1 (en)* | 2006-10-05 | 2008-05-15 | Holt John M | Network protocol for network communications |
| US20080133859A1 (en)* | 2006-10-05 | 2008-06-05 | Holt John M | Advanced synchronization and contention resolution |
| US7852845B2 (en)* | 2006-10-05 | 2010-12-14 | Waratek Pty Ltd. | Asynchronous data transmission |
| US20080133869A1 (en)* | 2006-10-05 | 2008-06-05 | Holt John M | Redundant multiple computer architecture |
| US20080140805A1 (en)* | 2006-10-05 | 2008-06-12 | Holt John M | Multiple network connections for multiple computers |
| US20080140863A1 (en)* | 2006-10-05 | 2008-06-12 | Holt John M | Multiple communication networks for multiple computers |
| US20080120478A1 (en)* | 2006-10-05 | 2008-05-22 | Holt John M | Advanced synchronization and contention resolution |
| US20080133692A1 (en)* | 2006-10-05 | 2008-06-05 | Holt John M | Multiple computer system with redundancy architecture |
| WO2008040083A1 (en)* | 2006-10-05 | 2008-04-10 | Waratek Pty Limited | Adding one or more computers to a multiple computer system |
| US7949837B2 (en)* | 2006-10-05 | 2011-05-24 | Waratek Pty Ltd. | Contention detection and resolution |
| US20080134189A1 (en)* | 2006-10-05 | 2008-06-05 | Holt John M | Job scheduling amongst multiple computers |
| US7958329B2 (en)* | 2006-10-05 | 2011-06-07 | Waratek Pty Ltd | Hybrid replicated shared memory |
| WO2008040071A1 (en)* | 2006-10-05 | 2008-04-10 | Waratek Pty Limited | Contention detection |
| US20080120477A1 (en)* | 2006-10-05 | 2008-05-22 | Holt John M | Contention detection with modified message format |
| US20080250221A1 (en)* | 2006-10-09 | 2008-10-09 | Holt John M | Contention detection with data consolidation |
| US8429613B2 (en) | 2006-10-31 | 2013-04-23 | Microsoft Corporation | Stepping and application state viewing between points |
| US8296737B2 (en)* | 2006-11-03 | 2012-10-23 | International Business Machines Corporation | Computer program for tracing impact of errors in software applications |
| US8495592B2 (en)* | 2006-11-28 | 2013-07-23 | International Business Machines Corporation | Presenting completion progress status of an installer via join points |
| US8307337B2 (en) | 2006-12-01 | 2012-11-06 | Murex S.A.S. | Parallelization and instrumentation in a producer graph oriented programming framework |
| US7865872B2 (en) | 2006-12-01 | 2011-01-04 | Murex S.A.S. | Producer graph oriented programming framework with undo, redo, and abort execution support |
| US8332827B2 (en) | 2006-12-01 | 2012-12-11 | Murex S.A.S. | Produce graph oriented programming framework with scenario support |
| US8191052B2 (en) | 2006-12-01 | 2012-05-29 | Murex S.A.S. | Producer graph oriented programming and execution |
| US8219650B2 (en)* | 2006-12-28 | 2012-07-10 | Sap Ag | Communicating with a status management component in a computer system |
| US8065688B2 (en)* | 2007-01-23 | 2011-11-22 | Microsoft Corporation | Transparently capturing the causal relationships between requests across distributed applications |
| US8135572B2 (en)* | 2007-01-23 | 2012-03-13 | Microsoft Corporation | Integrated debugger simulator |
| US20080209405A1 (en)* | 2007-02-28 | 2008-08-28 | Microsoft Corporation | Distributed debugging for a visual programming language |
| US7707459B2 (en) | 2007-03-08 | 2010-04-27 | Whirlpool Corporation | Embedded systems debugging |
| US8244772B2 (en)* | 2007-03-29 | 2012-08-14 | Franz, Inc. | Method for creating a scalable graph database using coordinate data elements |
| US7890518B2 (en)* | 2007-03-29 | 2011-02-15 | Franz Inc. | Method for creating a scalable graph database |
| US7917900B2 (en)* | 2007-03-30 | 2011-03-29 | Microsoft Corporation | Enabling analysis of software source code |
| US8316190B2 (en)* | 2007-04-06 | 2012-11-20 | Waratek Pty. Ltd. | Computer architecture and method of operation for multi-computer distributed processing having redundant array of independent systems with replicated memory and code striping |
| US9047412B2 (en) | 2007-05-06 | 2015-06-02 | Dynatrace Corporation | System and method for extracting instrumentation relevant inheritance relationships for a distributed, inheritance rule based instrumentation system |
| US7788542B2 (en)* | 2007-05-31 | 2010-08-31 | Red Hat, Inc. | Debugging in a distributed system |
| US8752065B2 (en)* | 2007-05-31 | 2014-06-10 | Red Hat, Inc. | Rules engine for a persistent message store |
| US7937497B2 (en)* | 2007-05-31 | 2011-05-03 | Red Hat, Inc. | Apparatus for selectively copying at least portions of messages in a distributed computing system |
| US7721158B2 (en)* | 2007-06-04 | 2010-05-18 | Microsoft Corporation | Customization conflict detection and resolution |
| US8276124B2 (en)* | 2007-06-20 | 2012-09-25 | Microsoft Corporation | Constructing petri nets from traces for diagnostics |
| US7925487B2 (en)* | 2007-06-29 | 2011-04-12 | Microsoft Corporation | Replaying distributed systems |
| US8533678B2 (en)* | 2007-07-13 | 2013-09-10 | Digi International Inc. | Embedded device program debug control |
| US20090064092A1 (en)* | 2007-08-29 | 2009-03-05 | Microsoft Corporation | Visual programming language optimization |
| KR101473337B1 (en)* | 2007-10-01 | 2014-12-16 | 삼성전자 주식회사 | Method and apparatus for determining interface compatibility based on a component model |
| US8826242B2 (en)* | 2007-11-27 | 2014-09-02 | Microsoft Corporation | Data driven profiling for distributed applications |
| FR2927438B1 (en)* | 2008-02-08 | 2010-03-05 | Commissariat Energie Atomique | METHOD FOR PRECHARGING IN A MEMORY HIERARCHY CONFIGURATIONS OF A RECONFIGURABLE HETEROGENETIC INFORMATION PROCESSING SYSTEM |
| US7933759B2 (en)* | 2008-03-28 | 2011-04-26 | Microsoft Corporation | Predicate checking for distributed systems |
| US8504980B1 (en) | 2008-04-14 | 2013-08-06 | Sap Ag | Constraining data changes during transaction processing by a computer system |
| CA2720897C (en) | 2008-04-28 | 2015-06-30 | Salesforce.Com, Inc. | Object-oriented system for creating and managing websites and their content |
| US8473085B2 (en)* | 2008-04-30 | 2013-06-25 | Perkinelmer Las, Inc. | Mutex-mediated control of spatial access by appliances moveable over a common physical space |
| US20090319993A1 (en)* | 2008-06-24 | 2009-12-24 | Microsoft Corporation, | Generalized and extensible software architecture representation |
| US7747742B2 (en) | 2008-06-27 | 2010-06-29 | Microsoft Corporation | Online predicate checking for distributed systems |
| JP5195149B2 (en)* | 2008-08-11 | 2013-05-08 | 富士通株式会社 | Authenticity judgment method |
| US8307345B2 (en)* | 2008-11-04 | 2012-11-06 | Ca, Inc. | Intelligent engine for dynamic and rule based instrumentation of software |
| US9703678B2 (en)* | 2008-12-23 | 2017-07-11 | Microsoft Technology Licensing, Llc | Debugging pipeline for debugging code |
| US20100235809A1 (en)* | 2009-03-12 | 2010-09-16 | Honeywell International Inc. | System and method for managing a model-based design lifecycle |
| US8392876B2 (en)* | 2009-05-18 | 2013-03-05 | National Instruments Corporation | Cooperative execution of graphical data flow programs in multiple browsers |
| KR101060181B1 (en)* | 2009-08-03 | 2011-08-29 | 강원대학교산학협력단 | Web-based software debugging device and its method for remote debugging |
| US8321454B2 (en)* | 2009-09-14 | 2012-11-27 | Myspace Llc | Double map reduce distributed computing framework |
| US20110131450A1 (en)* | 2009-11-30 | 2011-06-02 | Microsoft Corporation | Using synchronized event types for testing an application |
| US8863088B2 (en)* | 2010-02-08 | 2014-10-14 | Red Hat, Inc. | Simulating a line of source code in a debugging tool |
| US20110228696A1 (en)* | 2010-03-19 | 2011-09-22 | Navneet Agarwal | Dynamic directed acyclic graph (dag) topology reporting |
| US9111031B2 (en)* | 2010-04-16 | 2015-08-18 | Salesforce.Com, Inc. | Method and system for simulating and analyzing code execution in an on-demand service environment |
| DE112010005509T8 (en)* | 2010-04-23 | 2013-05-16 | Samsung Heavy Ind. Co., Ltd. | Robotic system control method and apparatus thereof |
| US8443342B2 (en) | 2010-06-01 | 2013-05-14 | Microsoft Corporation | Static analysis using interactive and integration tools |
| US9223892B2 (en) | 2010-09-30 | 2015-12-29 | Salesforce.Com, Inc. | Device abstraction for page generation |
| KR101649925B1 (en)* | 2010-10-13 | 2016-08-31 | 삼성전자주식회사 | Analysis for Single Thread Access of variable in Multi-threaded program |
| US8935360B2 (en) | 2010-12-03 | 2015-01-13 | Salesforce.Com, Inc. | Techniques for metadata-driven dynamic content serving |
| US20120253857A1 (en)* | 2011-03-28 | 2012-10-04 | Infosys Technologies Limited | Structured methods for business process unification |
| US9274919B2 (en) | 2011-04-29 | 2016-03-01 | Dynatrace Software Gmbh | Transaction tracing mechanism of distributed heterogenous transactions having instrumented byte code with constant memory consumption and independent of instrumented method call depth |
| US8296708B1 (en)* | 2011-05-24 | 2012-10-23 | Springsoft Inc. | Method of constraint-hierarchy-driven IC placement |
| AT511334B1 (en)* | 2011-07-14 | 2012-11-15 | Fronius Int Gmbh | WELDING CURRENT SOURCE AND METHOD FOR CONTROLLING THEREOF |
| US9805094B2 (en)* | 2011-11-04 | 2017-10-31 | Ipc Systems, Inc. | User interface displaying filtered information |
| EP2610746A1 (en)* | 2011-12-30 | 2013-07-03 | bioMérieux | Job scheduler for electromechanical system for biological analysis |
| US9251039B2 (en)* | 2012-02-17 | 2016-02-02 | Microsoft Technology Licensing, Llc | Remote debugging as a service |
| US8996472B2 (en) | 2012-04-16 | 2015-03-31 | Sap Se | Verification of status schemas based on business goal definitions |
| US8924939B2 (en) | 2012-05-09 | 2014-12-30 | International Business Machines Corporation | Streams debugging within a windowing condition |
| US8898643B2 (en)* | 2012-06-19 | 2014-11-25 | Sap Se | Application trace replay and simulation systems and methods |
| US9710357B2 (en)* | 2012-08-04 | 2017-07-18 | Microsoft Technology Licensing, Llc | Function evaluation using lightweight process snapshots |
| US8996473B2 (en) | 2012-08-06 | 2015-03-31 | Sap Se | Checking compatibility of extended and core SAM schemas based on complex goals |
| US9146829B1 (en)* | 2013-01-03 | 2015-09-29 | Amazon Technologies, Inc. | Analysis and verification of distributed applications |
| US9448820B1 (en) | 2013-01-03 | 2016-09-20 | Amazon Technologies, Inc. | Constraint verification for distributed applications |
| US9804945B1 (en) | 2013-01-03 | 2017-10-31 | Amazon Technologies, Inc. | Determinism for distributed applications |
| US10223450B1 (en)* | 2013-03-14 | 2019-03-05 | Google Llc | Data delivery |
| WO2014178829A1 (en)* | 2013-04-30 | 2014-11-06 | Hewlett-Packard Development Company, L.P. | Dependencies between feature flags |
| US10417594B2 (en) | 2013-05-02 | 2019-09-17 | Sap Se | Validation of functional correctness of SAM schemas including action chains |
| WO2014184614A1 (en) | 2013-05-13 | 2014-11-20 | Freescale Semiconductor, Inc. | Method and apparatus for enabling temporal alignment of debug information |
| US10339229B1 (en) | 2013-05-31 | 2019-07-02 | Cadence Design Systems, Inc. | Simulation observability and control of all hardware and software components of a virtual platform model of an electronics system |
| US9361202B2 (en)* | 2013-07-18 | 2016-06-07 | International Business Machines Corporation | Filtering system noises in parallel computer systems during thread synchronization |
| US8880999B1 (en) | 2013-09-20 | 2014-11-04 | Axure Software Solutions, Inc. | Language notification generator |
| FR3011955B1 (en)* | 2013-10-10 | 2015-10-30 | Bull Sas | METHOD FOR DEPLOYING AN APPLICATION, CORRESPONDING COMPUTER PROGRAM, SYSTEM FOR DEPLOYING AN APPLICATION, AND INSTALLATION COMPRISING THE DEPLOYMENT SYSTEM |
| US9098377B1 (en) | 2014-05-30 | 2015-08-04 | Semmle Limited | Aggregating source code metric values |
| US10505826B2 (en)* | 2014-09-26 | 2019-12-10 | Oracle International Corporation | Statistical pattern correlation of events in cloud deployments using codebook approach |
| EP3021217A1 (en)* | 2014-11-14 | 2016-05-18 | Semmle Limited | Distributed analysis and attribution of source code |
| US9785777B2 (en)* | 2014-12-19 | 2017-10-10 | International Business Machines Corporation | Static analysis based on abstract program representations |
| US11487561B1 (en) | 2014-12-24 | 2022-11-01 | Cadence Design Systems, Inc. | Post simulation debug and analysis using a system memory model |
| US10460047B1 (en)* | 2015-02-27 | 2019-10-29 | The Mathworks, Inc. | Tentative model components |
| US10834065B1 (en) | 2015-03-31 | 2020-11-10 | F5 Networks, Inc. | Methods for SSL protected NTLM re-authentication and devices thereof |
| US9727394B2 (en) | 2015-04-27 | 2017-08-08 | Microsoft Technology Licensing, Llc | Establishing causality order of computer trace records |
| 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 |
| US9971573B2 (en)* | 2015-06-18 | 2018-05-15 | The Joan and Irwin Jacobs Technion-Cornell Institute | Computing platform and method thereof for searching, executing, and evaluating computational algorithms |
| US10802852B1 (en)* | 2015-07-07 | 2020-10-13 | Cadence Design Systems, Inc. | Method for interactive embedded software debugging through the control of simulation tracing components |
| US9720652B2 (en)* | 2015-08-06 | 2017-08-01 | Symphore, LLC | Generating a software complex using superordinate design input |
| US20170090890A1 (en)* | 2015-09-30 | 2017-03-30 | Semmle Limited | Virtual compositions |
| US9672135B2 (en) | 2015-11-03 | 2017-06-06 | Red Hat, Inc. | System, method and apparatus for debugging of reactive applications |
| US10341413B2 (en)* | 2016-01-04 | 2019-07-02 | Hangzhou Yameilijia Technology Co., Ltd. | Method and system for synchronizing robot with server |
| US10404698B1 (en) | 2016-01-15 | 2019-09-03 | F5 Networks, Inc. | Methods for adaptive organization of web application access points in webtops and devices thereof |
| US9779012B1 (en)* | 2016-02-26 | 2017-10-03 | Mbit Wireless, Inc. | Dynamic and global in-system debugger |
| US10268568B2 (en)* | 2016-03-29 | 2019-04-23 | Infosys Limited | System and method for data element tracing |
| US11663110B2 (en)* | 2016-10-31 | 2023-05-30 | International Business Machines Corporation | Analysis to check web API code usage and specification |
| US11086755B2 (en)* | 2017-06-26 | 2021-08-10 | Jpmorgan Chase Bank, N.A. | System and method for implementing an application monitoring tool |
| US10416974B2 (en) | 2017-10-06 | 2019-09-17 | Chicago Mercantile Exchange Inc. | Dynamic tracer message logging based on bottleneck detection |
| WO2019099008A1 (en) | 2017-11-16 | 2019-05-23 | Hewlett-Packard Development Company, L.P. | Software builds using a cloud system |
| US10649884B2 (en) | 2018-02-08 | 2020-05-12 | The Mitre Corporation | Methods and system for constrained replay debugging with message communications |
| US10564940B2 (en)* | 2018-05-03 | 2020-02-18 | International Business Machines Corporation | Systems and methods for programming drones |
| US10430321B1 (en)* | 2018-08-21 | 2019-10-01 | International Business Machines Corporation | White box code concurrency testing for transaction processing |
| CN109508260B (en)* | 2018-10-31 | 2021-11-12 | 西北工业大学 | Reliability modeling and analyzing method for self-repairing processor to lockstep system |
| US11556374B2 (en) | 2019-02-15 | 2023-01-17 | International Business Machines Corporation | Compiler-optimized context switching with compiler-inserted data table for in-use register identification at a preferred preemption point |
| US11514019B1 (en) | 2019-12-30 | 2022-11-29 | Cigna Intellectual Property, Inc. | Systems and methods for maintaining and updating an event logging database |
| US11204767B2 (en) | 2020-01-06 | 2021-12-21 | International Business Machines Corporation | Context switching locations for compiler-assisted context switching |
| US11762858B2 (en) | 2020-03-19 | 2023-09-19 | The Mitre Corporation | Systems and methods for analyzing distributed system data streams using declarative specification, detection, and evaluation of happened-before relationships |
| CN114546820B (en)* | 2020-11-24 | 2022-12-30 | 华为技术有限公司 | Application program debugging method and electronic equipment |
| US11681603B2 (en) | 2021-03-31 | 2023-06-20 | International Business Machines Corporation | Computer generation of illustrative resolutions for reported operational issues |
| US20220334836A1 (en)* | 2021-04-15 | 2022-10-20 | Dell Products L.P. | Sharing of computing resources between computing processes of an information handling system |
| LU500132B1 (en)* | 2021-05-06 | 2022-11-08 | Microsoft Technology Licensing Llc | Automated root cause identification using data flow analysis of plural execution traces |
| US12307179B2 (en)* | 2021-08-27 | 2025-05-20 | Synopsys, Inc. | Detecting simulation, emulation and prototyping issues using static analysis tools |
| US12124822B2 (en)* | 2022-08-25 | 2024-10-22 | International Business Machines Corporation | Mining code expressions for data analysis |
| US20240152429A1 (en)* | 2022-11-04 | 2024-05-09 | Microsoft Technology Licensing, Llc | Recoverable Processes |
| US11843663B1 (en)* | 2023-01-03 | 2023-12-12 | Huawei Cloud Computing Technologies Co., Ltd. | Vector-scalar logical clock and associated method, apparatus and system |