We present an optimal solution to the problem of allocating communicating periodic tasks to heterogeneous processing nodes (PNs) in a distributed real-time system. The solution is optimal in the sense of minimizing the maximum normalized task response time, called the system hazard, subject to the precedence constraints resulting from intercommunication among the tasks to be allocated. Minimiza...

Image computation is the core task in any formal verification applications like reachable states computation or model checking. In OBDD-based image computation a partitioned representation of the transition relation is used. The quality of the partitioning and the schedule in which the partitions are processed is crucial for the efficiency of the image computation. In this paper we describe an ...

we use a multi-resolution analysis based on a wavelet transform to upscale a 3d fractured reservoir. this paper describes a 3d, single-phase, and black-oil geological model (gm) that is used to simulate naturally-fractured reservoirs. the absolute permeability and porosity of gm is upscaled by all the possible combinations of haar, bior1.3, and db4 wavelets in three levels of coarsening. the ap...

Nature inspired computation is a general term referring to computing inspired by nature. It is an emerging interdisciplinary area and so far a range of techniques and methods are studied for dealing with large, complex, and dynamic problems. The idea is to mimic (concepts, principles and mechanisms) the complex phenomena occurring in the nature as computational processes in order to enhance the...

The concept of morphological computation holds that the body of an agent can, under certain circumstances, exploit the interaction with the environment to achieve useful behavior, potentially reducing the computational burden of the brain/controller. The conditions under which such phenomenon arises are, however, unclear. We hypothesize that morphological computation will be facilitated by body...

Human computation is the technique of performing a computational process by outsourcing some of the difficult-toautomate steps to humans. In the social and behavioral sciences, when using humans as measuring instruments, reproducibility guides the design and evaluation of experiments. We argue that human computation has similar properties, and that the results of human computation must be repro...

PREFACE Several computational analytic tools have matured in the last 10 to 15 years that facilitate solving problems that were previously difficult or impossible to solve. These new analytical tools, known collectively as computational intelligence tools, include artificial neural networks, fuzzy systems, and evolutionary computation. They have recently been combined among themselves as well a...

Sparse tensors arise in problems science, engineering, machine learning, and data analytics. Programs that operate on such can exploit sparsity to reduce storage requirements computational time. Developing maintaining sparse software by hand, however, is a complex error-prone task. Therefore, we propose treating as property of tensors, not tedious implementation task, letting compiler generate ...