Search Sciweavers | Sciweavers

10585 search results - page 214 / 2117

» The Orc Programming Language

135

Voted

POPL
2012
ACM

238views Programming Languages» more POPL 2012»

Resource-sensitive synchronization inference by abduction

13 years 10 months ago

Download www.cs.purdue.edu

We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...

Matko Botincan, Mike Dodds, Suresh Jagannathan

claim paper

Read More »

108

click to vote

PPDP
2009
Springer

105views Programming Languages» more PPDP 2009»

Language support for processing distributed ad hoc data

15 years 9 months ago

Download www.research.att.com

Kenny Qili Zhu, Daniel S. Dantas, Kathleen Fisher,...

claim paper

Read More »

click to vote

PLDI
2003
ACM

101views Programming Languages» more PLDI 2003»

The nesC language: A holistic approach to networked embedded systems

15 years 7 months ago

Download nescc.sourceforge.net

David Gay, Philip Levis, J. Robert von Behren, Mat...

claim paper

Read More »

click to vote

ICFP
1998
ACM

79views Programming Languages» more ICFP 1998»

PLAN: A Packet Language for Active Networks

15 years 6 months ago

Download www.cs.umd.edu

Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore...

claim paper

Read More »

click to vote

SIGADA
1993
Springer

78views Programming Languages» more SIGADA 1993»

The Development of Software in the Ada Language for a Mid-Range Hematology Analyzer

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers