This paper tries to generate an appropriate concurrency control program by using genetic programming (GP). Although two variables have been introduced for generating concurrency control programs, these made program generation difficult because of the explosion of combination. By limiting the usage of variables to one of two variables, an appropriate program could be generated. This method, howe...

Event-driven programs are prone to concurrency bugs due their inherent nature of handling asynchronous events. Asynchronous events introduce logical concurrency into these programs making them hard to be thoroughly tested and debugged. However, understanding the root causes and characteristics of concurrency bugs can ease the debugging process and help developers to avoid introducing them. Unfo...

In this paper we show that true concurrency is not the same as interleaving concur rency for systems that allow read access More precisely whenever two actions are interleavingly concurrent they are also truly concurrent but the converse is not al ways true due to a phenomena that we call weak con ict that allows the possibility of one writer to act in parallel with one or many readers

Now that the field of automated synthesis for register transfer level integrated circuit design is beginning to mature, it is appropriate to begin developing tools for higher levels of design. At the next higher level, it is appropriate to explore behavioral and structural partitioning, answering such questions about the design as: • Should the design be implemented on a single VLSI chip, or pa...

Industrial control hardware may be reused for several purposes. The same industrial PC type may control the drives of a portal system, act as a programmable logic controller, or control any other device. Moreover the same piece of hardware may control different device types at the same time in concurrency. In this paper, we discuss four successive software engineering approaches to exploit the ...

This paper presents a number of results about reuse in a real life project. . The project, called AEFTA, develops a factory automation application (a FMS cell controller) using commercially available tools: DEC BASEstar Open a shop-floor distributed system for application integration; and SYCO G++ an object-oriented environment with a large library of C++ classes (data structures, GUI building,...

BACKGROUND The current debate about the role of concurrent sexual partnerships in the spread of HIV is influenced by limited or weak empirical data on concurrency. There is still uncertainty about the most basic statistics and little is known about how concurrency is changing. METHODS Longitudinal data (n=2958) with repeated concurrency measures were employed to examine the prevalence of indi...