Programming Languages

39

ASPLOS
2010
ACM

216views Programming Languages» more ASPLOS 2010»

Best-effort semantic document search on GPUs

13 years 10 months ago

Semantic indexing is a popular technique used to access and organize large amounts of unstructured text data. We describe an optimized implementation of semantic indexing and docu...

Surendra Byna, Jiayuan Meng, Anand Raghunathan, Sr...

claim paper

Read More »

39

click to vote

APLAS
2010
ACM

101views Programming Languages» more APLAS 2010»

From a Verified Kernel towards Verified Systems

13 years 10 months ago

Download www.cse.unsw.edu.au

Gerwin Klein

claim paper

Read More »

56

click to vote

APLAS
2010
ACM

169views Programming Languages» more APLAS 2010»

Type Inference for Sublinear Space Functional Programming

13 years 10 months ago

Download www2.tcs.ifi.lmu.de

We consider programming language aspects of algorithms that operate on data too large to ﬁt into memory. In previous work we have introduced IntML, a functional programming langu...

Ugo Dal Lago, Ulrich Schöpp

claim paper

Read More »

34

click to vote

ADT
2008

112views Programming Languages» more ADT 2008»

Home networking: performance and architecture challenges

13 years 11 months ago

Download www.annales-des-telecommunications.com

Khaldoun Al Agha, Walter Grote, Yutaka Takahashi

claim paper

Read More »

28

click to vote

ADT
2010

107views Programming Languages» more ADT 2010»

End-to-end throughput improvement for single radio multi-channel multi-path wireless mesh networks: a cross layer design

13 years 11 months ago

Download networking.khu.ac.kr

Cao Trong Hieu, Sungwon Lee, Choong Seon Hong

claim paper

Read More »

40

click to vote

ADT
2010

135views Programming Languages» more ADT 2010»

Fair data collection in wireless sensor networks: analysis and protocol

13 years 11 months ago

Download networking.khu.ac.kr

Md. Abdul Hamid, Muhammad Mahbub Alam, Md. Sharifu...

claim paper

Read More »

30

click to vote

ADT
2010

203views Programming Languages» more ADT 2010»

EFT: a high throughput routing metric for IEEE 802.11s wireless mesh networks

13 years 11 months ago

Download networking.khu.ac.kr

Md. Shariful Islam, Muhammad Mahbub Alam, Md. Abdu...

claim paper

Read More »

26

click to vote

ADT
2010

114views Programming Languages» more ADT 2010»

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

13 years 11 months ago

Download networking.khu.ac.kr

Md. Abdur Razzaque, Choong Seon Hong

claim paper

Read More »

39

click to vote

LISP
2000

96views more LISP 2000»

Continuations: A Mathematical Semantics for Handling Full Jumps

13 years 11 months ago

Download www.cs.tufts.edu

This paper describes a method of giving the mathematical semantics of programming languages which include the most general form of jumps.

Christopher Strachey, Christopher P. Wadsworth

claim paper

Read More »

38

click to vote

ENTCS
2002

181views more ENTCS 2002»

Alias verification for Fortran code optimization

13 years 11 months ago

Download www.jucs.org

Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...

Thi Viet Nga Nguyen, François Irigoin

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers