Search Sciweavers | Sciweavers

8949 search results - page 108 / 1790

» is 1998

click to vote

CARDIS
1998
Springer

105views Hardware» more CARDIS 1998»

Recent Results on Modular Multiplications for Smart Cards

14 years 2 months ago

Download users.belgacom.net

Jean-François Dhem, Jean-Jacques Quisquater

claim paper

Read More »

click to vote

NSPW
1998
ACM

78views Distributed And Parallel Com...» more NSPW 1998»

An Integrated Framework for Security and Dependability

14 years 2 months ago

Download www.windowsecurity.com

Erland Jonsson

claim paper

Read More »

click to vote

CAV
1998
Springer

66views Hardware» more CAV 1998»

Verification of Floating-Point Adders

14 years 2 months ago

Download www.cs.cmu.edu

Yirng-An Chen, Randal E. Bryant

claim paper

Read More »

click to vote

CAV
1998
Springer

77views Hardware» more CAV 1998»

Generating Finite-State Abstractions of Reactive Systems Using Decision Procedures

14 years 2 months ago

Download www-step.stanford.edu

Michael Colón, Tomás E. Uribe

claim paper

Read More »

click to vote

CAV
1998
Springer

117views Hardware» more CAV 1998»

MONA 1.x: New Techniques for WS1S and WS2S

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers