Search Sciweavers | Sciweavers

15777 search results - page 229 / 3156

» The Reformulation-Optimization Software Engine

135

click to vote

APPML
2011

269views Software Engineering» more APPML 2011»

2-factors with the bounded number of components in line graphs

14 years 10 months ago

Download www.combinatorics.net.cn

Liming Xiong

claim paper

Read More »

222

click to vote

APPML
2011

255views Software Engineering» more APPML 2011»

Model order determination using the Hankel matrix of impulse responses

14 years 10 months ago

Download www.ece.ualberta.ca

Huanhuan Yin, Zhifang Zhu, Feng Ding

claim paper

Read More »

107

click to vote

AMAST
2010
Springer

209views Software Engineering» more AMAST 2010»

Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra

14 years 10 months ago

Download mpc2010.fsg.ulaval.ca

Claude Bolduc, Béchir Ktari

claim paper

Read More »

100

click to vote

CCE
2011

202views Software Engineering» more CCE 2011»

Editorial announcement

14 years 10 months ago

Download www.tandf.co.uk

Rafiqul Gani

claim paper

Read More »

100

click to vote

COMPSAC
2010
IEEE

89views Software Engineering» more COMPSAC 2010»

Variability Modeling for Product Line Viewpoints Integration

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers