Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency Models

The upcoming many-core architectures require software developers to exploit concurrency to utilize available computational power. Today's high-level language virtual machines (VMs), which are a cornerstone of software development, do not provide sufficient abstraction for concurrency concepts. We analyze concrete and abstract concurrency models and identify the challenges they impose for VMs. To provide sufficient concurrency support in VMs, we propose to integrate concurrency operations into VM instruction sets. Since there will always be VMs optimized for special purposes, our goal is to develop a methodology to design instruction sets with concurrency support. Therefore, we also propose a list of trade-offs that have to be investigated to advise the design of such instruction sets. As a first experiment, we implemented one instruction set extension for shared memory and one for non-shared memory concurrency. From our experimental results, we derived a list of requirements for a full-grown experimental environment for further research

Engineering simulations for cancer systems biology

Computer simulation can be used to inform in vivo and in vitro experimentation, enabling rapid, low-cost hypothesis generation and directing experimental design in order to test those hypotheses. In this way, in silico models become a scientific instrument for investigation, and so should be developed to high standards, be carefully calibrated and their findings presented in such that they may be reproduced. Here, we outline a framework that supports developing simulations as scientific instruments, and we select cancer systems biology as an exemplar domain, with a particular focus on cellular signalling models. We consider the challenges of lack of data, incomplete knowledge and modelling in the context of a rapidly changing knowledge base. Our framework comprises a process to clearly separate scientific and engineering concerns in model and simulation development, and an argumentation approach to documenting models for rigorous way of recording assumptions and knowledge gaps. We propose interactive, dynamic visualisation tools to enable the biological community to interact with cellular signalling models directly for experimental design. There is a mismatch in scale between these cellular models and tissue structures that are affected by tumours, and bridging this gap requires substantial computational resource. We present concurrent programming as a technology to link scales without losing important details through model simplification. We discuss the value of combining this technology, interactive visualisation, argumentation and model separation to support development of multi-scale models that represent biologically plausible cells arranged in biologically plausible structures that model cell behaviour, interactions and response to therapeutic interventions

Safe Concurrency Introduction through Slicing

Traditional refactoring is about modifying the structure of existing code without changing its behaviour, but with the aim of making code easier to understand, modify, or reuse. In this paper, we introduce three novel refactorings for retrofitting concurrency to Erlang applications, and demonstrate how the use of program slicing makes the automation of these refactorings possible

Investigating the impact of networking capability on firm innovation performance:using the resource-action-performance framework

The author's final peer reviewed version can be found by following the URI link. The Publisher's final version can be found by following the DOI link.Purpose The experience of successful firms has proven that one of the most important ways to promote co-learning and create successful networked innovations is the proper application of inter-organizational knowledge mechanisms. This study aims to use a resource-action-performance framework to open the black box on the relationship between networking capability and innovation performance. The research population embraces companies in the Iranian automotive industry. Design/methodology/approach Due to the latent nature of the variables studied, the required data are collected through a web-based cross-sectional survey. First, the content validity of the measurement tool is evaluated by experts. Then, a pre-test is conducted to assess the reliability of the measurement tool. All data are gathered by the Iranian Vehicle Manufacturers Association (IVMA) and Iranian Auto Parts Manufacturers Association (IAPMA) samples. The power analysis method and G*Power software are used to determine the sample size. Moreover, SmartPLS 3 and IBM SPSS 25 software are used for data analysis of the conceptual model and relating hypotheses. Findings The results of this study indicated that the relationships between networking capability, inter-organizational knowledge mechanisms and inter-organizational learning result in a self-reinforcing loop, with a marked impact on firm innovation performance. Originality/value Since there is little understanding of the interdependencies of networking capability, inter-organizational knowledge mechanisms, co-learning and their effect on firm innovation performance, most previous research studies have focused on only one or two of the above-mentioned variables. Thus, their cumulative effect has not examined yet. Looking at inter-organizational relationships from a network perspective and knowledge-based view (KBV), and to consider the simultaneous effect of knowledge mechanisms and learning as intermediary actions alongside, to consider the performance effect of the capability-building process, are the main advantages of this research