Sciweavers

924 search results - page 103 / 185
» Teaching simulation using case studies
Sort
View
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
15 years 7 months ago
Fault origin adjudication
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...
CSDA
2004
188views more  CSDA 2004»
15 years 2 months ago
A bandwidth selection for kernel density estimation of functions of random variables
In this investigation, the problem of estimating the probability density function of a function of m independent identically distributed random variables, g(X1, X2, ..., Xm) is co...
A. R. Mugdadi, Ibrahim A. Ahmad
CEC
2008
IEEE
15 years 9 months ago
Automatic model type selection with heterogeneous evolution: An application to RF circuit block modeling
— Many complex, real world phenomena are difficult to study directly using controlled experiments. Instead, the use of computer simulations has become commonplace as a cost effe...
Dirk Gorissen, Luciano De Tommasi, Jeroen Croon, T...
ISSS
1998
IEEE
124views Hardware» more  ISSS 1998»
15 years 7 months ago
Data-Path Synthesis of VLIW Video Signal Processors
This paper describes a methodology for synthesizing the data-path of a Very Long Instruction Word (VLIW) based Video Signal Processor (VSP). Offering both performance and programm...
Zhao Wu, Wayne Wolf
ICCD
2001
IEEE
103views Hardware» more  ICCD 2001»
16 years 15 hour ago
Fixed-outline Floorplanning through Better Local Search
Classical floorplanning minimizes a linear combination of area and wirelength. When Simulated Annealing is used, e.g., with the Sequence Pair representation, the typical choice o...
Saurabh N. Adya, Igor L. Markov