Search Sciweavers | Sciweavers

10585 search results - page 43 / 2117

» The Orc Programming Language

click to vote

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

14 years 2 months ago

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

click to vote

SMALLTALK
2007
Springer

106views Programming Languages» more SMALLTALK 2007»

Redesigning with traits: the Nile stream trait-based library

14 years 2 months ago

Download csl.ensm-douai.fr

Damien Cassou, Stéphane Ducasse, Roel Wuyts

claim paper

Read More »

click to vote

ASPLOS
2006
ACM

84views Programming Languages» more ASPLOS 2006»

Writing Solaris device drivers in Java

14 years 2 months ago

Download labs.oracle.com

Hiroshi Yamauchi, Mario Wolczko

claim paper

Read More »

click to vote

ASPLOS
2006
ACM

89views Programming Languages» more ASPLOS 2006»

A comparison of software and hardware techniques for x86 virtualization

14 years 2 months ago

Download www.vmware.com

Keith Adams, Ole Agesen

claim paper

Read More »

click to vote

ASPLOS
2006
ACM

82views Programming Languages» more ASPLOS 2006»

A probabilistic pointer analysis for speculative optimizations

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers