2409 search results - page 323 / 482 » Logical systems for structured specifications |
122
click to vote
FGCS
2006
15 years 4 months ago
2006
In this work we present a predictive analytical model that encompasses the performance and scaling characteristics of a nondeterministic particle transport application, MCNP (Mont...
143
click to vote
SIGOPS
2010
15 years 2 months ago
2010
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
159
click to vote
VRML
2004
ACM
15 years 9 months ago
2004
ACM
Increasingly, biology researchers and medical practitioners are using computational tools to model and analyze dynamic systems across scales from the macro to the cellular to the ...
173
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Comparative genomics is the analysis and comparison of genomes from different species. This area of research is driven by the large number of sequenced genomes and hea...
136
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
In the domain of desktop software, design patterns have had a profound impact; they are applied ubiquitously across a broad range of applications. Patterns serve both to promulgat...