the proceedings contain 64 papers. the topics discussed include: a deep-learning framework for predicting congestion during FPGA placement;lightweight side-channel protection using dynamic clock randomization;executin...
ISBN:
(纸本)9781728199023
the proceedings contain 64 papers. the topics discussed include: a deep-learning framework for predicting congestion during FPGA placement;lightweight side-channel protection using dynamic clock randomization;executing ARMv8 loop traces on reconfigurable accelerator via binary translation framework;precise pointer analysis in high-level synthesis;LFTSM: lightweight and fully testable SEU mitigation system for Xilinx processor-based SoCs;a high throughput MobileNetV2 FPGA implementation based on a flexible architecture for depthwise separable convolution;hardware acceleration of Monte-Carlo sampling for energy efficient robust robot manipulation;and automated design of FPGAs facilitated by cycle-free routing.
the proceedings contain 5 papers. the topics discussed include: geometric enumeration of localized DNA strand displacement reaction networks;domain-based nucleic-acid minimum free energy: algorithmic hardness and para...
ISBN:
(纸本)9783959773447
the proceedings contain 5 papers. the topics discussed include: geometric enumeration of localized DNA strand displacement reaction networks;domain-based nucleic-acid minimum free energy: algorithmic hardness and parameterized bounds;simulation of the abstract tile assembly model using crisscross slats;designing 3D RNA Origami nanostructures with a minimum number of kissing loops;and learning and inference in a lattice model of multicomponent condensates.
the proceedings contain 38 papers. the topics discussed include: solving patience and solitaire games with good old fashioned AI;the complexity of symmetry breaking beyond Lex-Leader;certifying without loss of general...
ISBN:
(纸本)9783959773362
the proceedings contain 38 papers. the topics discussed include: solving patience and solitaire games with good old fashioned AI;the complexity of symmetry breaking beyond Lex-Leader;certifying without loss of generality reasoning in solution-improving maximum satisfiability;ParLS-PBO: a parallel local search solver for pseudo Boolean optimization;deep cooperation of local search and unit propagation techniques;cumulative scheduling with calendars and overtime;pseudo-Boolean reasoning about states and transitions to certify dynamic programming and decision diagram algorithms;anytime weighted model counting with approximation guarantees for probabilistic inference;and a multi-stage proof logging framework to certify the correctness of CP solvers.
the proceedings contain 17 papers. the special focus in this conference is on logic-Based Program Synthesis and Transformation. the topics include: Translation of Interactive Datalog Programs for Microcontrollers to F...
ISBN:
(纸本)9783030684457
the proceedings contain 17 papers. the special focus in this conference is on logic-Based Program Synthesis and Transformation. the topics include: Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines;generating Functions for Probabilistic Programs;verification of Multiplayer Stochastic Games via Abstract Dependency Graphs;testing Your (Static Analysis) Truths;slicing Unconditional Jumps with Unnecessary Control Dependencies;a Formal Model for a Linear Time Correctness Condition of Proof Nets of Multiplicative Linear logic;synthesis of Modality Definitions and a theorem Prover for Epistemic Intuitionistic logic;runtime Complexity Analysis of logically Constrained Rewriting;confluence and Commutation for Nominal Rewriting Systems with Atom-Variables;pattern Eliminating Transformations;nominal Unification with Letrec and Environment-Variables;terminating Non-disjoint Combined Unification;slepice: Towards a Verified Implementation of Type theory in Type theory;resourceful Program Synthesis from Graded Linear Types;reasoning in the theory of Heap: Satisfiability and Interpolation.
A widely used computationally intensive scientific kernel, the matrix multiplication algorithm is at the heart of many scientific routines. Resurging fields, such as artificial intelligence (AI), strongly benefit from...
详细信息
this paper explores parallelism performance for C, C++, Go, Java, Julia, and Rust on N-body simulations. We begin with a basic O(N2) simulation for each language based on the n-body benchmark in the Benchmark Game. th...
详细信息
the proceedings contain 14 papers. the topics discussed include: configuration of heterogeneous agent fleet: a preliminary generic model;challenges in automotive hardware-software co-configuration;prospective and retr...
the proceedings contain 14 papers. the topics discussed include: configuration of heterogeneous agent fleet: a preliminary generic model;challenges in automotive hardware-software co-configuration;prospective and retrospective approaches to integrate life cycle assessment in configurators: a multiple case study in the construction industry;premises, challenges and suggestions for modelling building knowledge using the configuration paradigm;requirements and architectures for green configuration;developing an algorithm selector for green configuration in scheduling problems;instance configuration for sustainable job shop scheduling;product visualization in configurators: laying the foundations for a comparative description;and using answer set programming for assigning tasks to computing nodes.
the proceedings contain 70 papers. the special focus in this conference is on Computer Aided Verification. the topics include: Eager abstraction for symbolic model checking;fast numerical program analysis with reinfor...
ISBN:
(纸本)9783319961446
the proceedings contain 70 papers. the special focus in this conference is on Computer Aided Verification. the topics include: Eager abstraction for symbolic model checking;fast numerical program analysis with reinforcement learning;A direct encoding for NNC polyhedra;what’s hard about boolean functional synthesis?;counterexample guided inductive synthesis modulo theories;synthesizing reactive systems from hyperproperties;reactive control improvisation;constraint-based synthesis of coupling proofs;controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics;from programs to interpretable deep models and back;synthesis of asynchronous reactive programs from temporal specifications;syntax-guided synthesis with quantitative syntactic objectives;learning abstractions for program synthesis;the learnability of symbolic automata;reachable set over-approximation for nonlinear systems using piecewise barrier tubes;space-time interpolants;monitoring weak consistency;Monitoring CTMCs by multi-clock timed automata;start pruning when time gets urgent: Partial order reduction for timed systems;A counting semantics for monitoring LTL specifications over finite traces;formal reasoning about the security of amazon web services;Rabinizer 4: From LTL to your favourite deterministic automaton;strix: Explicit reactive synthesis strikes back!;Btor2, btorMC and boolector 3.0;nagini: A static verifier for python;peregrine: A tool for the analysis of population protocols;ADAC: Automated design of approximate circuits;value iteration for simple stochastic games: stopping criterion and learning algorithm;sound value iteration;safety-aware apprenticeship learning;deciding probabilistic bisimilarity distance one for labelled markov chains;foundations and tools for the static analysis of ethereum smart contracts;layered concurrent programs;propositional dynamic logic for higher-order functional programs;syntax-guided termination analysis.
暂无评论