Search Sciweavers | Sciweavers

10539 search results - page 242 / 2108

» On L

129

click to vote

FMCAD
2009
Springer

132views Formal Methods» more FMCAD 2009»

Enhanced verification by temporal decomposition

16 years 1 months ago

Download fmv.jku.at

Michael L. Case, Hari Mony, Jason Baumgartner, Rob...

claim paper

Read More »

107

click to vote

GECCO
2009
Springer

76views Optimization» more GECCO 2009»

A polynomial time computation of the exact correlation structure of k-satisfiability landscapes

16 years 1 months ago

Download www.cs.colostate.edu

Andrew M. Sutton, L. Darrell Whitley, Adele E. How...

claim paper

Read More »

146

click to vote

NORDSEC
2009
Springer

151views Security Privacy» more NORDSEC 2009»

Blunting Differential Attacks on PIN Processing APIs

16 years 1 months ago

Download www.lsv.ens-cachan.fr

Riccardo Focardi, Flaminia L. Luccio, Graham Steel

claim paper

Read More »

137

click to vote

PVM
2009
Springer

77views Distributed And Parallel Com...» more PVM 2009»

Dynamic Communicators in MPI

16 years 1 months ago

Download tools.zih.tu-dresden.de

Richard L. Graham, Rainer Keller

claim paper

Read More »

131

click to vote

ASAP
2008
IEEE

128views Hardware» more ASAP 2008»

Low discrepancy sequences for Monte Carlo simulations on reconfigurable platforms

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers