4722 search results - page 305 / 945 » Representation-independent program analysis |
163
click to vote
COMPSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...
163
click to vote
SIGMETRICS
1998
ACM
15 years 10 months ago
1998
ACM
In many real applications, for example those with frequent and irregular communication patterns or those using large messages, network contention and contention for message proces...
188
click to vote
GCC
2006
Springer
15 years 10 months ago
2006
Springer
Grid computing is becoming more and more attractive to provide a convenient uniform platform for coordinating highly distributed and heterogeneous resources and services. GridPPI ...
148
click to vote
AMC
2007
15 years 6 months ago
2007
Abstract–A new evolutionary programming algorithm (NEP) using the non-uniform mutation operator instead of Gaussian or Cauchy mutation operators is proposed. NEP has the merits o...
185
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: A priori analysis of the activity of drugs on the target protein by computational approaches can be useful in narrowing down drug candidates for further experimental t...