138 search results - page 18 / 28 » Novel architecture for loop acceleration: a case study |
CBSE
2006
Springer
15 years 1 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
131
click to vote
RECOMB
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this study we propose a novel model for the representation of biological networks and provide algorithms for learning model parameters from experimental data. Our appr...
ICIP
2002
IEEE
15 years 11 months ago
2002
IEEE
Transmission of high quality video over the Internet faces many challanges including unpredictable packet loss characteristics of the current Internet and the heterogeneity of rec...
ASWEC
2009
IEEE
15 years 4 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
CEC
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract- Particle Swarm Optimization (PSO) has successfully been applied to many optimization problems. One particularly interesting aspect of these algorithms is to study the com...