Sciweavers

4150 search results - page 182 / 830
» A Practical Approach to Model Extension
Sort
View
FDL
2003
IEEE
15 years 9 months ago
Synchronization of analogue and digital solvers in mixed-signal simulation on a SystemC platform
This contribution proposes a synchronization technique for solvers able to handle analogue extensions to SystemC, for modelling of general, mixed-mode systems with digital and non...
Tom J. Kazmierski, Hessa Al-Junaid
CMSB
2008
Springer
15 years 5 months ago
A Language for Biochemical Systems
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
Michael Pedersen, Gordon D. Plotkin
ICASSP
2010
IEEE
15 years 4 months ago
On the robustness of the multidimensional state coherence transform for solving the permutation problem of frequency-domain ICA
A common problem in frequency domain independent component analysis (ICA) is the so called permutation problem which arises due to the independent demixing in each frequency bin. ...
Benedikt Loesch, Francesco Nesta, Bin Yang
ENTCS
2006
124views more  ENTCS 2006»
15 years 4 months ago
Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions
The article introduces an extension of the well-known conformance relation ioco on labeled transition systems (LTS) with refused inputs and forbidden actions. This extension helps...
Igor B. Bourdonov, Alexander Kossatchev, Victor V....
DATE
2007
IEEE
98views Hardware» more  DATE 2007»
15 years 10 months ago
Simulation-based reusable posynomial models for MOS transistor parameters
We present an algorithm to automatically design posynomial models for parameters of the MOS transistors using simulation data. These models improve the accuracy of the Geometric P...
Varun Aggarwal, Una-May O'Reilly