Sciweavers

1282 search results - page 133 / 257
» Practical Loss-Resilient Codes
Sort
View
190
Voted

Book
2145views
16 years 10 months ago
An Introduction to Binary Search Trees and Balanced Trees
"Libavl is a library in ANSI C for manipulation of various types of binary trees. This book provides an introduction to binary tree techniques and presents all of Libavl’s ...
Ben Pfaff
VSTTE
2005
Springer
15 years 6 months ago
Linking the Meaning of Programs to What the Compiler Can Verify
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
Egon Börger
87
Voted
IEAAIE
2004
Springer
15 years 6 months ago
Knowledge Representation on Design of Storm Drainage System
During the design of storm drainage system, many decisions are involved on the basis of rules of thumb, heuristics, judgment, code of practice and previous experience of the design...
Kwok-wing Chau, C. S. Cheung
ICDCS
2003
IEEE
15 years 6 months ago
Monotonicity and Partial Results Protection for Mobile Agents
Remotely executing mobile code introduces a plethora of security problems. This paper examines the “external agent replay” attack, identifies the notion of one-way program st...
Bennet S. Yee
GCSE
2001
Springer
15 years 5 months ago
Base Class Injection
Abstract. Class hierarchies, though theoretically reusable, have generally not seen much practical reuse in applications, due in part to the inflexibility of the inheritance relat...
Douglas Gregor, Sibylle Schupp, David R. Musser