Traditional code based coverage criteria for industrial programs are rarely met in practice due to the large size of the coverage list. In addition, debugging industrial programs is hard due to the large search space. A new tool, REDBUG, is introduced. REDBUG is based on an optimal search in structured domain technology. REDBUG supports a reduced coverage criterion rendering the coverage of ind...

In a high-capacity cellular network with limited spectral resources, it is desirable to minimize the radio bandwidth costs associated with paging when locating mobile users. Sequential paging, in which cells in the coverage area are partitioned into groups and paged in a non-increasing order of user location probabilities, permits a reduction in the average radio costs of paging at the expense ...

In a high-capacity cellular network with limited spectral resources, it is desirable to minimize the radio bandwidth costs associated with paging when locating mobile users. Sequential paging, in which cells in the coverage area are partitioned into groups and paged in a non-increasing order of user location probabilities, permits a reduction in the average radio costs of paging at the expense ...

extended abstract 1. introduction mechanical life and pollution in the cities, air pollution and noise pollution and other environmental pollutants led to increasingly citizen’s need to nature and the use of its blessings. naqadeh town located in west azerbaijan state, invites the numbers of passengers from inside and outside of the state, in tourism seasons, yearly. potential element of touris...

This specification describes how DNS SRV records, DNS TXT records, and well-known URIs can be used together or separately to locate CalDAV (Calendaring Extensions to Web Distributed Authoring and Versioning (WebDAV)) or CardDAV (vCard Extensions to WebDAV) services. Information about the current status of this document, any errata, and how to provide feedback on it may be obtained at in effect ...

Acyclic flow networks, present in many infrastructures of national importance (e.g., oil & gas and water distribution systems), have been attracting immense research interest. Existing solutions for detecting and locating attacks against these infrastructures, have been proven costly and imprecise, especially when dealing with large scale distribution systems. In this paper, to the best of our ...

The article contains the rationale for the development of the computer-aided fixture design system (CAFD). The place of the CAFD among other automated systems is considered and the data flows are found between them. The structure of the CAFD system is suggested, which is distinguished by the module of optimization and allows to select the optimal fixture for the given production conditions. The...

Identifying and locating-dominating codes have been studied widely in circulant graphs of type Cn(1, 2, 3, . . . , r) over the recent years. In 2013, Ghebleh and Niepel studied locatingdominating and identifying codes in the circulant graphs Cn(1, d) for d = 3 and proposed as an open question the case of d > 3. In this paper we study identifying, locating-dominating and self-identifying codes i...

BACKGROUND Mathematical modeling has been applied to a range of policy-level decisions on resource allocation for HIV care and treatment. We describe the application of classic operations research (OR) techniques to address logistical and resource management challenges in HIV treatment scale-up activities in resource-limited countries. METHODS We review and categorize several of the major log...