4615 search results - page 523 / 923 » Virtual Classes and Their Implementation |
174
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper reports the analytical development and preliminary experimental evaluation of a class of exact nonlinear full state model-based observers for underwater vehicle navi...
189
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Parallelization of sequential programs is often daunting because of the substantial development cost involved. Various solutions have been proposed to address this concern, includ...
186
click to vote
NDSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Fingerprinting is a widely used technique among the networking and security communities for identifying different implementations of the same piece of networking software running ...
195
click to vote
WDAG
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
168
click to vote
AGILEDC
2006
IEEE
16 years 28 days ago
2006
IEEE
Design by contract is a practical methodology for developing code together with its specification. The contract consists of class invariants and method preand postconditions. As ...