In this paper, we evaluate the effectiveness of model slicing to provide assurance about correctness of SystemC TLM programs. The need for such assurance is important since SystemC has become a de-facto standard for building systems with hardware/software co-design. Existing approaches that enable one to transform the given SystemC TLM program into an UPPAAL model that can be verified suffer fr...

BACKGROUND We conducted longitudinal voice evaluations in patients with early glottic cancer who underwent transoral laser microsurgery (TLM) to determine the time to stability. METHODS Twenty-five patients underwent TLM, including 13 limited cordectomies (type I and type II) and 12 extended cordectomies (type III to type IV). Multidimensional voice evaluations were performed before treatment...

BACKGROUND Transoral laser microsurgery (TLM) is used to treat early and select cases of moderately advanced glottic cancer, with results equivalent to those of conventional conservative surgery and radiotherapy (RT). As surgeons and researchers become more experienced and familiar with TLM, they can focus on mechanisms to earlier detect local recurrence, to more effectively preserve laryngeal ...

Design technology is expected to rise to electronic system-level (ESL). This necessitates new techniques and tools for synthesizing ESL designs and for verifying them before and after ESL synthesis. A promising verification strategy for future very complex designs is to initially verify the design at the highest level of abstraction, and then check the equivalence of the lower level automatical...

BACKGROUND Surgical treatment options for local recurrences of laryngeal cancer can be either organ-preserving surgery or total laryngectomy. The purpose of this study was to present our evaluation of the treatment with transoral laser microsurgery (TLM) in comparison to laryngectomy. METHODS We conducted a retrospective review of 199 consecutive patients with recurrent laryngeal cancer at 1 ...

This report describes ESE(Embedded System Environment), a tool set for modeling, synthesis and validation of MPSoC design. It is an answer to the modern design challenge, widening productivity gap. In the ESE design flow, the final implementation is obtained from the universal specification of a given system by automatic or semi-automatic refinement. Application, platform and their mapping serv...

Dual scattering channel (DSC) schemes generalize Johns’ TLM algorithm in replacing transmission lines with abstract scattering channels in terms of paired distributions. A well known merit of TLM schemes is unconditional stability, a property generally drawn upon passivity of linear transmission line networks. So the question arises, if DSC algorithms remain stable in a neat sense. It is shown ...

Abstract—In this paper the simulation of ultra wideband microstrip antenna is considered. Because of the ultra wideband characteristics of this antenna, it is better to use time domain simulation methods. In this work we use three dimensional transmission line matrix method (3D-TLM) and EPML-TLM algorithm for modeling PML boundary condition directly applied to TLM algorithm. Finally simulation ...

Management of cardiovascular risk factors in diabetes demands special attention due to their co-existence. Pioglitazone (PIO) and telmisartan (TLM) combination can be beneficial in effective control of cardiovascular complication in diabetes. In this research, we developed and validated a high throughput LC-MS/MS method for simultaneous quantitation of PIO and TLM in rat plasma. This developed ...