Search Sciweavers | Sciweavers

22358 search results - page 220 / 4472

» Software Performance Engineering

162

click to vote

AC
2000
Springer

72views Software Engineering» more AC 2000»

Normalization and Partial Evaluation

15 years 11 months ago

Download www.diku.dk

Peter Dybjer, Andrzej Filinski

claim paper

Read More »

190

click to vote

AC
2000
Springer

181views Software Engineering» more AC 2000»

An Introduction to Low-Density Parity-Check Codes

15 years 11 months ago

Download www.itsoc.org

Mohammad Amin Shokrollahi

claim paper

Read More »

162

click to vote

ADAEUROPE
2000
Springer

75views Software Engineering» more ADAEUROPE 2000»

Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs

15 years 11 months ago

Download fabrice.kordon.free.fr

Johann Blieberger, Bernd Burgstaller, Bernhard Sch...

claim paper

Read More »

153

Voted

AMAST
2000
Springer

87views Software Engineering» more AMAST 2000»

Random Access to Abstract Data Types

15 years 11 months ago

Download www.fernuni-hagen.de

Martin Erwig

claim paper

Read More »

149

Voted

AMAST
2000
Springer

80views Software Engineering» more AMAST 2000»

Message Authentication through Non Interference

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers