Sciweavers

1816 search results - page 195 / 364
» Case study in modeling and simulation validation methodology
Sort
View
DATE
2009
IEEE
120views Hardware» more  DATE 2009»
16 years 1 months ago
Towards a formal semantics for the AADL behavior annex
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi
ASPLOS
2006
ACM
15 years 10 months ago
Efficiently exploring architectural design spaces via predictive modeling
Architects use cycle-by-cycle simulation to evaluate design choices and understand tradeoffs and interactions among design parameters. Efficiently exploring exponential-size desig...
Engin Ipek, Sally A. McKee, Rich Caruana, Bronis R...
BMCBI
2006
148views more  BMCBI 2006»
15 years 6 months ago
Exploiting the full power of temporal gene expression profiling through a new statistical test: Application to the analysis of m
Background: The identification of biologically interesting genes in a temporal expression profiling dataset is challenging and complicated by high levels of experimental noise. Mo...
Veronica Vinciotti, Xiaohui Liu, Rolf Turk, Emile ...
TASLP
2008
90views more  TASLP 2008»
15 years 6 months ago
Efficient Realization of Wave Digital Components for Physical Modeling and Sound Synthesis
Wave digital filters (WDFs) were originally developed for robust discrete-time simulation of analog filters, but recently they have been applied successfully to modeling of physica...
Matti Karjalainen
WSC
2000
15 years 7 months ago
Productivity modeling of semiconductor manufacturing equipment
Optimizing a semiconductor wafer fab requires balancing technology and productivity. Recent work on productivity modeling will be described and focus on discrete event simulation ...
Mark Pool, Robert Bachrach