Search Sciweavers | Sciweavers

129 search results - page 6 / 26

» hais 2008

Voted

CI
2005

49views more CI 2005»

Query Routing in a Peer-to-Peer Semantic Link Network

14 years 9 months ago

Download kg.ict.ac.cn

Hai Zhuge, Jie Liu, Liang Feng, Xiaoping Sun, Chao...

claim paper

Read More »

click to vote

ENTCS
2008

81views more ENTCS 2008»

Encoding First Order Proofs in SMT

14 years 9 months ago

Download www.lsi.upc.edu

Jeremy Bongio, Cyrus Katrak, Hai Lin, Christopher ...

claim paper

Read More »

click to vote

SOCO
2008
Springer

150views Software Engineering» more SOCO 2008»

Congruences and ideals in pseudoeffect algebras

14 years 8 months ago

Download lib.xpu.edu.cn

Hai-Yang Li, Sheng-Gang Li

claim paper

Read More »

click to vote

EMSOFT
2008
Springer

91views Software Engineering» more EMSOFT 2008»

State space abstraction for parameterized self-stabilizing embedded systems

14 years 11 months ago

Download users.eecs.northwestern.edu

Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Pri...

claim paper

Read More »

click to vote

DAC
2008
ACM

101views Computer Architecture» more DAC 2008»

An efficient incremental algorithm for min-area retiming

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers