Search Sciweavers | Sciweavers

11909 search results - page 382 / 2382

» The Scheme Programming Language

175

click to vote

HASKELL
2006
ACM

117views Programming Languages» more HASKELL 2006»

Extended static checking for haskell

16 years 1 months ago

Download pauillac.inria.fr

Dana N. Xu

claim paper

Read More »

156

click to vote

CC
2005
Springer

112views System Software» more CC 2005»

A Study of Type Analysis for Speculative Method Inlining in a JIT Environment

16 years 1 months ago

Download www.sable.mcgill.ca

Feng Qian, Laurie J. Hendren

claim paper

Read More »

171

Voted

CC
2005
Springer

91views System Software» more CC 2005»

Optimizing C Multithreaded Memory Management Using Thread-Local Storage

16 years 1 months ago

Download www.cs.tau.ac.il

Yair Sade, Shmuel Sagiv, Ran Shaham

claim paper

Read More »

146

click to vote

CP
2005
Springer

87views Artificial Intelligence» more CP 2005»

Statistical Modelling of CSP Solving Algorithms Performance

16 years 1 months ago

Download lia.deis.unibo.it

Ramón Béjar, Cèsar Fern&aacut...

claim paper

Read More »

127

Voted

CP
2005
Springer

92views Artificial Intelligence» more CP 2005»

A Constraint Based Agent for TAC-SCM

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers