Search Sciweavers | Sciweavers

15777 search results - page 338 / 3156

» The Reformulation-Optimization Software Engine

101

click to vote

FSTTCS
2000
Springer

94views Software Engineering» more FSTTCS 2000»

Arithmetic Circuits and Polynomial Replacement Systems

15 years 7 months ago

Download www.thi.uni-hannover.de

Pierre McKenzie, Heribert Vollmer, Klaus W. Wagner

claim paper

Read More »

108

click to vote

FSTTCS
2000
Springer

63views Software Engineering» more FSTTCS 2000»

Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping

15 years 7 months ago

Download hal.archives-ouvertes.fr

Jan-Georg Smaus, François Fages, Pierre Der...

claim paper

Read More »

Voted

ICSE
2000
IEEE-ACM

97views Software Engineering» more ICSE 2000»

Deriving test plans from architectural descriptions

15 years 7 months ago

Download members.tripod.com

Antonia Bertolino, Flavio Corradini, Paola Inverar...

claim paper

Read More »

click to vote

IUI
2000
ACM

112views Software Engineering» more IUI 2000»

R2D2 in a softball: the portable satellite assistant

15 years 7 months ago

Download www.jeffreymbradshaw.net

Yuri Gawdiak, Jeffrey Bradshaw, Brian C. Williams,...

claim paper

Read More »

105

Voted

WCRE
1998
IEEE

94views Software Engineering» more WCRE 1998»

Program Comprehension in Multi-Language Systems

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers