4460 search results - page 776 / 892 » Formal methods for interactive systems |
149
Voted
DS
1992
15 years 4 months ago
1992
In this paper, we present methods for supporting autonomous updates in replicated databases. Autonomous updates are of particular importance to applications that cannot tolerate t...
114
Voted
GIS
2002
ACM
15 years 3 months ago
2002
ACM
A novel method of map matching using the Global Positioning System (GPS) has been developed which uses digital mapping and height data to augment point position computation. This m...
129
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
This paper is concerned with rank aggregation, the task of combining the ranking results of individual rankers at meta-search. Previously, rank aggregation was performed mainly by...
132
Voted
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
149
Voted
LCPC
2009
Springer
15 years 8 months ago
2009
Springer
This paper improves our previous research effort [1] by providing an efficient method for kernel loop unrolling minimisation in the case of already scheduled loops, where circular...