In bibliographies like DBLP and Citeseer, there are three kinds of entity-name problems that
need to be solved. First, multiple entities share one name, which is called the name sharing …

In this paper we present detailed profiling results and identify the time critical algorithms of
the Long Term Evolution (LTE) layer 2 (L2) protocol processing on an ARM based mobile …

Devices for the mobile market have to satisfy a set of challenging constraints. In addition to
the classical power, reliability and cost constraints, modern devices often have to be open to …

This article provides a detailed profiling of the layer 2 (L2) protocol processing for 3G
successor Long Term Evolution (LTE). For this purpose, the most processing intensive part …

This paper presents a preliminary study of applying partitioned scheduling in the seL4
microkernel. This microkernel is the first operating system kernel ever to be formally proven …

In this paper we present a design methodology for the identification and development of a
suitable hardware platform (including dedicated hardware accelerators) for the data plane …

In this paper we present a new on-the-fly hardware acceleration approach, based on a smart
Direct Memory Access (sDMA) controller, for the layer 2 (L2) downlink protocol stack …

Programmable consumer devices have placed computation within arm's reach at all times
and in all places. Unfortunately, researchers interested in investigating this phenomenon …

seL4 is formally verified for its functional correctness and its kernel modules provide strong
support to achieve interprocess communication mechanism. In recent years, some scholars …

In this paper, we present different acceleration concepts for the Robust Header
Compression version 2 (ROHCv2) algorithms in Long Term Evolution (LTE) handsets. First …