3742 search results - page 235 / 749 » On the Use of Formal Techniques for Validation |
208
click to vote
IJCNN
2006
IEEE
16 years 18 days ago
2006
IEEE
—A generic approach that allows extracting functional nonlinear dependencies and mappings between atmospheric or ocean state variables in a relatively simple form is presented. T...
168
click to vote
GLVLSI
2003
IEEE
15 years 12 months ago
2003
IEEE
We introduce a simple hierarchical design technique for using dynamic domino circuits to build high-performance self-timed data path circuits. We wrap the dynamic domino circuit i...
178
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Multi-tier web server systems are used in many important contexts and their security is a major cause of concern. Such systems can exploit strategies like least privilege to make ...
178
click to vote
ICPADS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract-Predicting sequential execution blocks of a large scale parallel application is an essential part of accurate prediction of the overall performance of the application. Whe...
198
click to vote
MCS
2010
Springer
15 years 4 months ago
2010
Springer
Multilabel classification is a challenging research problem in which each instance is assigned to a subset of labels. Recently, a considerable amount of research has been concerned...