Sciweavers

10585 search results - page 128 / 2117

» The Orc Programming Language

108

Voted

APLAS
2010
ACM

106views Programming Languages» more APLAS 2010»

Relational Parametricity for a Polymorphic Linear Lambda Calculus

15 years 3 months ago

Relational Parametricity for a Polymorphic Linear Lambda Calculus

Download www.cis.upenn.edu

Jianzhou Zhao, Qi Zhang, Steve Zdancewic

claim paper

Read More »

111

Voted

ICFP
2010
ACM

126views Programming Languages» more ICFP 2010»

Rethinking supercompilation

15 years 3 months ago

Rethinking supercompilation

Download community.haskell.org

Neil Mitchell

claim paper

Read More »

116

ICALP
2010
Springer

144views Programming Languages» more ICALP 2010»

Data Stream Algorithms for Codeword Testing

15 years 3 months ago

Data Stream Algorithms for Codeword Testing

Download www.acsu.buffalo.edu

Atri Rudra, Steve Uurtamo

claim paper

Read More »

91

Voted

ADT
2010

114views Programming Languages» more ADT 2010»

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

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

125

Voted

ADT
2008

112views Programming Languages» more ADT 2008»

Home networking: performance and architecture challenges

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

« Prev « First page 128 / 2117 Last » Next »