2594 search results - page 105 / 519 » Elements of a Theory of Simulation |
CORR
2007
Springer
13 years 8 months ago
2007
Springer
We consider a new kind of interpretation over relational structures: finite sets interpretations. Those interpretations are defined by weak monadic second-order (WMSO) formulas w...
AUTOMATICA
2000
13 years 8 months ago
2000
The use of linear quadratic theory in bumpless transfer is discussed and a modification to a similar scheme proposed in [9] is suggested. Formulae are given for a feedback element...
MICCAI
2004
Springer
14 years 9 months ago
2004
Springer
Abstract. The extraction of quantitative information through Intravascular Ultrasound (IVUS) images is a very important goal for the diagnostic and the therapy in atherosclerotic v...
ICCAD
2001
IEEE
14 years 5 months ago
2001
IEEE
This paper presents both compact analytical models and fast SPICE based 3-D electro-thermal simulation methodology to characterize thermal effects due to Joule heating in high per...
IWSOC
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents a case study of a single-chip 3G WCDMA/FDD basestation implementation based on a circuit-switched network on chip. As the amount of transistors on a chip conti...