Search Sciweavers | Sciweavers

11588 search results - page 39 / 2318

» Will They Like This

click to vote

AMAST
2008
Springer

104views Software Engineering» more AMAST 2008»

Separation Logic Contracts for a Java-Like Language with Fork/Join

13 years 11 months ago

Download www.cs.ru.nl

Christian Haack, Clément Hurlin

claim paper

Read More »

click to vote

CIKM
2008
Springer

77views Information Technology» more CIKM 2008»

What should blog search look like?

13 years 11 months ago

Download people.ischool.berkeley.edu

Blog search has not yet reached its full potential. In this position paper, we suggest that more could be done to accommodate the task of finding good blogs to read, especially wi...

Marti A. Hearst, Matthew Hurst, Susan T. Dumais

claim paper

Read More »

click to vote

ASAP
2007
IEEE

109views Hardware» more ASAP 2007»

Long Live Small Fan-in Majority Gates Their Reign Looks Like Coming!

13 years 10 months ago

Download vada.skku.ac.kr

This paper explores the reliability of three different minimum fan-in majority gates full adder (FA) designs, and compares them to the performance of a standard XOR-based FA. The ...

Walid Ibrahim, Valeriu Beiu

claim paper

Read More »

click to vote

FASE
2008
Springer

156views Software Engineering» more FASE 2008»

An Automatic Verifier for Java-Like Programs Based on Dynamic Frames

13 years 10 months ago