Yesterday’s Words

Interne en externe geschiedenis van het Nederlands en zijn dialecte

Design and optimization of a portable LQCD Monte Carlo code using OpenACC

The present panorama of HPC architectures is extremely heterogeneous, ranging from traditional multi-core CPU processors, supporting a wide class of applications but delivering moderate computing performance, to many-core GPUs, exploiting aggressive data-parallelism and delivering higher performances for streaming computing applications. In this scenario, code portability (and performance portability) become necessary for easy maintainability of applications; this is very relevant in scientific computing where code changes are very frequent, making it tedious and prone to error to keep different code versions aligned. In this work we present the design and optimization of a state-of-the-art production-level LQCD Monte Carlo application, using the directive-based OpenACC programming model. OpenACC abstracts parallel programming to a descriptive level, relieving programmers from specifying how codes should be mapped onto the target architecture. We describe the implementation of a code fully written in OpenACC, and show that we are able to target several different architectures, including state-of-the-art traditional CPUs and GPUs, with the same code. We also measure performance, evaluating the computing efficiency of our OpenACC code on several architectures, comparing with GPU-specific implementations and showing that a good level of performance-portability can be reached.Comment: 26 pages, 2 png figures, preprint of an article submitted for consideration in International Journal of Modern Physics

A Worlde of Wordes: Dictionaries and the Rise of Middle English Lexicography

From the first vision and first articulation of plans for national and period dictionaries of English to the completion of the Middle English Dictionary, decades, even lifetimes, have passed. Begun tentatively at Oxford and Cornell Universities, the project got underway in earnest at the University of Michigan in 1930. Seventy-one years later the last fascicle was sent to the publisher and thirteen volumes comprised of 55,000 entries and over 900,000 quotations were completed. "A Worlde of Wordes" honors the men and women, the process, and the scholarship responsible for this feat.http://deepblue.lib.umich.edu/bitstream/2027.42/120289/1/worlde_of_wordes_01.pd

Circular Proofs as Session-Typed Processes: A Local Validity Condition

Proof theory provides a foundation for studying and reasoning about programming languages, most directly based on the well-known Curry-Howard isomorphism between intuitionistic logic and the typed lambda-calculus. More recently, a correspondence between intuitionistic linear logic and the session-typed pi-calculus has been discovered. In this paper, we establish an extension of the latter correspondence for a fragment of substructural logic with least and greatest fixed points. We describe the computational interpretation of the resulting infinitary proof system as session-typed processes, and provide an effectively decidable local criterion to recognize mutually recursive processes corresponding to valid circular proofs as introduced by Fortier and Santocanale. We show that our algorithm imposes a stricter requirement than Fortier and Santocanale's guard condition, but is local and compositional and therefore more suitable as the basis for a programming language.Comment: The revised version, 48 pages, submitted to Logical Methods in Computer Scienc

Periodic scheduling for cache-miss minimisation

In dit proefschrift behandelen we een meerdimensionaal periodiek planningsprobleem.Dit probleem vindt zijn oorsprong in de videosignaalbewerking. Algoritmen voor de bewerking van videosignalen beschouwen we als verzamelingenoperaties die periodiek uitgevoerd moeten worden met zeer hoge frequentie. Daartoe moeten snelle processoren gebruikt worden. De verwerkingssnelheid van deze processoren is in de afgelopen jaren toegenomen met meer dan 50% op jaarbasis.De geheugens waarvan deze processoren gebruik maken zijn jaarlijks slechts 7%sneller geworden, waardoor beide uit de pas gaan lopen. Een standaard oplossing om dit verschil in snelheid te overbruggen is het toevoegen van cachegeheugen tussen de processor en het geheugen. Een cachegeheugen is een snel maar klein buffer dat tussenresultaten van een berekening kan opslaan. De vraag hoe een cachegeheugen optimaal benut wordt kan gezien worden als een planningsprobleem.Het effectief oplossen van dit probleem is echter nog een open vraagstuk.Het planningsprobleem bestaat eruit om twee toekenningen te vinden, te weten een tijdstoekenning en een geheugentoekenning. De tijdstoekenning representeert de volgorde waarin de operaties uitgevoerd moeten worden. Van deze toekenningeisen we dat operaties in een zodanige volgorde plaatsvinden dat tussenresultaten berekend worden voordat ze worden gebruikt. De geheugentoekenning legt voor ieder tussenresultaat in de berekening een geheugenplaats vast. Van deze toekenningeisen we dat een geheugenplaats waar een tussenresultaat opgeslagen is niet overschreven wordt voordat dit tussenresultaat voor de laatste maal gebruikt is.Verder eisen we van de toekenningen dat het cachegeheugen optimaal gebruikt wordt, hetgeen we vertalen in een minimalisatie van het aantal cache misses.We hebben aangetoond dat dit planningsprobleem formeel lastig is. De lastigheid wordt enerzijds veroorzaakt door de beperkingen die opgelegd worden aan de tijdstoekenning en geheugentoekenning. Anderzijds blijkt het lastig om voor een gegeven tijdstoekenning, geheugentoekenning en cachegeheugen, het aantal cache misses uit te rekenen.Elke tijdstoekenning bepaalt een volgorde waarin de operaties uitgevoerd moeten worden. Helaas kunnen niet alle tijdstoekenningen op een efficiente wijze uitgevoerd worden worden door een processor. Om de verzameling tijdstoekenningen in te perken tot toekenningen die een efficiente afbeelding toestaan, leggen we aanvullende beperkingen op.De kern van het proefschrift wordt gevormd door een discussie over het berekenen van het aantal cache misses voor een gegeven tijdstoekenning en geheugentoekenning.Deze berekening doet later dienst als een middel om verschillende toekenningen met elkaar te kunnen vergelijken. Aangezien het bepalen van het aantal cache misses een formeel lastig probleem is, beschouwen we hiervoor een benaderingsalgoritme. Daartoe hebben we het probleem in twee delen gesplitst. In het eerste deel proberen we zo goed mogelijk het hergebruik van tussenresultaten te bepalen, hetgeen gemeten wordt in de tijd die verstrijkt tussen twee opeenvolgende momenten waarop een tussenresultaat gebruikt wordt. In het tweede deel benaderen we de vulling van het cachegeheugen. De vulling geeft een tijdspanne aan waarin alle tussenresultaten zich nog in het cachegeheugen bevinden. We laten zien dat op basis van het hergebruik en de vulling het aantal cache misses berekend kan worden. Gebaseerd op deze opsplitsing hebben we een benaderingsalgoritme ontworpen.Het resulterende algoritme voor het benaderen van het aantal cache misses hebben we geimplementeerd en gebruikt voor een aantal experimenten. We hebben laten zien dat we het aantal cache misses goed kunnen benaderen in rekentijden die veel kleiner zijn dan de tijden die nodig zijn voor een zogenaamde cachesimulatie.Tenslotte hebben we een eerste stap gedaan in de richting van een lokaalzoekalgoritme voor het planningsprobleem. De basis voor het algoritme wordt gevormd door het benaderingsalgoritme voor het aantal cache misses. De zoekruimte, die nodig is voor lokaal zoeken, wordt opgespannen door veranderingen n de tijdstoekenning en geheugentoekenning. Voor deze veranderingen stellen wij technieken voor die bekend zijn uit de literatuur

On the Application of Multiobjective Optimization to Software Development Process and Antenna Designing

Esta tesis doctoral, presentada como compendio de artículos, explora los beneficios prácticos del uso combinado de la optimización multi-objetivo con aplicaciones de simulación. En esta tesis, con un caracter de aplicación, se aportan ideas prácticas sobre cómo combinar meta-heurísticas aplicadas a la optimización de problemas con herramientas y técnicas de simulación. La simulación permite estudiar problemas complejos antes de implementarlos en el mundo real. Los problemas de optimización son de los más complicados de resolver. Involucran 3 o más variables y en muchos casos no pueden ser resueltos matemáticamente. La simulación permite modelar el problema, pero son una ayuda insuficiente a la hora de encontrar las mejores soluciones a dicho problema. En estos casos, el trabajo conjunto de la herramienta de simulación con metaheurísticas de optimización permiten abordar estos problemas con costes computacionales razonables, obteniendo resultados muy cercanos al óptimo. Debe tenerse en cuenta que las soluciones de los problemas multiobjetivo contienen un conjunto de variables donde habitualmente mejorar (optimizar) una variable, suponga empeorar (hacer menos óptima) otra(s). Por tanto, lo deseable es encontrar un conjunto de soluciones donde cada variable se optimiza teniendo en cuenta el posible impacto negativo en el resto de variables. A ese conjunto de soluciones, se le suele conocer como el Frente de Pareto Óptimo. Esta tesis presenta dos problemas reales, complejos y pertenecientes a campos totalmente distintos, que han sido resueltos de forma existosa, aplicando la misma técnica: Simulación combinada con optimización multiobjetivo. Esta tesis comienza presentando un caso de técnicas de optimización multiobjetivo a través de la simulación para ayudar a los directores de proyectos de software a encontrar las mejores configuraciones para los proyectos basados ITIL (Information Technology Infrastructure Library), de manera que se optimicen las estimaciones de calendario para un proyecto determinado, el tiempo y la productividad. Los datos de gestión de proyectos pueden obtenerse mediante simulación, por ejemplo, para optimizar el número de recursos utilizados en cada fase de la vida del proyecto. También se presenta otro caso de estudio sobre la forma en que la optimización de la simulación puede ayudar en el diseño de cualquier tipo de antena. En este caso de estudio, el objetivo es lograr una antena helicoidal, de doble banda, lo más compacta posible, para la telemetría, el seguimiento y el control (TTC) de los satélites. En los satélites es esencial reducir el volumen y el peso de los dispositivos instalados, manteniendo al mismo tiempo los requisitos de funcionamiento. Adicionalmente, esta tesis realiza un aporte teórico proponiendo un nuevo algoritmo llamado MNDS (Merge Non-Dominated Sorting) que mejora el rendimiento de los algoritmos de optimización multi-objectivo basados en el cálculo del Pareto Front

Nomos and Narrative Before Nomos and Narrative

I imagine that when Robert Cover\u27s Nomos and Narrative essay first reached the editors of the Harvard Law Review, their befuddlement derived not so much from Cover\u27s framing of his review of the 1982 Supreme Court term with a philosophically opaque discussion of the interdependence of law and narrative, but from the illustrations that he drew from biblical and rabbinic texts of ancient and medieval times. For Cover, both intellectually and as a matter of personal commitment, these ancient texts evoke a nomian world, rooted more in communally shared stories of legal origins and utopian ends than in the brutalities of institutional enforcement, one from which modem legal theory and practice have much to learn and to emulate. Since my own head is buried most often in such ancient texts, rather than in modem courts, I thought it appropriate to reflect, by way of offering more such texts for our consideration, on the long-standing preoccupation with the intersection and interdependency of the discursive modes of law and narrative in Hebrew biblical and rabbinic literature, without, I hope, romanticizing them. Indeed, I wish to demonstrate that what we might think of as a particularly modem tendency to separate law from narrative, has itself an ancient history, and to show how that tendency, while recurrent, was as recurrently resisted from within Jewish tradition. In particular, at those cultural turning points in which laws are extracted or codified from previous narrative settings, I hope to show that they are also renarrativized (or remythologized) so as to address, both ideologically and rhetorically, changed socio-historical settings. I will do so through admittedly selective, yet telling, examples

Halal logistics PEST Analysis: The Malaysia perspectives

Halal logistics is a global business, and the objective of this study is to analyse the general environment of Halal logistics in Malaysia by using the PEST Analysis. This study is exploratory in nature and applies literature survey and the External Factors Evaluation (EFE) Matrix methodology. The results generated 20 factors that externally influencing the Malaysia Halal logistics scene. Plus, from the analysis, the opportunities and threats are also showcased. This study is the first attempt to analyse the external environment of Malaysia Halal logistics industry, and it is hoped that this study will be a platform or future reference for more academic and professional research in Halal industry

Endangered Languages and Languages in Danger

This peer-reviewed collection brings together the latest research on language endangerment and language rights. It creates a vibrant, interdisciplinary platform for the discussion of the most pertinent and urgent topics central to vitality and equality of languages in today’s globalised world. The novelty of the volume lies in the multifaceted view on the variety of dangers that languages face today, such as extinction through dwindling speaker populations and lack of adequate preservation policies or inequality in different social contexts (e.g. access to justice, education and research resources). There are examples of both loss and survival, and discussion of multiple factors that condition these two different outcomes. We pose and answer difficult questions such as whether forced interventions in preventing loss are always warranted or indeed viable. The emerging shared perspective is that of hope to inspire action towards improving the position of different languages and their speakers through research of this kind