Search Sciweavers | Sciweavers

8627 search results - page 27 / 1726

» Software Engineering Using RATionale

127

Voted

CCE
2010

87views Software Engineering» more CCE 2010»

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

15 years 1 months ago

Download sol.rutgers.edu

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

claim paper

Read More »

231

click to vote

APPML
2011

255views Software Engineering» more APPML 2011»

Model order determination using the Hankel matrix of impulse responses

14 years 11 months ago

Download www.ece.ualberta.ca

Huanhuan Yin, Zhifang Zhu, Feng Ding

claim paper

Read More »

118

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 11 months ago

Download mpc2010.fsg.ulaval.ca

Claude Bolduc, Béchir Ktari

claim paper

Read More »

140

click to vote

TASLP
2011

187views Software Engineering» more TASLP 2011»

Robust Voice Activity Detection Using Long-Term Signal Variability

14 years 10 months ago

Download www-scf.usc.edu

Prasanta Kumar Ghosh, Andreas Tsiartas, Shrikanth ...

claim paper

Read More »

110

click to vote

SEE
2010
Springer

83views Software Engineering» more SEE 2010»

A Note on the Definition of "Dual Use"

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers