Search Sciweavers | Sciweavers

12452 search results - page 301 / 2491

» An exploration of program as language

188

Voted

ADT
2010

219views Programming Languages» more ADT 2010»

A load-aware energy-efficient and throughput-maximized asynchronous duty cycle MAC for wireless sensor networks

15 years 5 months ago

Download networking.khu.ac.kr

Muhammad Mostafa Monowar, Muhammad Mahbub Alam, Md...

claim paper

Read More »

146

Voted

ADT
2010

101views Programming Languages» more ADT 2010»

A new framework for GLIF Interdomain Resource Reservation Architecture (GIRRA)

15 years 5 months ago

Download www.csc.ncsu.edu

Gigi Karmous-Edwards, Silvana Greco Polito, Admela...

claim paper

Read More »

152

click to vote

PLDI
2011
ACM

181views Programming Languages» more PLDI 2011»

A security policy oracle: detecting security holes using multiple API implementations

14 years 10 months ago

Download www.cs.utexas.edu

Varun Srivastava, Michael D. Bond, Kathryn S. McKi...

claim paper

Read More »

152

click to vote

POPL
2012
ACM

257views Programming Languages» more POPL 2012»

Canonicity for 2-dimensional type theory

14 years 3 months ago

Download www.cs.cmu.edu

nvenient way of pattern-matching against abstract data types. Publications: Dissertation

Daniel R. Licata, Robert Harper

claim paper

Read More »

138

Voted

JMLR
2012

175views Programming Languages» more JMLR 2012»

MULTIBOOST: A Multi-purpose Boosting Package

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers