8828 search results - page 1293 / 1766 » Formal methods in practice |
181
click to vote
COMCOM
2008
15 years 7 months ago
2008
Self-organization is a great concept for building scalable systems consisting of a huge number of subsystems. The primary objectives are improved scalability and dynamic adaptatio...
195
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Software development is rarely an individual effort and generally involves teams of developers collaborating to generate good reliable code. Among the software code there exist te...
184
click to vote
CONSTRAINTS
2008
15 years 7 months ago
2008
Abstract. A very challenging problem in the genetics domain is to infer haplotypes from genotypes. This process is expected to identify genes affecting health, disease and response...
200
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
It is shown that bandwidth estimation in packet networks can be viewed in terms of min-plus linear system theory. The available bandwidth of a link or complete path is expressed i...
160
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
In a recent paper Lima, Panario and Wang have provided a new method to multiply polynomials in Chebyshev basis which aims at reducing the total number of multiplication when polyn...