We investigate the problem of generating energy-optimal code for a collection of streaming
tasks that include parallelizable or malleable tasks on a generic many-core processor with …

Models of computation abstract away a number of implementation details in favor of well-
defined semantics. While this has unquestionable benefits, we argue that analysis of models …

We study the problem of mapping concurrent tasks of an application to cores of a chip
multiprocessor that utilize circuit-switched interconnect and global asynchronous local …

For the past half century, Moore's Law has been the fundamental driver of high-performance
computing. The continued CMOS technology scaling doubles the transistor density of VLSI …

We study the problem of mapping concurrent tasks of an application modeled as a data flow
graph onto processors of a GALS-based manycore platform. We propose a mapping …

The topic of this dissertation stands at the crossroads of two emerging technologies: highly-
parallel computing and quantum computing. Both seek to go beyond the limits of current …

Synchronous dataflow (SDF) graphs are often the computational model of choice for
specification, analysis, and automated synthesis of parallel streaming kernels targeting …

An important subset of streaming applications can be synthesized from statically-analyzable
synchronous dataflow (SDF) models. The software synthesis process typically implements …

Continuation of Moore's law and advances in fabrication technologies have enabled
development of digital computing platforms that contain many processor cores. Such chip …

論文抄録 ビックデータブームにより, データ解析手法の高速化およびスケールアウトに対する需要が
高まっている. 特に, 時系列に沿って到着するデータストリームを多角的・横断的にリアルタイム解析 …