An effort to formalize the process of software pipelining loops with conditions is presented in this paper. A formal framework for scheduling such loops, based on representing set...
In this paper we present an approach to multi-objective exploration of the mapping space of a mesh-based network-on-chip architecture. Based on evolutionary computing techniques, ...
This paper describes a validating XML parsing method based on deterministic finite state automata (DFA). XML parsing and validation is performed by a schema-specific XML parser th...
— This paper describes novel low-complexity transcoding techniques for an efficient MPEG-2 to H.264/AVC transcoder. We present a motion and mode mapping algorithm that directly m...
Jun Xin, Anthony Vetro, Shun-ichi Sekiguchi, Kazuo...
Model interpreters play an essential role in modelintegrated systems: they transform domain-specific models into executable models. The state-ot-the-art of model interpreter writi...