The paper presents a novel high-level power modeling and estimation framework. The approach is based on a synergic integration of aspect-oriented programming(AOP) and SystemC. Mac...
Providing and managing security for large networked systems is difficult because their size and complexity makes manual design and management nearly impossible. Current security m...
The weakly coupled WKB system captures high frequency wave dynamics in many applications. For such a system a level set method framework has been recently developed to compute mult...
Nominal rewriting introduced a novel method of specifying rewriting on syntax-with-binding. We extend this treatment of rewriting with hierarchy of variables representing increasi...
This paper presents a general framework to integrate a new type of constraints, based on spatial relations, in deformable models. In the proposed approach, spatial relations are r...