Abstract: Systems and methods for fracturing a formation are provided. A method includes generating a subsurface model including the production formation and a zone proximate to the production formation. A number of scenarios are simulated in which a volumetric change is created in the zone proximate to the production formation. A scenario is selected from the plurality of scenarios to stimulate the production formation. The scenario is performed to create a fracture field in the production formation.

Abstract: Systems and methods are described for fracturing a production formation. A method includes drilling a well into a zone proximate to a production formation, and increasing a volume of the zone through the well in order to apply a mechanical stress to the production formation.

Abstract: Method for prediction of mechanical properties used in the description of large-strain plastic deformation for any subsurface rock strata of interest. The method is not specific to any geographic region, geological environment or subsurface depth interval, nor is it constrained to a specific lithology or plastic mechanical property. Predictive algorithms for triaxial compressive strength and rock compressibility are derived (23) from a mechanical properties database (21), and used to predict subsurface variation in mechanical properties such as rock strength or rock compressibility, with petrophysical properties generated from, for example, geophysical wireline logs as input to the algorithms (26).

Abstract: Various technologies and techniques are disclosed that provide an integrated debugger simulator. A debugger is provided that allows a user to debug an application in a live mode. A simulator is provided to read recorded data from an earlier point in time in an execution of the application. An integrated debugger simulator is provided by multiplexing the debugger between the application in the live mode and the simulator that reads the recorded data. A simulation mode is provided to allow the user to interact with the recorded data using the debugger. In this simulation mode, the user is able to interact with the recorded data using commands and data views available in the debugger. The user can multiplex between the live mode and the simulation mode from within the debugger.

Abstract: A development environment in which unit tests are prepared. The unit tests run in a host environment for more complete and accurate testing of program units. The development environment uses a test execution shim to access an adapter running in the host environment. The host adapter may invoke other program objects that run specific tests. Such objects may late bind to the unit under test. An accessor class may facilitate late binding to the specific unit under test while allowing tests authored in the development environment to use context sensitive information needed to access the unit under test.

Abstract: Method for prediction of mechanical properties used in the description of large-strain plastic deformation for any subsurface rock strata of interest. The method is not specific to any geographic region, geological environment or subsurface depth interval, nor is it constrained to a specific lithology or plastic mechanical property. Predictive algorithms for triaxial compressive strength and rock compressibility are derived (23) from a mechanical properties database (21), and used to predict subsurface variation in mechanical properties such as rock strength or rock compressibility, with petrophysical properties generated from, for example, geophysical wireline logs as input to the algorithms (26).

Abstract: Various technologies and techniques are disclosed that indirectly correlate event streams on multiple computers. Event details are retrieved for multiple data streams from each of the computers. The event details include a task identifier and ordering identifier for each event in the data streams on each computer. The task identifiers and ordering identifiers are unique to each computer, allowing the events to be correlated with the other events on the same computer only. A uniqueness token is retrieved that provides direct correlation information about how a particular event on the first computer is directly correlated to a particular event on the second computer. An indirect event stream correlation process uses the directly correlated information in combination with the respective task identifiers and respective ordering identifiers from the first and second computers to establish an ordering between the events on the first computer and the events on the second computer.

Abstract: A debugging pipeline may be developed to create a debugging experience for computer code operating in an execution environment, using a debugging tool outside of the execution environment. A producer can publish a debugging pipeline, configured to link the producer to a consumer (e.g., a debugging tool) by exposing a debugging pipeline interface object to a consumer. The debugging pipeline can implement a set of debugging protocols, comprising: protocol for processing of debugging requests for computer code in at least one of at least two computer languages; a protocol configured for processing of computer code language types in respective signatures without exposing operating system specific constructs; and a protocol for a first debugging pipeline to be isolated from one or more second debugging pipelines. Additionally, a consumer component can provide debugging of the computer code in the execution environment.

Abstract: A system and method of providing edit and continue support in a software program debugging environment. “Edit and continue” support allows a user (e.g., programmer and/or developer) to update the code and/or data structure(s) of an executing program while it is running. After the user has finished editing their code and resumes execution, an integrated development environment (IDE) propagates the edit(s) into a common language runtime (CLR) environment before continuing. Therefore, from the CLR environment's perspective, an edit is a block of intermediate language code (IL) and/or metadata that is inserted into a running process. Moreover, The IDE can facilitate: determining “legality” of an edit; building the edit; sending the edit to the CLR environment; and/or, facilitating the CLR environment switch execution to the edited code.

Abstract: Various technologies and techniques are disclosed that indirectly correlate event streams on multiple computers. Event details are retrieved for multiple data streams from each of the computers. The event details include a task identifier and ordering identifier for each event in the data streams on each computer. The task identifiers and ordering identifiers are unique to each computer, allowing the events to be correlated with the other events on the same computer only. A uniqueness token is retrieved that provides direct correlation information about how a particular event on the first computer is directly correlated to a particular event on the second computer. An indirect event stream correlation process uses the directly correlated information in combination with the respective task identifiers and respective ordering identifiers from the first and second computers to establish an ordering between the events on the first computer and the events on the second computer.

Abstract: Various technologies and techniques are disclosed that provide an integrated debugger simulator. A debugger is provided that allows a user to debug an application in a live mode. A simulator is provided to read recorded data from an earlier point in time in an execution of the application. An integrated debugger simulator is provided by multiplexing the debugger between the application in the live mode and the simulator that reads the recorded data. A simulation mode is provided to allow the user to interact with the recorded data using the debugger. In this simulation mode, the user is able to interact with the recorded data using commands and data views available in the debugger. The user can multiplex between the live mode and the simulation mode from within the debugger.