Modern data appliances face severe bandwidth bottlenecks when moving vast amounts of data from storage to the query processing nodes. A possible solution to mitigate these bottlenecks is query off-loading to an intelligent storage engine, where partial or whole queries are pushed down to the storage engine. In this paper, we present Ibex , a prototype of an intelligent storage engine that suppo...

Excessive end-to-end latency and insufficient update rate continue to be major limitations of virtual environment (VE) system performance. Beginning from a typical baseline VE in which a spatial tracker is polled to deliver data via an RS-232 interface at each update of a single application program, we examined a series of hardware and software reconfigurations with the aim of reducing end-to-e...

This paper presents an implementation for computing weight distributions of binary linear block codes on an FPGA-based Custom Computing Machine (CCM). It consists of a heavily pipelined circuit customized for every code investigated. A hardware solution is very attractive for this time-consuming problem: It is about seven times faster than the best software solution we know and computes a new w...

The move from hardware middleboxes to software network functions, as advocated by NFV, has proven more challenging than expected. Developing new NFs remains a tedious process, requiring that developers repeatedly rediscover and reapply the same set of optimizations, while current techniques for providing isolation between NFs (using VMs or containers) incur high performance overheads. In this p...

As per the Moore's law, the number of transistors that could be placed on a single integrated circuit has been increasing exponentially, and today has reached the stage where the implementation of multiple processor cores on a single chip has become a reality. As a result, the capacity of modern FPGA devices will soon support the implementation of hundreds to thousands of soft microprocessor co...

This paper shows how monadic second-order logic on strings M2L(Str) can pro tably be used as a description language for model-based analysis of software as well as hardware systems. It is therefore a good candidate formalism for hardware/software codesign. This logic conveniently combines two important features in a single formalism: It is both an abstract speci cation language and an e ective ...