Search Sciweavers | Sciweavers

10539 search results - page 290 / 2108

» On L

125

click to vote

PODC
1989
ACM

58views Distributed and Parallel Com...» more PODC 1989»

A Structural Induction Theorem for Processes

15 years 10 months ago

Download www.cadence.com

Robert P. Kurshan, Kenneth L. McMillan

claim paper

Read More »

144

click to vote

CHI
1998
ACM

88views Human Computer Interaction» more CHI 1998»

Quantifying the Effect of User Interface Design Features on Cyberstore Traffic and Sales

15 years 10 months ago

Download interface.free.fr

Gerald L. Lohse, Peter Spiller

claim paper

Read More »

183

click to vote

AMOST
2007
ACM

241views Software Engineering» more AMOST 2007»

Model-based regression test suite generation using dependence analysis

15 years 10 months ago

Download www.site.uottawa.ca

Yanping Chen, Robert L. Probert, Hasan Ural

claim paper

Read More »

136

click to vote

CAV
2007
Springer

121views Hardware» more CAV 2007»

Automated Assumption Generation for Compositional Verification

15 years 10 months ago

Download www.cadence.com

Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu

claim paper

Read More »

142

click to vote

DAC
2010
ACM

127views Computer Architecture» more DAC 2010»

Stochastic computation

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers