Shiffman recently summarized lessons for network effectiveness from an impressive collection of case-studies. However, in common with most global health governance analysis in recent years, Shiffman underplays the important role of states in these global networks. As the body which decides and signs international agreements, often provides the resourcing, and is responsible for implementing ini...

We propose using the Global Dynamic Critical Path to diagnose system-wide bottlenecks using representative benchmarks to direct embedded SoC optimizations. We provide real-world experience of implementing the global critical path (GCP) analysis framework on a GloballyAsynchronous Locally-Synchronous (GALS) SoC built around the LEON3 CPU. We perform our analysis at the RTL level and extend our e...

Implementing software product lines is a challenging task. Depending on the implementation technique the code that realizes a feature is often scattered across multiple code units. This way it becomes difficult to trace features in source code which hinders maintenance and evolution. While previous effort on visualization technologies in software product lines has focused mainly on the feature ...

We present a methodology for describing executable semantics of diagrammatic modeling languages, and an execution engine based on such definition. Under proposed methodology, languages are defined using a set of pairs, composed of a query and a group of mappers. The queries, defined over the language’s diagrammatic syntax, return language constructs. These constructs are mapped by the mappers t...

To test the effect of questions regarding the low-level details of a program compared to questions regarding the more abstract nature of the algorithms, a tutoring environment was constructed. Prior work has shown a strong correlation between students’ perception of the global goals of a program in a code comprehension task and their ability to write code to solve problems[1; 2; 3]. Using these...

UML specifications offer the advantage to describe software systems while the actual task of implementing code for them is passed to code generators that automatically produce e.g. Java code. For safety reasons, it is necessary that the generated code is semantically equivalent to the original UML specification. In this paper, we present our approach to formally verify within the Isabelle/HOL t...

On 21 May 1981 the WHO International Code of Marketing Breast Milk Substitutes (hereafter referred to as the Code) was passed by 118 votes to 1, the US casting the sole negative vote. The Code arose out of concern that the dramatic increase in mortality, malnutrition and diarrhoea in very young infants in the developing world was associated with aggressive marketing of formula. The Code prohibi...

The paper describes experiences, ideas, and problems that were discovered while developing a DRM extension to X-Smiles XML browser as a part of Helsinki Institute for Information Technology’s MobileIPR research project. The project succeeded in implementing a piece of software capable of demonstrating the most important DRM features. The most significant implemented features are restrictions re...