Search Sciweavers | Sciweavers

15253 search results - page 130 / 3051

» Integer-Programming Software Systems

117

click to vote

KBSE
2008
IEEE

72views Software Engineering» more KBSE 2008»

Tool Support for Parametric Analysis of Large Software Simulation Systems

16 years 26 days ago

Download ti.arc.nasa.gov

Johann Schumann, Karen Gundy-Burlet, Corina S. Pas...

claim paper

Read More »

122

click to vote

SCAM
2008
IEEE

85views Software Engineering» more SCAM 2008»

DTS - A Software Defects Testing System

16 years 25 days ago

Download www.dcs.kcl.ac.uk

Zhao Hong Yang, Yun Zhan Gong, Xiao Qing, Wang Ya ...

claim paper

Read More »

165

click to vote

CODES
2006
IEEE

120views Software Engineering» more CODES 2006»

SHAPES: : a tiled scalable software hardware architecture platform for embedded systems

16 years 16 days ago

Download www.cecs.uci.edu

Pier Stanislao Paolucci, Ahmed Amine Jerraya, Rain...

claim paper

Read More »

click to vote

ICSE
2010
IEEE-ACM

102views Software Engineering» more ICSE 2010»

Using symbolic evaluation to understand behavior in configurable software systems

15 years 11 months ago

Download www.cs.umd.edu

Elnatan Reisner, Charles Song, Kin-Keung Ma, Jeffr...

claim paper

Read More »

110

click to vote

CSEE
1992
Springer

69views Software Engineering» more CSEE 1992»

Experience with a Course on Architectures for Software Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers