2356 search results - page 218 / 472 » Characterizations of postman sets |
199
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
152
click to vote
ATS
2003
IEEE
15 years 12 months ago
2003
IEEE
The analysis of linked faults has proven to be a source for new memory tests, characterized by an increased fault coverage. The paper gives a set of five new tests to target all ...
193
click to vote
IDEAS
2003
IEEE
15 years 12 months ago
2003
IEEE
We characterize the dynamic data management problem for location based services(LBS) in mobile environments and devise a cost model for servicing both location independent and loc...
164
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
— We investigate the problem of computing the types of the relationships between Internet Autonomous Systems. We refer to the model introduced in [1], [2] that bases the discover...
154
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
–This paper provides proof of concept for the newly-approved 1149.6 standard by investigating the first silicon implementation of the test receiver. EXTEST and EXTEST_PULSE tests...