4695 search results - page 536 / 939 » Software Clustering Techniques and the Use of Combined Algor... |
278
click to vote
VEE
2012
ACM
14 years 3 months ago
2012
ACM
Process-level virtualization is increasingly being used to enhance the security of software applications from reverse engineering and unauthorized modification (called software p...
226
click to vote
IDEAS
2009
IEEE
16 years 2 months ago
2009
IEEE
A natural consequence of the widespread adoption of XML as standard for information representation and exchange is the redundant storage of large amounts of persistent XML documen...
188
click to vote
IEEEPACT
2003
IEEE
16 years 1 months ago
2003
IEEE
Modern architecture research relies heavily on detailed pipeline simulation. Simulating the full execution of an industry standard benchmark can take weeks to months to complete. ...
123
click to vote
DATE
2008
IEEE
16 years 2 months ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
205
click to vote
IPL
2008
15 years 7 months ago
2008
In this article we analyze the combination of ACOhg, a new metaheuristic algorithm, plus partial order reduction applied to the problem of finding safety property violations in co...