Sciweavers

176 search results - page 22 / 36
» Techniques for Functional Test Pattern Execution
Sort
View
CGF
2004
89views more  CGF 2004»
13 years 8 months ago
Fast Multipath Radiosity using Hierarchical Subscenes
This paper presents an efficient acceleration technique for the global line radiosity Multipath method. In this approach, the scene is subdivided in a hierarchy of box bounded sub...
Francesc Castro, Mateu Sbert, László...
SAT
2009
Springer
126views Hardware» more  SAT 2009»
14 years 3 months ago
Extending SAT Solvers to Cryptographic Problems
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
Mate Soos, Karsten Nohl, Claude Castelluccia

Publication
7756views
15 years 8 months ago
A New Grey-Scale Template Image Matching Algorithm Using the Cross-Sectional Histogram Correlation Method
A new correlation technique for Grey-Scale Template Image Matching, the Cross-Sectional Histogram Correlation (CHC) Method, is proposed. In comparison to the traditional, widely-us...
Ryo Takei
WOSP
2010
ACM
14 years 1 months ago
A framework for utility-based service oriented design in SASSY
The architecture of a software system has a significant impact on its quality of service (QoS) as measured by several performance metrics such as execution time, availability, th...
Daniel A. Menascé, John M. Ewing, Hassan Go...
FASE
2006
Springer
14 years 14 days ago
Trace-Based Memory Aliasing Across Program Versions
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...
Murali Krishna Ramanathan, Suresh Jagannathan, Ana...