688 search results - page 34 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
FMOODS
2003
13 years 9 months ago
2003
Performance analysis of computing systems, in particular distributed computing systems, is a complex process. Analysing the complex flows and interactions between a set of distribu...
DAC
2009
ACM
13 years 11 months ago
2009
ACM
Power grid verification in modern integrated circuits is an integral part of early system design where adjustments can be most easily incorporated. In this work, we describe an ea...
RECOMB
2009
Springer
14 years 2 months ago
2009
Springer
This paper presents a new approach to site-directed recombination, swapping combinations of selected discontiguous fragments from a source protein in place of corresponding fragmen...
ICB
2009
Springer
13 years 5 months ago
2009
Springer
Many large-scale biometric systems operate in the identification mode and include multimodal information. While biometric fusion is a well-studied problem, most of the fusion schem...
TC
2008
13 years 7 months ago
2008
A unified computation method of vector and elementary functions is proposed for handheld 3D graphics systems. It unifies vector operations like vector multiply, multiply-and-add, d...