Sciweavers

10575 search results - page 115 / 2115

» Programming Languages

72

ICFP
2010
ACM

126views Programming Languages» more ICFP 2010»

Rethinking supercompilation

14 years 10 months ago

Rethinking supercompilation

Download community.haskell.org

Neil Mitchell

claim paper

Read More »

77

ICALP
2010
Springer

144views Programming Languages» more ICALP 2010»

Data Stream Algorithms for Codeword Testing

14 years 10 months ago

Data Stream Algorithms for Codeword Testing

Download www.acsu.buffalo.edu

Atri Rudra, Steve Uurtamo

claim paper

Read More »

54

ADT
2010

114views Programming Languages» more ADT 2010»

Analysis of energy-tax for multipath routing in wireless sensor networks

14 years 9 months ago

Analysis of energy-tax for multipath routing in wireless sensor networks

Download networking.khu.ac.kr

Md. Abdur Razzaque, Choong Seon Hong

claim paper

Read More »

84

ADT
2008

112views Programming Languages» more ADT 2008»

Home networking: performance and architecture challenges

14 years 9 months ago

Home networking: performance and architecture challenges

Download www.annales-des-telecommunications.com

Khaldoun Al Agha, Walter Grote, Yutaka Takahashi

claim paper

Read More »

90

APLAS
2010
ACM

101views Programming Languages» more APLAS 2010»

From a Verified Kernel towards Verified Systems

14 years 8 months ago

From a Verified Kernel towards Verified Systems

Download www.cse.unsw.edu.au

Gerwin Klein

claim paper

Read More »

« Prev « First page 115 / 2115 Last » Next »