Formal and Informal Methods for Multi-Core Design Space Exploration

We propose a tool-supported methodology for design-space exploration for embedded systems. It provides means to define high-level models of applications and multi-processor architectures and evaluate the performance of different deployment (mapping, scheduling) strategies while taking uncertainty into account. We argue that this extension of the scope of formal verification is important for the viability of the domain.Comment: In Proceedings QAPL 2014, arXiv:1406.156

A compiler approach to scalable concurrent program design

The programmer's most powerful tool for controlling complexity in program design is abstraction. We seek to use abstraction in the design of concurrent programs, so as to separate design decisions concerned with decomposition, communication, synchronization, mapping, granularity, and load balancing. This paper describes programming and compiler techniques intended to facilitate this design strategy. The programming techniques are based on a core programming notation with two important properties: the ability to separate concurrent programming concerns, and extensibility with reusable programmer-defined abstractions. The compiler techniques are based on a simple transformation system together with a set of compilation transformations and portable run-time support. The transformation system allows programmer-defined abstractions to be defined as source-to-source transformations that convert abstractions into the core notation. The same transformation system is used to apply compilation transformations that incrementally transform the core notation toward an abstract concurrent machine. This machine can be implemented on a variety of concurrent architectures using simple run-time support. The transformation, compilation, and run-time system techniques have been implemented and are incorporated in a public-domain program development toolkit. This toolkit operates on a wide variety of networked workstations, multicomputers, and shared-memory multiprocessors. It includes a program transformer, concurrent compiler, syntax checker, debugger, performance analyzer, and execution animator. A variety of substantial applications have been developed using the toolkit, in areas such as climate modeling and fluid dynamics

Discovery and Strategic Partnership Group Concept Mapping: 2014-2015 Progress Report

In 2014, New York State received funding from the U.S. Department of Education, Office of Special Education and Rehabilitative Services to begin the NYS PROMISE (Promote the Readiness of Minors in Supplemental Security Income) research initiative. The goal of this initiative is to coordinate the system of support surrounding these youths to better catalyze their potential to transition from Supplemental Security Income (SSI) to a sustainable future of living and earning as independent adults. To guide strategy and support PROMISE priorities over the course of the initiative, NYS PROMISE convened the NYS PROMISE Steering Committee, comprised of appointed liaisons from agencies who are connected to the NYS PROMISE initiative. To support sustainable partnership development for greater progress and impact on the goals of NYS PROMISE, the Steering Committee engaged in a structured, time sensitive strategic planning and partnership framework development effort. To develop the elements of a prioritized strategy, the group used Group Concept Mapping (GCM), and constructed a visual framework, or concept map, that served as the basis for prioritization and strategy development throughout the process. The GCM approach employs a group process to capture individual contributions for consensus around a given topic, using a structured approach with a specific sequence of steps that support timely and consistent engagement in the process. GCM incorporates opinions and values, and presents the results in ways that are understandable and usable. 25 individuals from 8 member agencies took part in the concept map development, contributing elements in response to the following prompt: “To yield enduring individual outcomes, a viable system to support youth with disabilities in their transition from high school to successful adult lives needs to include…

Theory of Change Review: A Report Commissioned by Comic Relief

Comic Relief does three things. It raises much needed cash, it then allocates that cash to projects in the United States and in the poorest countries in the world, and it raises awareness of the issues it feels strongly about. This report is one of a series of Comic Relief commissioned learning reports. Some learning reports aim to bring the impact of and learning from some of the work Comic Relief has funded in helping change lives to a wider audience. Other reports aim to draw together learning on key issues from a range of stakeholders to inform Comic Relief's thinking and promote debate in the sector. This report aims to draw together Comic Relief staff and partners' experiences in using theory of change; to identify others in development that are using theory of change and analyse their different approaches and experience; and to capture learning from everyone to promote debate, and to help inform what agencies using or advocating for the use of theory of change do next. This report was commissioned by Comic Relief and written by Cathy James, an independent consultant. The views expressed in this report are those of the author and do not necessarily represent the views of Comic Relief

Adaptation of an evidence-based cardiovascular health intervention for rural African Americans in the Southeast

Background: African Americans (AA) living in the southeast United States have the highest prevalence of cardiovascular diseases (CVD) and rural minorities bear a significant burden of co-occurring CVD risk factors. Few evidence-based interventions (EBI) address social and physical environmental barriers in rural minority communities. We used intervention mapping together with community-based participatory research (CBPR) principles to adapt objectives of a multi-component CVD lifestyle EBI to fit the needs of a rural AA community. We sought to describe the process of using CPBR to adapt an EBI using intervention mapping to an AA rural setting and to identify and document the adaptations mapped onto the EBI and how they enhance the intervention to meet community needs. Methods: Focus groups, dyadic interviews, and organizational web-based surveys were used to assess content interest, retention strategies, and incorporation of auxiliary components to the EBI. Using CBPR principles, community and academic stakeholders met weekly to collaboratively integrate formative research findings into the intervention mapping process. We used a framework developed by Wilstey Stirman et al. to document changes. Results: Key changes were made to the content, context, and training and evaluation components of the existing EBI. A matrix including behavioral objectives from the original EBI and new objectives was developed. Categories of objectives included physical activity, nutrition, alcohol, and tobacco divided into three levels, namely, individual, interpersonal, and environmental. Conclusions: Intervention mapping integrated with principles of CBPR is an efficient and flexible process for adapting a comprehensive and culturally appropriate lifestyle EBI for a rural AA community context

Policy Framework for Outreach, Enrollment, Retention and Utilization for Health Care Coverage in California

Defines a framework that counties in California can use to structure outreach, enrollment, retention, and utilization systems and strategies. Provides specific recommendations, based on local successes, for improving access to health care by children

Using the intervention mapping protocol to reduce European preschoolers' sedentary behavior, an application to the ToyBox-study

Background: High levels of sedentary behavior are often measured in preschoolers, but only a few interventions have been developed to counteract this. Furthermore, detailed descriptions of interventions in preschoolers targeting different forms of sedentary behavior could not be located in the literature. The aim of the present paper was to describe the different steps of the Intervention Mapping Protocol used towards the development of an intervention component of the ToyBox-study focusing on decreasing preschoolers' sedentary behavior. The ToyBox-study focuses on the prevention of overweight in 4- to 6-year-old children by implementing a multi-component kindergarten-based intervention with family involvement in six different European countries. Methods: Applying the Intervention Mapping Protocol, six different steps were systematically completed for the structured planning and development of the intervention. A literature search and results from focus groups with parents/caregivers and kindergarten teachers were used as a guide during the development of the intervention and the intervention materials. Results: The application of the different steps in the Intervention Mapping Protocol resulted in the creation of matrices of change objectives, followed by the selection of practical applications for five different intervention tools that could be used at the individual level of the preschool child, at the interpersonal level (i.e., parents/caregivers) and at the organizational level (i.e., kindergarten teachers). No cultural differences regarding preschoolers' sedentary behavior were identified between the participating countries during the focus groups, so cultural and local adaptations of the intervention materials were not necessary to improve the adoption and implementation of the intervention. Conclusions: A systematic and evidence-based approach was used for the development of this kindergarten-based family-involved intervention targeting preschoolers, with the inclusion of parental involvement. The application of the Intervention Mapping Protocol may lead to the development of more effective interventions. The detailed intervention matrices that were developed as part of the ToyBox-study can be used by other researchers as an aid in order to avoid repetitive work for the design of similar interventions

Developing a dominant logic of strategic innovation

Purpose: This paper aims to lay the foundations to develop a dominant logic and a common thematic framework of strategic innovation (SI) and to encourage consensus over the field’s core foundation of main themes. Design/methodology/approach: The paper explores the intersection between the constituent fields of strategic management and innovation management through a concept mapping process. The paper categorizes the main themes and search for common ground in order to develop the core thematic framework of SI. The paper looks at the sub-themes of SI in published research and develops a more detailed framework. The conceptual categories derived from the process are then placed in a logical sequence according to how they occur in practice or in the order of how the concepts develop from one other. Findings: The results yield seven main themes that form the main taxonomy of SI: types of SI, environmental analysis of SI, SI planning, enabling SI, collaborative networks, managing knowledge, and strategic outcomes. Research limitations/implications: The new thematic framework the paper is proposing for SI remains preliminary in nature and would need to be tried and tested by researchers and practitioners in order to gain acceptability. Academic rigor and methodological structure are not sufficient to determine whether our conceptual framework will become widely diffused in academia and industry. It would have to pass through an emergent, evolutionary process of selection, adoption and an inevitable degree of change and adaptation, just like any other innovation. Practical implications: The practical implications concern the production of instructive material and the application of strategic management initiatives in industry. The proposed themes and sub-themes can serve as a logical framework to develop and update publications, which have been instrumental in their own right to shape the field. The paper also provides a checklist of potential research projects in SI, which will improve and strengthen the field. The new framework provides a comprehensive checklist of strategic management initiatives that will help industry to initiate, plan and execute effective innovation strategies. Originality/value: The concept mapping of the themes of SI yields a new dominant logic, which will influence the evolution of the field and its relevance to both academia and industry