the proceedings contain 9 papers. the topics discussed include: transforming functional logic programs into monadic functional programs;mixed-level embedding and JIT compilation for an iteratively staged DSL;an access...
ISBN:
(纸本)9783642207747
the proceedings contain 9 papers. the topics discussed include: transforming functional logic programs into monadic functional programs;mixed-level embedding and JIT compilation for an iteratively staged DSL;an access control language based on term rewriting and description logic;lazy and enforceable assertions for functional logic programs;parameterized models for on-line and off-line use;efficient and compositional higher-order streams;an adequate, denotational, functional-style semantics for typed FlatCurry;bridging the gap between two concurrent constraint languages;and types for role-based access control of dynamic web data.
the proceedings contain 17 papers. the topics discussed include: analyzing and predicting energy consumption of garbage collectors in OpenJDK;automatic array transformation to columnar storage at run time;better under...
ISBN:
(纸本)9781450396967
the proceedings contain 17 papers. the topics discussed include: analyzing and predicting energy consumption of garbage collectors in OpenJDK;automatic array transformation to columnar storage at run time;better understanding the costs and benefits of automatic memory management;compressed forwarding tables reconsidered;dynamic taint analysis with label-defined semantics;event-based out-of-place debugging;machine-learning-based self-optimizing compiler heuristics;towards a model checking framework for a new collector framework;analyzing the cost of safety for vectorized bytecode in dynamically-typed languages;automatically transforming arrays to columnar storage at run time;characterizing WebAssembly bytecode;selecting semi-permanent object candidates in dynamically-typed reflective languages;and Polyglot, label-defined dynamic taint analysis in TruffleTaint.
In multi-objective symbolic regression, the objective is to improve the model’s accuracy while minimizing its complexity. It results in a Pareto front, including a fair compromise between accuracy and complexity. In ...
详细信息
the proceedings contain 11 papers. the topics discussed include: modeling black-box components with probabilistic synthesis;automated variability injection for graphical modeling languages;correctness-by-construction ...
ISBN:
(纸本)9781450381741
the proceedings contain 11 papers. the topics discussed include: modeling black-box components with probabilistic synthesis;automated variability injection for graphical modeling languages;correctness-by-construction for feature-oriented software product lines;multi-stage programming in the large with staged classes;reorganizing queries with grouping;manipulating GUI structures declaratively;PReGO: a generative methodology for satisfying real-time requirements on COTS-based systems: definition and experience report;VarSem: declarative expression and automated inference of variable usage semantics;fluid quotes: metaprogramming across abstraction boundaries with dependent types;a domain-specific language for filtering in application-level gateways;and eFLINT: a domain-specific language for executable norm specifications.
the proceedings contain 131 papers. the topics discussed include: customizable domain-specific computing;in search of agile hardware;the evolution of architecture exploration of programmable devices;MUCCRA-cube: a 3D ...
ISBN:
(纸本)9781424438921
the proceedings contain 131 papers. the topics discussed include: customizable domain-specific computing;in search of agile hardware;the evolution of architecture exploration of programmable devices;MUCCRA-cube: a 3D dynamically reconfigurable processor with inductive-coupling link;fast critical sections via thread scheduling for FPGA-based multithreaded processors;a biophysically accurate floating point somatic neuroprocessor;compiler assisted runtime task scheduling on a reconfigurable computer;generating high-performance custom floating-point pipelines;exploring reconfigurable architectures for explicit finite difference option pricing models;towards a viable out-of-order soft core: copy-free, checkpointed register renaming;a runtime relocation based workflow for self dynamic reconfigurable systems design;improving logic density through synthesis-inspired architecture;and replace: an incremental placement algorithm for field-programmable gate arrays.
We focus on the α-domination problem, which is capable of modeling influence phenomena in social networks. It formally asks for a minimum cardinality subset of vertices of a given graph such that any vertex is either...
详细信息
Anytime Multi-Agent Path Finding (MAPF) is a promising paradigm for finding fast and (near-)optimal solutions to large-scale multi-agent systems within a fixed time budget. the currently leading approach builds on Lar...
详细信息
the multilevel optimization approach, a strategy for solving large combinatorial optimization problems, involves a process of coarsening a large problem instance into a smaller, more manageable version, solving this s...
详细信息
the proceedings contain 13 papers. the special focus in this conference is on logic and Engineering of Natural Language Semantics. the topics include: logic Operators and Quantifiers in Type-theory of A...
ISBN:
(纸本)9783031439766
the proceedings contain 13 papers. the special focus in this conference is on logic and Engineering of Natural Language Semantics. the topics include: logic Operators and Quantifiers in Type-theory of Algorithms;slurs’ Variability, Emotional Dimensions, and Game-theoretic Pragmatics;measurement theory Meets Mereology in Multidimensionality in Resemblance Nominalism;events and Relative Clauses;the Semantic Markedness of the Japanese Negative Preterite: Non-existence of (Positive) Eventualities vs. Existence of Negative Eventualities;granularity in Number and Polarity Effects;contrafactives and Learnability: An Experiment with Propositional Constants;formalizing Argument Structures with Combinatory Categorial Grammar;a Proof-theoretic Analysis of the Meaning of a Formula in a Combination of Intuitionistic and Classical Propositional logic;constraining Parse Ambiguity with Grammatical Codes;detecting Modality and Evidentiality: Against Purely Temporal-Aspectual Analyses of the German Semi-Modal Drohen.
Withthe rapid development of industrial automation, the demand for preserving the original priority, flow identification, and latency stability of industrial data is continuously increasing. the new generation bus te...
详细信息
ISBN:
(数字)9798331507817
ISBN:
(纸本)9798331507824
Withthe rapid development of industrial automation, the demand for preserving the original priority, flow identification, and latency stability of industrial data is continuously increasing. the new generation bus technology, AUTBUS, features multi-node, high bandwidth, and high real-time performance, addressing the limitations of traditional buses in terms of high bandwidth and determinism requirements. the high bandwidth, low latency, and high reliability of 5G networks can meet the flexibility and mobility needs of industrial equipment, promoting the wireless application of devices. Developing an industrial gateway that supports AUTBUS and 5G network protocol conversion is of great significance for the future of industrial networks. this paper designs an industrial gateway that supports AUTBUS-5G network protocol conversion, capable of maintaining the original priority and flow identification characteristics of the network after data conversion. By adopting a multi-factor 5G transmission queue priority sorting method, the average latency jitter of data flow through the industrial gateway is reduced by 85%.
暂无评论