Receding Horizon Temporal Logic Control for Finite Deterministic Systems [PDF]
, 2012 This paper considers receding horizon control of finite deterministic systems, which must satisfy a high level, rich specification expressed as a linear temporal logic formula.
Belta, Calin, Ding, Xuchu, Lazar, Mircea
core +2 more sources
Peptide‐based ligand antagonists block a Vibrio cholerae adhesin
FEBS Letters, EarlyView.The structure of a peptide‐binding domain of the Vibrio cholerae adhesin FrhA was solved by X‐ray crystallography, revealing how the inhibitory peptide AGYTD binds tightly at its Ca2+‐coordinated pocket. Structure‐guided design incorporating D‐amino acids enhanced binding affinity, providing a foundation for developing anti‐adhesion therapeutics ...
Mingyu Wang +9 more
wiley +1 more source
EXTEND-L : an input language for extensible register transfer compilation [PDF]
, 1988 This report discusses the model and input language for EXTEND, a synthesis system that permits extensible register transfer synthesis. EXTEND-L fills the need for a language that bridges the gap between existing behavioral input descriptions, which are ...
Dutt, Nikil D., Gajski, Daniel D.
core
FPGA-Based Bandwidth Selection for Kernel Density Estimation Using High Level Synthesis Approach
, 2015 FPGA technology can offer significantly hi\-gher performance at much lower power consumption than is available from CPUs and GPUs in many computational problems.
Gramacki, Artur +2 more
core +1 more source
Performance and resource modeling for FPGAs using high-level synthesis tools [PDF]
, 2014 High-performance computing with FPGAs is gaining momentum with the advent of sophisticated High-Level Synthesis (HLS) tools. The performance of a design is impacted by the input-output bandwidth, the code optimizations and the resource consumption ...
Braeken, An +3 more
core +1 more source
Disordered but rhythmic—the role of intrinsic protein disorder in eukaryotic circadian timing
FEBS Letters, EarlyView.Unstructured domains known as intrinsically disordered regions (IDRs) are present in nearly every part of the eukaryotic core circadian oscillator. IDRs enable many diverse inter‐ and intramolecular interactions that support clock function. IDR conformations are highly tunable by post‐translational modifications and environmental conditions, which ...
Emery T. Usher, Jacqueline F. Pelham
wiley +1 more source
High-Level Synthesis: Productivity, Performance, and Software Constraints
Journal of Electrical and Computer Engineering, 2012 FPGAs are an attractive platform for applications with high computation demand and low energy consumption requirements. However, design effort for FPGA implementations remains high—often an order of magnitude larger than design effort using high-level ...
Yun Liang +5 more
doaj +1 more source
Flexible Communication Avoiding Matrix Multiplication on FPGA with High-Level Synthesis [PDF]
, 2020 Johannes de Fine Licht +2 more
openalex +1 more source
Protein pyrophosphorylation by inositol pyrophosphates — detection, function, and regulation
FEBS Letters, EarlyView.Protein pyrophosphorylation is an unusual signaling mechanism that was discovered two decades ago. It can be driven by inositol pyrophosphate messengers and influences various cellular processes. Herein, we summarize the research progress and challenges of this field, covering pathways found to be regulated by this posttranslational modification as ...
Sarah Lampe +3 more
wiley +1 more source
Efficient Scheduling of Conditional Behaviors for High-Level Synthesis [PDF]
, 2002 International audienceAs hardware designs get increasingly complex and time-to-market constraints get tighter there is strong motivation for high-level synthesis (HLS). HLS must efficiently handle both dataflow-dominated and controlflow-dominated designs
Kountouris, Apostolos +1 more
core +3 more sources