Sciweavers

3235 search results - page 1 / 647
» Partial Redundant Modeling
Sort
View
CP
2005
Springer
13 years 10 months ago
Partial Redundant Modeling
In the context of previous work on redundant modeling, permutation problems and matrix modeling, we introduce the notion of partial redundant modeling and categorical channeling co...
Tiziana Ligorio, Susan L. Epstein
ICDCS
2012
IEEE
11 years 7 months ago
Combining Partial Redundancy and Checkpointing for HPC
Today’s largest High Performance Computing (HPC) systems exceed one Petaflops (1015 floating point operations per second) and exascale systems are projected within seven years...
James Elliott, Kishor Kharbas, David Fiala, Frank ...
INFORMATICALT
2011
80views more  INFORMATICALT 2011»
12 years 11 months ago
From Multiblock Partial Least Squares to Multiblock Redundancy Analysis. A Continuum Approach
For the purpose of exploring and modelling the relationships between a dataset and several datasets, multiblock Partial Least Squares is a widely-used regression technique. It is d...
Stéphanie Bougeard, Mostafa El Qannari, Cor...
CAV
2009
Springer
184views Hardware» more  CAV 2009»
14 years 5 months ago
Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
Vineet Kahlon, Chao Wang, Aarti Gupta
CTRSA
2001
Springer
129views Cryptology» more  CTRSA 2001»
13 years 9 months ago
Formal Security Proofs for a Signature Scheme with Partial Message Recovery
The Pintsov-Vanstone signature scheme with partial message recovery (PVSSR) is a variant of the Schnorr and Nyberg-Rueppel signature schemes. It produces very short signatures on ...
Daniel R. L. Brown, Donald Byron Johnson