Search Sciweavers | Sciweavers

9176 search results - page 84 / 1836

» algorithms 2010

129

click to vote

VMCAI
2010
Springer

172views Software Engineering» more VMCAI 2010»

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

15 years 11 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 11 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 11 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 11 months ago

Download www.umiacs.umd.edu

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

claim paper

Read More »

115

click to vote

ICDCN
2010
Springer

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

Radio Network Distributed Algorithms in the Unknown Neighborhood Model

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers