1755 search results - page 250 / 351 » An efficient simulation algorithm based on abstract interpre... |
135
click to vote
GI
2009
Springer
15 years 1 months ago
2009
Springer
Abstract: One of the basic tasks of automotive collision avoidance and collision mitigation systems is the robust and reliable detection of objects as well as the prediction of fut...
130
Voted
WDAG
2005
Springer
15 years 9 months ago
2005
Springer
Atomicity (or linearizability) is a commonly used consistency criterion for distributed services and objects. Although atomic object implementations are abundant, proving that algo...
113
Voted
COLCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Nodes within existing P2P networks typically exchange periodic keep-alive messages in order to maintain network connections between neighbours. This paper investigates a...
204
click to vote
SIGMOD
2007
ACM
16 years 3 months ago
2007
ACM
This paper investigates a class of transform queries proposed by XQuery Update [6]. A transform query is defined in terms of XML update syntax. When posed on an XML tree T, it ret...
142
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We consider a two-hop wireless network where a transmitter communicates with a receiver via M relays with an amplify-and-forward (AF) protocol. Recent works have shown that sophis...