Search Sciweavers | Sciweavers

11588 search results - page 39 / 2318

» Will They Like This

Voted

AMAST
2008
Springer

104views Software Engineering» more AMAST 2008»

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

15 years 2 months ago

Download www.cs.ru.nl

Christian Haack, Clément Hurlin

claim paper

Read More »

Voted

CIKM
2008
Springer

77views Information Technology» more CIKM 2008»

What should blog search look like?

15 years 2 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 »

Voted

ASAP
2007
IEEE

109views Hardware» more ASAP 2007»

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

15 years 2 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 »

103

Voted

FASE
2008
Springer

156views Software Engineering» more FASE 2008»

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

15 years 2 months ago