2838 search results - page 336 / 568 » Verifying Controlled Components |
103
Voted
HPCA
2007
IEEE
15 years 7 months ago
2007
IEEE
To provide high dependability in a multithreaded system despite hardware faults, the system must detect and correct errors in its shared memory system. Recent research has explore...
111
click to vote
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
Long-range dependence (LRD) is a largely verified property of Internet traffic, which severely affects queuing performance in network buffers. A common approach for guaranteein...
85
Voted
ICDM
2007
IEEE
15 years 7 months ago
2007
IEEE
Censored targets, such as the time to events in survival analysis, can generally be represented by intervals on the real line. In this paper, we propose a novel support vector tec...
87
Voted
ICNP
2007
IEEE
15 years 7 months ago
2007
IEEE
— The Internet provides no information on the fate of transmitted packets, and end systems cannot determine who is responsible for dropping or delaying their traffic. As a resul...
111
Voted
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
— In this paper, we investigate the operation of the Queue-formation structure (or Q-structure) in multi-robot teams with limited communications. Information flow is divided int...