Abstract--Multimedia and DSP applications have several computationally intensive kernels which are often offloaded and accelerated by application-specific hardware. This paper pres...
Sejong Oh, Tag Gon Kim, Jeonghun Cho, Elaheh Bozor...
Cooperative Search Engine (CSE) is a distributed search engine, which can update indexes in very short time for the purpose of fresh information retrieval. In CSE, the retrieval p...
Our society is rapidly changing into information society, where the needs and requests of the people on information access vary vigorously depending who they are. Library's m...
During locomotion sensory information from cutaneous and muscle receptors is continuously integrated with the locomotor central pattern generator (CPG) to generate an appropriate m...
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...