6650 search results - page 205 / 1330 » models 2009 |
160
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Anti-angiogenic therapy is a novel treatment approach in cancer therapy that aims at preventing a tumor from developing a network of blood vessels and capillaries that ...
179
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
—The paper is focused on the problem of aggregation of probability distribution applicable for parallel Bivariate Marginal Distribution Algorithm (pBMDA). A new approach based on...
139
click to vote
ASPDAC
2009
ACM
15 years 11 months ago
2009
ACM
and Abstract CommunicationFlexible and Abstract CommunicationFlexible and Abstract CommunicationFlexible and Abstract Communication and Interconnect Modeling for MPSoCand Interconn...
172
click to vote
CAISE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Today’s large-scale computing systems are deployed in open, changing and unpredictable environments. To operate reliably, such systems should be able to adapt to new ci...
175
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...