Scheduling dynamic dataflow graphs with model checking

With the shift towards many-core computer architectures, dataflow programming has been proposed as one potential solution for producing software that scales to a varying number of processor cores. Programming for parallel architectures is considered difficult as the current popular programming languages are inherently sequential and introducing parallelism is typically up to the programmer. Dataflow, however, is inherently parallel, describing an application as a directed graph, where nodes represent calculations and edges represent a data dependency in form of a queue. These queues are the only allowed communication between the nodes, making the dependencies between the nodes explicit and thereby also the parallelism. Once a node have the su cient inputs available, the node can, independently of any other node, perform calculations, consume inputs, and produce outputs. Data ow models have existed for several decades and have become popular for describing signal processing applications as the graph representation is a very natural representation within this eld. Digital lters are typically described with boxes and arrows also in textbooks. Data ow is also becoming more interesting in other domains, and in principle, any application working on an information stream ts the dataflow paradigm. Such applications are, among others, network protocols, cryptography, and multimedia applications. As an example, the MPEG group standardized a dataflow language called RVC-CAL to be use within reconfigurable video coding. Describing a video coder as a data ow network instead of with conventional programming languages, makes the coder more readable as it describes how the video dataflows through the different coding tools. While dataflow provides an intuitive representation for many applications, it also introduces some new problems that need to be solved in order for data ow to be more widely used. The explicit parallelism of a dataflow program is descriptive and enables an improved utilization of available processing units, however, the independent nodes also implies that some kind of scheduling is required. The need for efficient scheduling becomes even more evident when the number of nodes is larger than the number of processing units and several nodes are running concurrently on one processor core. There exist several data ow models of computation, with different trade-offs between expressiveness and analyzability. These vary from rather restricted but statically schedulable, with minimal scheduling overhead, to dynamic where each ring requires a ring rule to evaluated. The model used in this work, namely RVC-CAL, is a very expressive language, and in the general case it requires dynamic scheduling, however, the strong encapsulation of dataflow nodes enables analysis and the scheduling overhead can be reduced by using quasi-static, or piecewise static, scheduling techniques. The scheduling problem is concerned with nding the few scheduling decisions that must be run-time, while most decisions are pre-calculated. The result is then an, as small as possible, set of static schedules that are dynamically scheduled. To identify these dynamic decisions and to find the concrete schedules, this thesis shows how quasi-static scheduling can be represented as a model checking problem. This involves identifying the relevant information to generate a minimal but complete model to be used for model checking. The model must describe everything that may affect scheduling of the application while omitting everything else in order to avoid state space explosion. This kind of simplification is necessary to make the state space analysis feasible. For the model checker to nd the actual schedules, a set of scheduling strategies are de ned which are able to produce quasi-static schedulers for a wide range of applications. The results of this work show that actor composition with quasi-static scheduling can be used to transform data ow programs to t many different computer architecture with different type and number of cores. This in turn, enables dataflow to provide a more platform independent representation as one application can be fitted to a specific processor architecture without changing the actual program representation. Instead, the program representation is in the context of design space exploration optimized by the development tools to fit the target platform. This work focuses on representing the dataflow scheduling problem as a model checking problem and is implemented as part of a compiler infrastructure. The thesis also presents experimental results as evidence of the usefulness of the approach.

Forming i barnehagen i lys av Reggio Emilias atelierkultur

Forming (Arts and crafts) and children’s creative action with materials and tools are less in use in the kindergarten than before. Political focus on children’s early learning has led to shifts in kindergartens toward other specific disciplines, and requirements for individual testing also of the smallest children’s competencies within these. Kindergarten teachers, educators, researchers and participants in social debate have pointed out that there are epistemological contradictions in descriptions of kindergarten quality as well as between current kindergarten policy documents and requirements for the kindergartens’ staff. Meanwhile, the content and methods in many kindergartens are inspired by practice and philosophy in the municipal kindergartens in Reggio Emilia, Italy. Correlation between kindergartens’ formingprojects and experiences from Reggio Emilia is actualized in particular through the workshop and the studio’s role in children’s learning processes. One starting point for the thesis’ problem area is a documented need for more knowledge about kindergarten’s educational content. The overarching goal of the thesis is to develop new knowledge about how learning takes place in kindergarten through examining the field of forming in kindergartens inspired by Reggio Emilia’s atelier culture. The thesis is theoretically anchored within pragmatism, and ties kindergarten’s aesthetic operations with materials and tools to socio-cultural perspective, social constructivism and post humanistic theory. The empirical material is obtained through a qualitative study with ethnography as methodological approach. The fieldwork is conducted in kindergarten, with two leading research questions: 1) How is atelierism perceived and unfolded in Norwegian Reggio Emilia-inspired kindergartens, and 2) how is forming perceived and unfolded in Norwegian Reggio Emilia-inspired kindergartens. A comprehensive and multifaceted material is analyzed, and the results are presented in the form of three themes: The physical environment, Relations and actions in interplay, and Expression forms and forms of expression. Each of these topics are supported by examples from kindergartens’ adult voices and the constructed empirical material. Insights into how learning takes place in the kindergarten subject of forming with inspiration from the Reggio Emilia atelier culture is discussed in the tension between educational philosophy, Nordic kindergarten tradition and neoliberal trends that kindergarten teachers must adhere to. Learning potentials in children’s opportunities for action in forming in light of the atelier appears in the results of the empirical study. The educational context described is characterized by experimental and playful actions where children’s sensations, curiosity and resistance are interacting with the identity of materials and tools. The results imply aesthetic, ethical, democratic and ecological reflections, which are also valid on a practical action level. The thesis contributes to description and understanding of kindergarten’ content and young children’s learning, the importance of atelier culture as inspiration for the kindergarten, and the further development of methodology and documentation of knowledge expressions.

Green Service Level Agreement under Sustainability Lens in IT Industry

Nowadays, when most of the business are moving forward to sustainability by providing or getting different services from different vendors, Service Level Agreement (SLA) becomes very important for both the business providers/vendors and as well as for users/customers. There are many ways to inform users/customers about various services with its inherent execution functionalities and even non-functional/Quality of Services (QoS) aspects through negotiating, evaluating or monitoring SLAs. However, these traditional SLA actually do not cover eco-efficient green issues or IT ethics issues for sustainability. That is why green SLA (GSLA) should come into play. GSLA is a formal agreement incorporating all the traditional commitments as well as green issues and ethics issues in IT business sectors. GSLA research would survey on different traditional SLA parameters for various services like as network, compute, storage and multimedia in IT business areas. At the same time, this survey could focus on finding the gaps and incorporation of these traditional SLA parameters with green issues for all these mentioned services. This research is mainly points on integration of green parameters in existing SLAs, defining GSLA with new green performance indicators and their measurable units. Finally, a GSLA template could define compiling all the green indicators such as recycling, radio-wave, toxic material usage, obsolescence indication, ICT product life cycles, energy cost etc for sustainable development. Moreover, people’s interaction and IT ethics issues such as security and privacy, user satisfaction, intellectual property right, user reliability, confidentiality etc could also need to add for proposing a new GSLA. However, integration of new and existing performance indicators in the proposed GSLA for sustainable development could be difficult for ICT engineers. Therefore, this research also discovers the management complexity of proposed green SLA through designing a general informational model and analyses of all the relationships, dependencies and effects between various newly identified services under sustainability pillars. However, sustainability could only be achieved through proper implementation of newly proposed GSLA, which largely depends on monitoring the performance of the green indicators. Therefore, this research focuses on monitoring and evaluating phase of GSLA indicators through the interactions with traditional basic SLA indicators, which would help to achieve proper implementation of future GSLA. Finally, this newly proposed GSLA informational model and monitoring aspects could definitely help different service providers/vendors to design their future business strategy in this new transitional sustainable society.

Yliopiston yrittäjämäisyyden sosiaalinen rakentuminen: case Aalto-yliopisto

Keskustelu yrittäjyyden sijoittumisesta yliopistojen tehtäväkenttään on muodostunut 2000-luvun aikana osaksi yhteiskunnallista ja maailmanlaajuista korkeakoulutuksen muutosta. Tämän tutkimuksen tarkoituksena on lisätä ymmärrystä yliopiston yrittäjämäisyyden sosiaalisesta rakentumisesta. Lähestyn yliopiston sisällä tuotettua moniäänistä yrittäjyyspuhetta yliopiston yrittäjämäisyyden todellisuuden representaationa, ja pyrin tekemään siitä selkoa kommunikaatioon kohdistuvan analyysin avulla. Ilmiön empiirinen tarkastelu pohjautuu Aalto-yliopistossa ja sitä edeltäneessä Teknillisessä korkeakoulussa vuosina 2006–2013 kerättyihin tekstiaineistoihin. Aineistojen tulkinta tuottaa monikerroksellista tietoa ilmiöstä niin yksilö- kuin organisaatiotasolla. Tarkastelen tutkimuksessani millaisia merkityksenantoja yrittäjyydelle ja yrittäjämäisyydelle annetaan yliopiston sisällä eri näkökulmista katsottuna, kun yliopisto käy läpi merkittävää organisaatiorakenteellista ja institutionaalista muutosta. Tutkimusasetelman neljä näkökulmaa perustuvat tekniikan alan jatko-opiskelijoiden puheeseen, TKK:n opetussuunnitelmatekstiin, Aalto-yliopiston opettajien puheeseen ja johdon tuottamaan strategiatekstiaineistoon. Tutkimuksen tulosten mukaan käynnissä on ollut akateemisten arvojen ja arvojärjestelmien laajentumisen aika ja tila, jossa yrittäjämäisyys astuu areenalle, mutta sen suppeat tulkinnat eivät tarjoa mahdollisuuksia ruohonjuuritason kiinnittymiseen akateemisesta kulttuurista käsin. Yrittäjyyden ja yrittäjämäisyyden saamat taloudelliskaupalliset merkitykset koetaan uhkaksi, eikä tilannetta helpota yleisesti uuvuttavaksi koettu rakenteellinen ja yhteiskunnallinen yliopiston muutosvaihe. Hallitsevat tarinalinjat kuten puhe kilpailukyvystä ja kilpailutilanteen kovenemisesta tuottavat odotusten viitekehyksen, joilla yliopiston toimintaa raamitetaan ulkoapäin. Yrittäjyyteen laajassa merkityksessä sisältyvät mahdollisuudet jäävät niin ikään hyödyntämättä, ja lukuisat edistämistoiminnot kilpistyvät sosiaalisesti rakentuviin esteisiin. Tässä tutkimuksessa rakentuva laajennettu yliopiston yrittäjämäisyyden viitekehys pyrkii palvelemaan moniäänistymisen tarkoitusta käsitteellisellä tasolla ja avaamaan uusia mahdollisuuksia yliopiston yrittäjämäisyyden edistämiselle.

Utstillingens retorikk : et bidrag til en retorisk didaktikk for kunst og håndverk

The topic of this dissertation is the didactic exhibition in the Arts and Crafts subject. Exhibiting student work and art and form culture is part of a long professional tradition in the field. Yet, exhibition as form and as a way of learning are inadequately explored and debated. The didactic problem area of the thesis, where studies of formative practices are central, place it within the research field of Educational Slojd. The didactic standpoint and main theoretical perspective relate the project to the Arts didactics research field at the University College of Bergen where the aim is to develop an alternative didactics thinking for the arts; a rhetoric arts didactics. Didactic focus is shifted from the relationship between teacher – pupil – teaching materials, to studies of how knowledge is formulated in specific practices. The thesis has a premise that every exhibition has its own rhetoric and that didactics is inscribed in this rhetoric in the broadest and cultural sense. Through impulses from classical rhetoric and recent text theory, the thesis challenges the Arts and Crafts’s own idiom, its theoretical foundation and didactic grasp such as shown in the discourse established by the discipline and its specific exhibitive practices, as well as studying the relationship between verbal language and the discipline’s own register. The overall objective is to develop knowledge about exhibition rhetoric and its potential as a knowledge and learning arena in this field, and thereby contribute to developing a rhetoric didactics for the Arts and Crafts subject. This raises questions such as: How is an exhibition considered to be used and understood in the subject’s didactics texts and texts about didactics? How do different exhibition spaces inscribe conditions for exhibition work? How can a rhetoric perspective of didactics make aspects of an exhibition’s form register visible and contribute to knowledge of the creative processes in an exhibition? How do some selected exhibitions inscribe creativity and learning? What can a rhetoric perspective bring to the Arts and Crafts? A rhetoric didactics perspective includes knowledge of the tradition. A historical-ideological overview traces how exhibition, of both pupil/student work and of art and form culture, are used and considered as used in the discipline over time. This part can be read separately, but in this thesis, is primarily conceived as a backdrop for the development of the dissertation’s main rhetoric perspective. The empirical data are collected from my teacher training institution and consist of specific exhibition spaces and practices, of which my own production of two exhibitions can link the research to artistic development work. A rhetoric didactics is concrete, specific and contextual. The rhetoric readings are descriptive and show how culture and nature, temporality, materiality and technology are inscribed in the exhibition’s form. Didactic reflection develops from, and close to, the rhetoric readings of the exhibition’s form and content to finally arrive at a rhetorical concept for creativity and learning.

Le relazioni Italo - Finlandesi nella documentazione del Ministero degli Affari Esteri italiano e nel "Memoriale" di Attilio Tamaro (1929-1935)

My doctoral thesis may be placed within the branch of studies on the history of international relations and it examines the development of Italian-Finnish bilateral relations during the mandate of Attilio Tamaro, the plenipotentiary Minister (1929-1935). The research is based exclusively on Italian sources, on the private documentation of the diplomat and on his “Memoriale”, which have been critically analysed, using theories, such as those on the policies of power, on the soft power and on foreign trade. This research aims to draw attention to the bilateral dynamics, and to bridge the gaps of the specific historiography, paying attention to the relations between the Lapua movement and Italian fascism, and to the role that the Minister Tamaro played. The 1929-1935 period is the most intense one in the bilateral relations, and it expands those already begun in the Twenties, thereby replacing the idea of a poor and backward Italy with that of a modern, strong and orderly country that fascism had been capable of building. The need for Finland to solve its internal problems led to the development of the lappist movement in the first few months of 1930 which, with its anticommunism and anti-parliamentarism, led conservative Finland to look towards the Italian political model with particular fondness. The Italian diplomacy, at least during the Grandi ministry, distinguished itself for its moderate involvement in its connections with lappism. After 1932, with the spread of universal fascism, opposing national-socialism, the relationships between fascism and the lappist movement intensified and led the IKL (Patriotic People’s Movement) into the Italian sphere. Actually, especially after 1933, what was the most effective instrument of Tamaro’s political action was culture: the Italian Readership, the cultural associations, and the use of the cinematic arts and art were the channels for the expansion of a cultural imperialism which abounded in political propaganda. With the War of Ethiopia in 1935, the good Italian-Finnish relationships partly cooled down because Italy appeared to be a dangerous nation for the stability of the security system of Finland. The research results are stimulating: they bring to light the ambitions of great power of monarchist-fascist Italy; they show the importance of the Italian example in inspiring the conservative Finnish right-wing; they allow one to hypothesize that there was at least an indirect influence of the Italian model on the development of Finnish events. The aspiration of our research is to stimulate further studies on diplomatic, military and trade relations between Italy and the Scandinavian countries from 1919 to today.