73,600 research outputs found

    A Knowledge Compilation Map

    Full text link
    We propose a perspective on knowledge compilation which calls for analyzing different compilation approaches according to two key dimensions: the succinctness of the target compilation language, and the class of queries and transformations that the language supports in polytime. We then provide a knowledge compilation map, which analyzes a large number of existing target compilation languages according to their succinctness and their polytime transformations and queries. We argue that such analysis is necessary for placing new compilation approaches within the context of existing ones. We also go beyond classical, flat target compilation languages based on CNF and DNF, and consider a richer, nested class based on directed acyclic graphs (such as OBDDs), which we show to include a relatively large number of target compilation languages

    Scope States (Artifact)

    Get PDF
    Compilers that can type check compilation units in parallel can make more efficient use of multi-core architectures, which are nowadays widespread. Developing parallel type checker implementations is complicated by the need to handle concurrency and synchronization of parallel compilation units. This artifact contains benchmarks and sources for a new framework for implementing hierarchical type checkers that provides implicit parallel execution in the presence of dynamic and mutual dependencies between compilation units. The resulting type checkers can be written without explicit handling of communication or synchronization between different compilation units. We achieve this by providing type checkers with an API for name resolution based on scope graphs, a language-independent formalism that supports a wide range of binding patterns. Our framework is implemented in Java using the actor paradigm. We evaluated our approach by parallelizing the solver for Statix, a meta-language for type checkers based on scope graphs, using our framework. Benchmarks show that the approach results in speedups for the parallel Statix solver of up to 5.0x on 8 cores for real-world code bases

    Investigation of MAGSAT and TRIAD magnetometer data to provide corrective information on high-latitude external fields

    Get PDF
    The compilation of a catalog of the MAGSAT-observed high altitude disturbances is discussed and an example of contents and format is given. The graphs allow the investigation of Birkeland current signatures which are superimposed upon the main geomagnetic field. An example of a display of the MAGSAT orbital tracks in a polar geomagnetic coordinate system with the locations, flow directions, and intensities of field aligned currents shown in color is also given. The display was generated using an interactive color graphics terminal

    Variations in atmospheric angular momentum

    Get PDF
    Twice-daily values of the atmosphere's angular momentum about the polar axis during the five years from 1976 through 1980 are presented in graphs and a table. The compilation is based on a global data set, incorporating 90 percent of the mass of the atmosphere. The relationship between changes in the angular momentum of the atmosphere and changes in the length of day is described, as are the main sources of error in the data. The variability in angular momentum is revealed in a preliminary fashion by means of a spectral decomposition. The data presented should stimulate comparisons with other measures of the length of day and so provide a basis for greater understanding of Earth-atmosphere interactions
    • …
    corecore