Search Sciweavers | Sciweavers

2636 search results - page 7 / 528

» Linear Programming

322

Voted

POPL
2004
ACM

84views Programming Languages» more POPL 2004»

Precise interprocedural analysis through linear algebra

16 years 7 months ago

Download www.cs.kuleuven.ac.be

Helmut Seidl, Markus Müller-Olm

claim paper

Read More »

177

Voted

ESOP
2004
Springer

96views Programming Languages» more ESOP 2004»

System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types

16 years 24 days ago

Download www.macs.hw.ac.uk

Sébastien Carlier, Jeff Polakow, J. B. Well...

claim paper

Read More »

232

click to vote

MCMASTER
1993

150views Programming Languages» more MCMASTER 1993»

A Systolizing Compilation Scheme for Nested Loops with Linear Bounds

15 years 11 months ago

Download www.infosun.fim.uni-passau.de

With the recent advances in massively parallel programmable processor networks, methods for the infusion of massive MIMD parallelism into programs have become increasingly relevant...

Michael Barnett, Christian Lengauer

claim paper

Read More »

204

Voted

ESOP
2011
Springer

208views Programming Languages» more ESOP 2011»

Linear Absolute Value Relation Analysis

14 years 11 months ago

Download www.di.ens.fr

Liqian Chen, Antoine Miné, Ji Wang, Patrick...

claim paper

Read More »

165

Voted

JMLR
2012

212views Programming Languages» more JMLR 2012»

Scaling up Kernel SVM on Limited Resources: A Low-rank Linearization Approach

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers