Heterogeneous computing systems combine different types of compute elements that share
memory. A specific class of heterogeneous systems discussed in this paper pairs traditional …

FPGAs (Field Programmable Gate Arrays) are making their way into data centers (DCs) and
are used to offload and accelerate specific services, but they are not yet available to cloud …

Due to the high levels of competition in a global market, companies have put more emphasis
on building strong customer relationships and increasing customer satisfaction levels. With …

Verification is indispensable for building reliable of hardware/software co-designs. However,
the scope of formal methods in this domain is limited. This is attributed to the lack of unified …

This paper presents, a log analytics platform with near-storage accelerators for high-
performance, cost-and power-efficient unstructured log processing. offloads log analytics …

FPGAs are a popular target for application-specific accelerators because they lead to a good
balance between flexibility and energy efficiency. However, FPGA lookup tables introduce …

With Moore's law progressively running out of steam, heterogeneous computing
architectures have been powering the top supercomputers in the world for many years and …

Extracting information from unstructured text data is a compute-intensive task. The
performance of general-purpose processors cannot keep up with the rapid growth of textual …

Conventional tools for formal hardware/software co-verification use bounded model
checking techniques to construct a single monolithic propositional formula. Formulas …

This paper introduces the concept of Semi-static Operator Graphs (SOG) to provide a
runtime reconfigurable accelerator for query execution based on a Field Programmable …