Search Sciweavers | Sciweavers

8627 search results - page 27 / 1726

» Software Engineering Using RATionale

150

click to vote

CCE
2010

87views Software Engineering» more CCE 2010»

Improving benders decomposition using maximum feasible subsystem (MFS) cut generation strategy

15 years 3 months ago

Download sol.rutgers.edu

Georgios K. G. Saharidis, Marianthi G. Ierapetrito...

claim paper

Read More »

255

click to vote

APPML
2011

255views Software Engineering» more APPML 2011»

Model order determination using the Hankel matrix of impulse responses

15 years 1 months ago

Download www.ece.ualberta.ca

Huanhuan Yin, Zhifang Zhu, Feng Ding

claim paper

Read More »

141

click to vote

AMAST
2010
Springer

209views Software Engineering» more AMAST 2010»

Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra

15 years 1 months ago

Download mpc2010.fsg.ulaval.ca

Claude Bolduc, Béchir Ktari

claim paper

Read More »

169

click to vote

TASLP
2011

187views Software Engineering» more TASLP 2011»

Robust Voice Activity Detection Using Long-Term Signal Variability

15 years 28 days ago

Download www-scf.usc.edu

Prasanta Kumar Ghosh, Andreas Tsiartas, Shrikanth ...

claim paper

Read More »

137

click to vote

SEE
2010
Springer

83views Software Engineering» more SEE 2010»

A Note on the Definition of "Dual Use"

15 years 22 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers