Search Sciweavers | Sciweavers

9176 search results - page 84 / 1836

» algorithms 2010

105

click to vote

VMCAI
2010
Springer

172views Software Engineering» more VMCAI 2010»

Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction

15 years 9 months ago

Download ropas.snu.ac.kr

Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun...

claim paper

Read More »

click to vote

PDP
2010
IEEE

158views Distributed And Parallel Com...» more PDP 2010»

RASM: A Reliable Algorithm for Scalable Multicast

15 years 9 months ago

Download www.gsd.inesc-id.pt

Mouna Allani, João Leitão, Beno&icir...

claim paper

Read More »

click to vote

ISPD
2010
ACM

173views Hardware» more ISPD 2010»

B-escape: a simultaneous escape routing algorithm based on boundary routing

15 years 9 months ago

Download www.ee.ucla.edu

Lijuan Luo, Tan Yan, Qiang Ma, Martin D. F. Wong, ...

claim paper

Read More »

click to vote

SIGCSE
2010
ACM

167views Education» more SIGCSE 2010»

Is teaching parallel algorithmic thinking to high school students possible?: one teacher's experience

15 years 9 months ago

Download www.umiacs.umd.edu

Shane Torbert, Uzi Vishkin, Ron Tzur, David J. Ell...

claim paper

Read More »

Voted

ICDCN
2010
Springer

109views Distributed and Parallel Com...» more ICDCN 2010»

Radio Network Distributed Algorithms in the Unknown Neighborhood Model

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers