Search Sciweavers | Sciweavers

10539 search results - page 242 / 2108

» On L

123

click to vote

FMCAD
2009
Springer

132views Formal Methods» more FMCAD 2009»

Enhanced verification by temporal decomposition

16 years 15 days ago

Download fmv.jku.at

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

claim paper

Read More »

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 15 days ago

Download www.cs.colostate.edu

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

claim paper

Read More »

134

click to vote

NORDSEC
2009
Springer

151views Security Privacy» more NORDSEC 2009»

Blunting Differential Attacks on PIN Processing APIs

16 years 14 days ago

Download www.lsv.ens-cachan.fr

Riccardo Focardi, Flaminia L. Luccio, Graham Steel

claim paper

Read More »

128

click to vote

PVM
2009
Springer

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

Dynamic Communicators in MPI

16 years 14 days ago

Download tools.zih.tu-dresden.de

Richard L. Graham, Rainer Keller

claim paper

Read More »

112

click to vote

ASAP
2008
IEEE

128views Hardware» more ASAP 2008»

Low discrepancy sequences for Monte Carlo simulations on reconfigurable platforms

16 years 13 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers