3107 search results - page 312 / 622 » Error-Correcting Source Code |
172
click to vote
PDP
2003
IEEE
16 years 14 days ago
2003
IEEE
We present a programming interface, called PICA, which aims to reduce the production cycle duration for communication protocols. It offers a user-friendly API that is very intuiti...
222
click to vote
FIDJI
2003
Springer
16 years 13 days ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
183
click to vote
ICSM
2002
IEEE
16 years 4 days ago
2002
IEEE
Design patterns are widely recognized as important software development methods. Their use as software understanding tools, though generally acknowledged has been scarcely explore...
197
click to vote
ISSRE
2002
IEEE
16 years 3 days ago
2002
IEEE
Improving the dependability of computer systems is increasingly important as more and more of our lives depend on the availability of such systems. Wrapping dynamic link libraries...
241
click to vote
IWPC
2002
IEEE
16 years 3 days ago
2002
IEEE
Architectural patterns and styles represent important design decisions and thus are valuable abstractions for architecture recovery. Recognizing them is a challenge because styles...