Search Sciweavers | Sciweavers

13841 search results - page 340 / 2769

» Algorithms and Constraint Programming

141

click to vote

APPROX
2009
Springer

139views Algorithms» more APPROX 2009»

Unsplittable Flow in Paths and Trees and Column-Restricted Packing Integer Programs

16 years 1 months ago

Download www.cs.uiuc.edu

Chandra Chekuri, Alina Ene, Nitish Korula

claim paper

Read More »

139

click to vote

ASIAN
2007
Springer

114views Algorithms» more ASIAN 2007»

Compiling C Programs into a Strongly Typed Assembly Language

16 years 29 days ago

Download www.qatar.cmu.edu

Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezaw...

claim paper

Read More »

122

click to vote

WDAG
2005
Springer

94views Algorithms» more WDAG 2005»

Causing Communication Closure: Safe Program Composition with Non-FIFO Channels

16 years 7 days ago

Download www.cse.unsw.edu.au

Kai Engelhardt, Yoram Moses

claim paper

Read More »

156

click to vote

TACAS
2001
Springer

96views Algorithms» more TACAS 2001»

Boolean and Cartesian Abstraction for Model Checking C Programs

15 years 11 months ago

Download www.inf.uni-konstanz.de

Thomas Ball, Andreas Podelski, Sriram K. Rajamani

claim paper

Read More »

148

click to vote

AAECC
1999
Springer

109views Algorithms» more AAECC 1999»

A Fast Program Generator of Fast Fourier Transforms

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers