Sciweavers

2341 search results - page 306 / 469
» Using ontologies for simulation integration
Sort
View
166
Voted
SPIN
2010
Springer
15 years 28 days ago
Combining SPIN with ns-2 for Protocol Optimization
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
Pedro Merino, Alberto Salmeron
135
Voted
MBEC
2010
14 years 9 months ago
Reverse engineering the kidney: modelling calcium oxalate monohydrate crystallization in the nephron
Crystallization of calcium oxalate monohydrate in a section of a single kidney nephron (distal convoluted tubule) is simulated using a model adapted from industrial crystallization...
A. Borissova, G. E. Goltz, J. P. Kavanagh, T. A. W...
172
Voted
DAC
2006
ACM
16 years 3 months ago
Prototyping a fault-tolerant multiprocessor SoC with run-time fault recovery
Modern integrated circuits (ICs) are becoming increasingly complex. The complexity makes it difficult to design, manufacture and integrate these high-performance ICs. The advent o...
Xinping Zhu, Wei Qin
159
Voted
ICSE
2010
IEEE-ACM
15 years 4 months ago
Supporting developers with natural language queries
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
Michael Würsch, Giacomo Ghezzi, Gerald Reif, ...
143
Voted
BMCBI
2006
131views more  BMCBI 2006»
15 years 2 months ago
Statistical modeling of biomedical corpora: mining the Caenorhabditis Genetic Center Bibliography for genes related to life span
Background: The statistical modeling of biomedical corpora could yield integrated, coarse-to-fine views of biological phenomena that complement discoveries made from analysis of m...
David M. Blei, K. Franks, Michael I. Jordan, I. Sa...