Man-Kit Leung

Learn More
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstraction for composing concurrent components. However, high level abstraction often introduces overhead and results in slower system. We address the problem of generating efficient(More)
  • Christopher Brooks, Edward A Lee, Xiaojun Liu, Stephen Neuendorffer, Yang Zhao, Haiyang Zheng +17 others
  • 2007
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to(More)
Including semantic information in models helps to expose modeling errors early in the design process, engage a designer in a deeper understanding of the model, and standardize concepts and terminology across a development team. It is impractical, however, for model builders to manually annotate every modeling element with semantic properties. This paper(More)
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to(More)
OBJECTIVES To elucidate indications and outcomes with the transjugular craniotomy for resection of jugular foramen tumors with intracranial extension. The transjugular approach is a lateral craniotomy conducted through a partial petrosectomy traversing the jugular fossa combined with resection of the sigmoid sinus and jugular bulb, which often have been(More)
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to(More)
A model of computation (MoC or domain) is a modeling abstraction of how components interact. Researchers have proposed a variety of MoCs to describe different kinds of interaction semantics. For example, some MoCs may use deter-ministic data streams to express communication between components while some MoCs may govern the interaction through real-time or(More)