Search Sciweavers | Sciweavers

10575 search results - page 217 / 2115

» T2Script Programming Language

111

click to vote

ICFP
2010
ACM

100views Programming Languages» more ICFP 2010»

Semantic subtyping with an SMT solver

15 years 7 months ago

Download research.microsoft.com

Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu...

claim paper

Read More »

119

Voted

ICFP
2010
ACM

114views Programming Languages» more ICFP 2010»

Specifying and verifying sparse matrix codes

15 years 7 months ago

Download www.eecs.berkeley.edu

Gilad Arnold, Johannes Hölzl, Ali Sinan K&oum...

claim paper

Read More »

132

click to vote

ADT
2010

203views Programming Languages» more ADT 2010»

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

15 years 5 months ago

Download networking.khu.ac.kr

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

claim paper

Read More »

138

click to vote

ADT
2010

135views Programming Languages» more ADT 2010»

Fair data collection in wireless sensor networks: analysis and protocol

15 years 5 months ago

Download networking.khu.ac.kr

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

claim paper

Read More »

137

click to vote

IFIP
2010
Springer

149views Programming Languages» more IFIP 2010»

Learning Collaboration Moderator Services: Supporting Knowledge Based Collaboration

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers