2214 search results - page 335 / 443 » Dynamic Protocol Recovery |
RTCSA
2000
IEEE
15 years 2 months ago
2000
IEEE
Although an optimistic approach has been shown to be better suited than locking protocols for real-time database systems (RTDBS), it has the problems of unnecessary restarts and h...
MOBIHOC
2000
ACM
15 years 2 months ago
2000
ACM
Abstract— This paper presents a radically new multicast model for ad hoc wireless networks. In this model, the content of the multicast data determines the receiver set for the d...
ICCCN
1998
IEEE
15 years 2 months ago
1998
IEEE
With the explosive growth of demand for services on the Internet, the networking infrastructure (routers, protocols, servers) is under considerable stress. Mechanisms are needed f...
102
click to vote
RTSS
1997
IEEE
15 years 2 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
In this paper, we explore the requirements of emerging complex SoC's and describe StepNP, an experimental flexible, multi-processor SoC platform targeted towards communicatio...