Reading and writing is modelled in CSP using actions containing the symbols ? and !. These reading actions and writing actions are synchronous, and there is a one-to-one relationship between occurrences of pairs of these actions. In the CPA conference 2016, we introduced the half-synchronous alphabetised parallel operator X ⇓ Y , which disconnects the writing to and reading from a channel in time. We introduce in this paper an extension of X ⇓ Y , where the definition of X ⇓ Y is relaxed; the reading processes are divided into sets which are set-wise asynchronous, but intra-set-wise synchronous, giving full flexibility to the asynchronous writes and reads. Furthermore, we allow multiple writers to the same channel and we study the impact on a Vertex Removing Synchronised Product. The advantages we accomplish are that the extension of X ⇓ Y gives more flexibility by indexing the reading actions and allowing multiple write actions to the same channel. Furthermore, the extension of X ⇓Y reduces the end-to-end processing time of the processor or coprocessor in a distributed computing system. We show the effects of these advantages in a case study describing a Controlled Emergency Stop for a processor-coprocessor combination.
DOCUMENT
Reading and writing is modelled in CSP using actions containing the symbols ? and !. These reading actions and writing actions are synchronous, and there is a one-to-one relationship between occurrences of pairs of these actions. In the CPA conference 2017, we introduced the extended half-synchronous al- phabetised parallel operator X ⇕ Y , which disconnects the writing to and reading from a channel in time; the reading processes are divided into sets which are set-wise asynchronous, but intra-set-wise synchronous, giving full flexibility to the reads. In this paper, we allow multiple writers to write to the same channel set-wise asynchronously, but intra-set-wise synchronously and we study the impact on our (Extended) Vertex Removing Synchronised Product. The advantages we accomplish are that the extension of X ⇕ Y gives more flexibility by indexing the writing actions and the reading actions, leading to a straightforward majority vote design. Furthermore, the extension of X ⇕ Y preserves the advantages of the X ⇕ Y operator.
DOCUMENT
Reading and writing is modelled in CSP using actions containing the sym- bols ? and !. These reading and writing actions are synchronous and there is a one- to-one relationship between occurrences of pairs of these actions. It is cumbersome to ease the restriction of synchronous execution of the read and write actions. For this reason we introduce the half-asynchronous parallel operator that acts on actions con- taining the symbols ¿ and ¡ and study the impact on a Vertex Removing Synchronised Product.
DOCUMENT
In bepaalde single-core configuraties met één processor, b.v. embedded control systems zoals robotic applications die uit vele korte processen bestaan, kunnen de context switches van een proces een aanzienlijke hoeveelheid van de beschikbare processing power verbruiken. Het verminderen van het aantal context switches vermindert de executietijd en verhoogt daardoor de prestaties van de toepassing. Bovendien is de end-to-end executietijd van de processen langer dan strict noodzakelijk, b.v. omdat de processen moeten wachten op controllers die een taak uitvoeren. Door de regels voor synchrone communicatie via kanalen in de procesalgebraïsche specificatietaal Communicating Sequential Processes te versoepelen, kunnen we de end-to-end executietijd verkorten. In ons onderzoek definiëren we verschillende graafproducten, bewijzen we dat deze producten een prestatiewinst opleveren (onder bepaalde voorwaarden) en we werken de numerieke en combinatorische aspecten van deze graafproducten uit.
DOCUMENT
This article describes the relation between mental health and academic performance during the start of college and how AI-enhanced chatbot interventions could prevent both study problems and mental health problems.
DOCUMENT
In een hybride virtueel klaslokaal (HVC) zijn docenten en/of studenten zowel fysiek als digitaal synchroon bij een onderwijsonderdeel aanwezig. De online studenten danwel docenten kunnen thuis zijn, of bevinden zich bijvoorbeeld in een authentiek werksituatie of ergens in het buitenland. Hybride virtuele klaslokalen zijn ontworpen om studenten op locatie en studenten op afstand aan elkaar te verbinden. De fysieke en digitale onderwijsactiviteiten lopen synchroon aan elkaar. Het kan daarmee ook digitaal aanschuifonderwijs genoemd worden. Wat zijn de voordelen van het HVC? Wanneer gebruik je het en wanneer gebruik je het niet? Op welke manier gebruik je het dan en welke consequenties heeft dit voor het didactische repertoire? Welke technische opstellingen horen hierbij? Het lectoraat Teaching Learning & Technology heeft onderzoek gedaan naar de inzet van HVC in het onderwijs en vanuit interviews met docenten en ondersteuners praktische handvaten ontwikkeld op zowel didactisch als technisch niveau. Deze zijn te lezen in het onderzoeksrapport.
MULTIFILE
The content in this document is the result of a two-year project on blended learning in the initial teacher training programme of INHOLLAND University for Professional Education. Research and design of innovative learning practices was conducted by the INHOLLAND Centre for eLearning. This document offers a conversational framework for further discussion on (re-)design of learning practices based on blended learning and should not be regarded as a scientific article. Underlying research reports and articles on the subject are available through the Centre for e-learning.
DOCUMENT
For this exploratory study we aim to provide knowledge and insights concerning the processes of setting up, implementing and managing online communities as a part of the product/services offer of media companies. The goal is to increase their reach amongst target groups, to strengthen involvement with their audiences and to entice their audiences to participate. This information should help us to understand the many different aspects important for developing and managing online communities. The research question for this phase is: Which critical success factors play a role in the process of setting up and managing online communities using social media in order to activate and/or engage target audiences? In this exploratory first phase we looked into literature relating to general guidelines and critical success factors in setting up and managing online communities. These aspects include, communication and interaction options, functionalities for sharing information, the content structure given, the importance of socialization within the community, the policies used and the usability of the platform (Ning Shen & Khalifa, 2008).
DOCUMENT
In this paper, the performance gain obtained by combining parallel peri- odic real-time processes is elaborated. In certain single-core mono-processor configurations, for example, embedded control systems in robotics comprising many short processes, process context switches may consume a considerable amount of the available processing power. For this reason, it can be advantageous to combine processes, to reduce the number of context switches and thereby increase the performance of the application. As we consider robotic applications only, often consisting of processes with identical periods, release times and deadlines, we restrict these configurations to periodic real-time processes executing on a single-core mono-processor. By graph-theoretical concepts and means, we provide necessary and sufficient conditions so that the number of context switches can be reduced by combining synchronising processes.
DOCUMENT
