Sciweavers

10585 search results - page 43 / 2117

» The Orc Programming Language

99

Voted

PADL
2007
Springer

156views Programming Languages» more PADL 2007»

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

15 years 9 months ago

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

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

claim paper

Read More »

118

Voted

SMALLTALK
2007
Springer

106views Programming Languages» more SMALLTALK 2007»

Redesigning with traits: the Nile stream trait-based library

15 years 9 months ago

Redesigning with traits: the Nile stream trait-based library

Download csl.ensm-douai.fr

Damien Cassou, Stéphane Ducasse, Roel Wuyts

claim paper

Read More »

83

Voted

ASPLOS
2006
ACM

84views Programming Languages» more ASPLOS 2006»

Writing Solaris device drivers in Java

15 years 9 months ago

Writing Solaris device drivers in Java

Download labs.oracle.com

Hiroshi Yamauchi, Mario Wolczko

claim paper

Read More »

90

Voted

ASPLOS
2006
ACM

89views Programming Languages» more ASPLOS 2006»

A comparison of software and hardware techniques for x86 virtualization

15 years 9 months ago

A comparison of software and hardware techniques for x86 virtualization

Download www.vmware.com

Keith Adams, Ole Agesen

claim paper

Read More »

92

Voted

ASPLOS
2006
ACM

82views Programming Languages» more ASPLOS 2006»

A probabilistic pointer analysis for speculative optimizations

15 years 9 months ago

A probabilistic pointer analysis for speculative optimizations

Download www.eecg.toronto.edu

Jeff Da Silva, J. Gregory Steffan

claim paper

Read More »

« Prev « First page 43 / 2117 Last » Next »