12050 search results - page 1623 / 2410 » Modeling and Simulation |
185
click to vote
HASKELL
2006
ACM
16 years 1 months ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
232
click to vote
SIGMETRICS
2011
ACM
14 years 10 months ago
2011
ACM
The amount of charge stored in an SRAM cell shrinks rapidly with each technology generation thus increasingly exposing caches to soft errors. Benchmarking the FIT rate of caches d...
195
click to vote
ICA
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. We present an approach for blindly decomposing an observed random vector x into f(As) where f is a diagonal function i.e. f = f1 × . . . × fm with one-dimensional funct...
243
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Integration of multiple results from Quantitative Trait Loci (QTL) studies is a key point to understand the genetic determinism of complex traits. Up to now many effor...
255
click to vote
VISUALIZATION
2003
IEEE
16 years 27 days ago
2003
IEEE
We introduce a method for the animation of fire propagation and the burning consumption of objects represented as volumetric data sets. Our method uses a volumetric fire propaga...