8828 search results - page 1192 / 1766 » Formal methods in practice |
166
Voted
AMC
2008
15 years 7 months ago
2008
This paper introduces a general framework for defining the entropy of a graph. Our definition is based on a local information graph and on information functionals derived from the...
179
Voted
ANOR
2008
15 years 7 months ago
2008
Abstract Column generation techniques have become a widely used technique to successfully solve large (integer) linear programs. One of the keys to obtaining a practically efficien...
174
Voted
CCR
2010
15 years 7 months ago
2010
The well-known traceroute probing method discovers links between interfaces on Internet routers. IP alias resolution, the process of identifying IP addresses belonging to the same...
170
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Deterministic execution offers many benefits for debugging, fault tolerance, and security. Current methods of executing parallel programs deterministically, however, often incur h...
192
click to vote
COR
2008
15 years 7 months ago
2008
Evolutionary Testing is a promising approach for automating the testing of software-based systems. A number of papers have been published in the last years which have successfully...