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%.
the proceedings contain 39 papers. the topics discussed include: graded computation tree logic with binary coding;exact exploration and hanging algorithms;embedding deduction modulo into a prover;exponentials with inf...
ISBN:
(纸本)364215204X
the proceedings contain 39 papers. the topics discussed include: graded computation tree logic with binary coding;exact exploration and hanging algorithms;embedding deduction modulo into a prover;exponentials with infinite multiplicities;classical and intuitionistic subexponential logics are equally expressive;on slicewise monotone parameterized problems and optimal proof systems for TAUT;a logic of sequentiality;environment and classical channels in categorical quantum mechanics;formal theories for linear algebra;energy and mean-payoff games with imperfect information;towards a canonical classical natural deduction system;coordination logic;second-order equational logic;fibrational induction rules for initial algebras;a sequent calculus with implicit term representation;new algorithm for weak monadic second-order logic on inductive structures;complexity results for modal dependence logic;and quantified differential dynamic logic for distributed hybrid systems.
the proceedings contain 49 papers. the topics discussed include: Rhythm: harnessing data parallel hardware for server workloads;Paraprox: pattern-based approximation for data parallel applications;virtual ghost: prote...
详细信息
ISBN:
(纸本)9781450323055
the proceedings contain 49 papers. the topics discussed include: Rhythm: harnessing data parallel hardware for server workloads;Paraprox: pattern-based approximation for data parallel applications;virtual ghost: protecting applications from hostile operating systems;finding Trojan message vulnerabilities in distributed systems;REF: resource elasticity fairness with sharing incentives for multiprocessors;underprovisioning backup power infrastructure for datacenters;comprehending performance from real-world execution traces: a device-driver case;leveraging the short-term memory of hardware to diagnose production-run software failures;prototyping symbolic execution engines for interpreted languages;Q100: the architecture and design of a database processing unit;DianNao: a small-footprint high-throughput accelerator for ubiquitous machine-learning;disengaged scheduling for fair, protected access to fast computational accelerators;and KVM/ARM: the design and implementation of the Linux ARM hypervisor.
the proceedings contain 63 papers. the topics discussed include: a parametric approach for smaller and better encodings of cardinality constraints;automated symmetry breaking and model selection in conjure;MinSAT vers...
ISBN:
(纸本)9783642406263
the proceedings contain 63 papers. the topics discussed include: a parametric approach for smaller and better encodings of cardinality constraints;automated symmetry breaking and model selection in conjure;MinSAT versus MaxSAT for optimization problems;counting spanning trees to guide search in constrained spanning tree problems;tractable combinations of global constraints;postponing optimization to speed up MAXSAT solving;solving weighted CSPs by successive relaxations;constraint-based program reasoning with heaps and separation;model combinators for hybrid optimization;a simple and effective decomposition for the multidimensional binpacking constraint;maintaining soft arc consistencies in BnB-ADOPT+ during search;solving string constraints: the case for constraint programming;blowing holes in various aspects of computational problems, with applications to constraint satisfaction;and focused random walk with configuration checking and break minimum for satisfiability.
Symbolic regression is a machine learning method withthe goal to produce interpretable results. Unlike other machine learning methods such as, e.g. random forests or neural networks, which are opaque, symbolic regres...
详细信息
暂无评论