The paper introduces Self-Replicating Objects (SROs), a new concurrent programming abstraction. An SRO is implemented and used much like an ordinary .NET object and can expose arbitrary user-defined APIs, but it is aggressive about automatically exploiting multicore CPUs. It does so by spontaneously and transparently partitioning its state into a set of replicas that handle method calls in para...

In the article an approach for verification of procedural programs via building their corresponding generalized nets models is described. This approach integrates the concept of “design by contract” with approaches for verification of type theorem proofs and models consistency check. For this purpose, functions which compose the program, are verified separately according to their specifications...

Call admission control algorithms that reduce dropped calls in CDMA cellular systems are discussed in this paper. The capacity of a CDMA system is con ned by interference of users from both inside and outside of the target cell. Earlier algorithms for call admission control is based on the e ective traÆc load for the target cell if one call is accepted. These algorithms ignore the interference ...

In this paper, we compare the availability and performance of a wireless TDMA system with and without automatic protection switching. Stochastic reward net models are constructed and solved by SPNP (Stochastic Petri Net Package). Hierarchical decomposition is adopted to simplify the analysis. The optimization of the number of guard channels reserved for the handoff calls is studied. Numerical r...

Each component platform (Jonas, JBoss, OpenCCM, .NET, Julia) proposes its own software infrastructure. Objects like containers, controllers, interceptors compose the architecture of these platforms. These objects play a different role in the treatment of the requests depending on the platform. To integrate a new service in different component platforms, the developer has to understand the archi...

The last decade has witnessed an increasing transformation in the design, engineering, and mining of processes, moving from a pure control-flow perspective to more integrated models where also data and decisions are explicitly considered. This calls for methods and techniques able to ascertain the correctness of such integrated models. Differently from previous approaches, which mainly focused ...

Perceived risks from carbon dioxide removal have led to calls for net zero targets be split into separate goals removals and emissions. A better approach is accompany with ambitious near-term action, disclose measures achieve them closely monitor manage sinks.