Search Sciweavers | Sciweavers

4386 search results - page 22 / 878

» A Tamper-Resistant Programming Language System

click to vote

PLDI
2003
ACM

101views Programming Languages» more PLDI 2003»

The nesC language: A holistic approach to networked embedded systems

14 years 27 days ago

Download nescc.sourceforge.net

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

claim paper

Read More »

click to vote

ENTCS
2002

65views more ENTCS 2002»

Superposition: Composition vs refinement of non-deterministic action-based systems

13 years 7 months ago

Download homepages.di.fc.ul.pt

We show that the traditional notion of superposition as used for supporting parallel program design can subsume both composition and refinement relationships when non-deterministi...

Antónia Lopes, José Luiz Fiadeiro

claim paper

Read More »

click to vote

USENIX
2007

80views Operating System» more USENIX 2007»

Programming Languages

13 years 10 months ago

Download www.cs.utsa.edu

Stephen C. Johnson

claim paper

Read More »

click to vote

USENIX
2007

111views Operating System» more USENIX 2007»

Python Programming Language

13 years 10 months ago

Download www.twincling.org

Guido van Rossum

claim paper

Read More »

click to vote

PPDP
2010
Springer

186views Programming Languages» more PPDP 2010»

Graph queries through datalog optimizations

13 years 6 months ago

Download www.cs.sunysb.edu

This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efﬁcient implementations of the q...

K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. L...

claim paper

Read More »

« Prev « First page 22 / 878 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers