Sciweavers

4074 search results - page 484 / 815
» Hardware Modelling and Simulation Using an Object-Oriented M...
Sort
View
DAC
2006
ACM
16 years 7 months ago
Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...
Xiushan Feng, Alan J. Hu
SMA
2005
ACM
125views Solid Modeling» more  SMA 2005»
16 years 9 days ago
Multi-representation interaction for physically based modeling
For simulations involving complex objects, a number of different properties must be represented. An example of this is in modeling an object undergoing combustion—heat amounts,...
Zeki Melek, John Keyser
ICPR
2002
IEEE
16 years 7 months ago
Bayesian Rendering with Non-Parametric Multiscale Prior Model
This paper investigates the use of the Bayesian inference for devising an example-based rendering procedure. As prior model of this Bayesian inference, we exploit the multiscale n...
Max Mignotte
ICSE
2007
IEEE-ACM
16 years 6 months ago
Randomized Differential Testing as a Prelude to Formal Verification
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
Alex Groce, Gerard J. Holzmann, Rajeev Joshi
GLOBECOM
2009
IEEE
15 years 4 months ago
Performance Modeling for Heterogeneous Wireless Networks with Multiservice Overflow Traffic
Performance modeling is important for the purpose of developing efficient dimensioning tools for large complicated networks. But it is difficult to achieve in heterogeneous wireles...
Qian Huang, King-Tim Ko, Villy Bæk Iversen