Sciweavers

15779 search results - page 199 / 3156
» Change-oriented software engineering
Sort
View
AC
2000
Springer
15 years 6 months ago
An Introduction to Low-Density Parity-Check Codes
Mohammad Amin Shokrollahi
107
Voted
ADAEUROPE
2000
Springer
15 years 6 months ago
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs
Johann Blieberger, Bernd Burgstaller, Bernhard Sch...
101
Voted
AMAST
2000
Springer
15 years 6 months ago
Random Access to Abstract Data Types
Martin Erwig
93
Voted
AMAST
2000
Springer
15 years 6 months ago
Message Authentication through Non Interference
Riccardo Focardi, Roberto Gorrieri, Fabio Martinel...