Sciweavers

3481 search results - page 380 / 697
» A New Approach to Component Testing
Sort
View
SCAM
2008
IEEE
16 years 1 months ago
Fast and Precise Points-to Analysis
—Many software engineering applications require points-to analysis. Client applications range from optimizing compilers to program development and testing environments to reverse...
Jonas Lundberg, Tobias Gutzmann, Welf Löwe
ATS
2003
IEEE
151views Hardware» more  ATS 2003»
15 years 12 months ago
BDD Based Synthesis of Symmetric Functions with Full Path-Delay Fault Testability
A new technique for synthesizing totally symmetric Boolean functions is presented that achieves complete robust path delay fault testability. We apply BDDs for the synthesis of sy...
Junhao Shi, Görschwin Fey, Rolf Drechsler
COCO
2003
Springer
102views Algorithms» more  COCO 2003»
15 years 12 months ago
Memoization and DPLL: Formula Caching Proof Systems
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...
Paul Beame, Russell Impagliazzo, Toniann Pitassi, ...
EPIA
2003
Springer
15 years 12 months ago
Border Detection on Remote Sensing Satellite Data Using Self-Organizing Maps
In this paper, a new approach to Mediterranean Water Eddy border detection is proposed. Kohonen self-organizing maps (SOM) are used as data mining tools to cluster image pixels thr...
Nuno M. C. Marques, Ning Chen
ICANN
2003
Springer
15 years 12 months ago
Sparse Coding with Invariance Constraints
We suggest a new approach to optimize the learning of sparse features under the constraints of explicit transformation symmetries imposed on the set of feature vectors. Given a set...
Heiko Wersing, Julian Eggert, Edgar Körner