2623 search results - page 357 / 525 » tools 2010 |
DATE
2010
IEEE
14 years 25 days ago
2010
IEEE
An increasing concern amongst designers and integrators of military and defense-related systems is the underlying security of the individual microprocessor components that make up ...
FAST
2010
14 years 22 days ago
2010
A content-addressable storage (CAS) system is a valuable tool for building storage solutions, providing efficiency by automatically detecting and eliminating duplicate blocks; it ...
ICPR
2010
IEEE
14 years 12 days ago
2010
IEEE
Active contour methods like snakes, have become a basic tool in computer vision and image analysis over the last years. They have proven to be adequate for the task of finding bou...
EDBT
2010
ACM
14 years 12 days ago
2010
ACM
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. Analyzing the execution of such processes is critical for enforcing business ...
ISSTA
2010
ACM
14 years 12 days ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...