13500 search results - page 2537 / 2700 » Improved analysis of D |
178
click to vote
EMSOFT
2007
Springer
16 years 21 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
183
click to vote
GECCO
2007
Springer
16 years 21 days ago
2007
Springer
Ant Colony Optimization (ACO) has been successfully applied to those combinatorial optimization problems which can be translated into a graph exploration. Artificial ants build s...
209
click to vote
IPSN
2007
Springer
16 years 20 days ago
2007
Springer
Recent work has shown that, despite the minimal information provided by a binary proximity sensor, a network of such sensors can provide remarkably good target tracking performanc...
172
click to vote
SPIN
2007
Springer
16 years 19 days ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
193
click to vote
CCGRID
2006
IEEE
16 years 18 days ago
2006
IEEE
— Over the years, the use of global grid environments have become widespread. In order to make applications robust against the dynamics of those grid environments it is essential...