546 search results - page 29 / 110 » Extended Null-Move Reductions |
141
click to vote
FPL
2010
Springer
15 years 3 months ago
2010
Springer
The paper describes application of the clock-gating techniques, often used in ASIC designs, to the field of FPGAbased systems. The clock-gating techniques are used to reduce the to...
135
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Linear discriminant analysis (LDA) is a well-known scheme for feature extraction and dimensionality reduction of labeled data in a vector space. Recently, LDA has been extended to...
180
click to vote
APN
2009
Springer
16 years 15 days ago
2009
Springer
The ASCoVeCo State space Analysis Platform (ASAP) is a tool for performing explicit state space analysis of coloured Petri nets (CPNs) and other formalisms. ASAP supports a wide ra...
147
Voted
ASIAN
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. We present a reduction semantics for the LYSA calculus extended with session information, for modelling cryptographic protocols, and a static analysis for it. If a protoc...
167
Voted
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
The Continuation of Invariant Subspaces (CIS) algorithm produces a smoothly varying basis for an invariant subspace R(s) of a parameter-dependent matrix A(s). In the case when A(s)...