Sciweavers

47 search results - page 10 / 10
» Distributed simulation using the virtual test bed and its re...
Sort
View
SADM
2010
141views more  SADM 2010»
13 years 1 days ago
A parametric mixture model for clustering multivariate binary data
: The traditional latent class analysis (LCA) uses a mixture model with binary responses on each subject that are independent conditional on cluster membership. However, in many pr...
Ajit C. Tamhane, Dingxi Qiu, Bruce E. Ankenman
ASPLOS
2004
ACM
13 years 10 months ago
HOIST: a system for automatically deriving static analyzers for embedded systems
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
John Regehr, Alastair Reid