7103 search results - page 499 / 1421 » Program Generation and Components |
126
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
150
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— A number of conceptually simple but behaviorrich “inverted pendulum” humanoid models have greatly enhanced the understanding and analytical insight of humanoid dyna...
120
click to vote
NDSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Application-level protocol analyzers are important components in tools such as intrusion detection systems, firewalls, and network monitors. Currently, protocol analyzers are wri...
153
Voted
GECCO
2007
Springer
15 years 11 months 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...
157
click to vote
LCPC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Empirical optimizers like ATLAS have been very effective in optimizing computational kernels in libraries. The best choice of parameters such as tile size and degree of l...