Ill order to scale-up to real-~vorlcl problems, planning systems must be able to rc~)lal) in order to deal with changes i~~ problerll context. In this paper we describe hierarchical task network and operatorbased rc-planning techniclues which allow adaptation of a previous plan to account for problems associated with executing plans in real-world d~ mains with uncertainty, concurrency, changing...

We present a concurrency model that allows reasoning about concurrency in executable specifications of streaming applications. It provides measures for five different concurrency properties. The aim of the model is to provide insight into concurrency bottlenecks in an application and to provide global direction when performing implementationindependent concurrency optimization. The model focuse...

CAST is a system-level software tool that supports the design of concurrent systems. It assumes that the functional model of a system is specified as a set of compute nodes that communicate with each other using point-to-point connections. CAST provides concurrency analysis, support for refinement of the concurrency in the model to implement, and guidance in the design-space exploration. Its ma...

Three task assignment metrics, intensity, concurrency and fragmentation, were previously found to significantly impact development effort. Intensity measures the degree of focus on a particular task. Concurrency refers to the degree to which team members are working together cooperatively on given tasks. Fragmentation measures the degree to which a team’s time is fragmented across multiple task...

Concurrency control is one of the important problems in operation systems. Various studies have been reported to present different algorithms to address this problem, although a few attempts have been made to represent an overall view of the characteristics of these algorithms and comparison of their capabilities to each other. This paper presents a survey of the current methods for controlling...

The task of programming concurrent systems is substantially more difficult than the task of programming sequential systems with respect to both correctness and efficiency. The tendency in development of embedded hardware and processors are shifting to multi core and multiprocessor setups as well. This means that the problem of easy concurrency is an important problem for embedded systems as wel...

The task of programming concurrent systems is substantially more difficult than the task of programming sequential systems with respect to both correctness and efficiency. Nowadays multi core processors are common. The tendency in development of embedded hardware and processors are shifting to multi core and multiprocessor setups as well. This means that the problem of easy concurrency is an im...

Testing is a vital part of the software development process. It is even more so in the context of concurrent languages, since due to undesired task interleavings and to unexpected behaviours of the underlying task scheduler, errors can go easily undetected. This paper studies the extension of the CLP-based framework for glass-box test data generation of sequential programs to the context of con...

concurrency control is one of the important problems in operation systems. various studies have been reported to present different algorithms to address this problem, although a few attempts have been made to represent an overall view of the characteristics of these algorithms and comparison of their capabilities to each other. this paper presents a survey of the current methods for controlling...

Expressing concurrency of applications has always been a challenging and error-prone task, yet effective use of multi-core processors and hardware implementations requires that the concurrency of applications be well represented and understood. One approach to the expression of concurrency is streaming. In this paper I express the classic problem of sorting in the streaming paradigm, and explor...