4411 search results - page 495 / 883 » Communication Complexity and Its Applications |
154
click to vote
ICECCS
2000
IEEE
15 years 11 months ago
2000
IEEE
The goal of result-verificationis toprove that one execution run of a program satisjes its speciJcation. Compared with iniplenzentation-verification,result-verification has a larg...
161
click to vote
ROBOCUP
1999
Springer
15 years 11 months ago
1999
Springer
A three-level functional architecture for a team of mobile robots is described in detail, including the de nition of the role assigned to each level, the main concepts involved, a...
156
click to vote
VLDB
1999
ACM
15 years 11 months ago
1999
ACM
When implementing persistent objects on a relational database, a major performance issue is prefetching data to minimize the number of roundtrips to the database. This is especial...
186
click to vote
ADL
1997
Springer
15 years 11 months ago
1997
Springer
Successful applications of digital libraries require structured access to sources of information. This paper presents an approach to extract the logical structure of text document...
160
click to vote
AADEBUG
1993
Springer
15 years 11 months ago
1993
Springer
Program slicing is a program transformation that is useful in program debugging, program maintenance, and other applications that involve understanding program behavior. Given a p...