Sciweavers

10585 search results - page 128 / 2117

» The Orc Programming Language

23

APLAS
2010
ACM

106views Programming Languages» more APLAS 2010»

Relational Parametricity for a Polymorphic Linear Lambda Calculus

13 years 9 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 »

23

ICFP
2010
ACM

126views Programming Languages» more ICFP 2010»

Rethinking supercompilation

13 years 9 months ago

Rethinking supercompilation

Download community.haskell.org

Neil Mitchell

claim paper

Read More »

23

ICALP
2010
Springer

144views Programming Languages» more ICALP 2010»

Data Stream Algorithms for Codeword Testing

13 years 9 months ago

Data Stream Algorithms for Codeword Testing

Download www.acsu.buffalo.edu

Atri Rudra, Steve Uurtamo

claim paper

Read More »

23

ADT
2010

114views Programming Languages» more ADT 2010»

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

13 years 8 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 »

25

ADT
2008

112views Programming Languages» more ADT 2008»

Home networking: performance and architecture challenges

13 years 8 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 »