Sentence examples for executions of a software from inspiring English sources

Runtime verification bridges the gap between formal verification and testing by providing techniques and tools that connect executions of a software to its specification without trying to prove the absence of errors.

In this approach all configurations are treated as equal by setting their individual interaction value to zero at the beginning of execution of a software system.

In order to enable dynamic software reconfiguration for stream based systems, our work allows the concurrent execution of multiple versions of a software component.

In this paper, we present ACL/1, an XML based Application Composition Language, that describes the architectural view of a software system while at the same time enabling the execution of the software application.

Pipelining has been applied in many area to improve system performance by overlapping executions of hardware or software computing stages.

Its design goal is to permit the execution of application software inside a Web browser, which resembles the original goal of the JVM.

An approach for runnable migration in a NoC-based multi-core system has been proposed as a way to decrease the number of cores needed for guaranteeing safe execution of a hard real-time software.

In this sense, there is a necessity of a methodology that guides along application design, implementation as well as the execution of the software systems.

In this paper we are focusing on the problem of customizing data structures instances during the execution of software systems using a supervised learning approach.

Successful execution of CPANNatNIC software is dependent on available Java heap memory.

Any changes will be detected by the comparison, and appropriate actions can be taken to prevent execution of modified software or hardware.