11384 search results - page 2013 / 2277 » Achieved IPC Performance |
184
click to vote
FORTE
1994
15 years 6 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
141
click to vote
NAACL
1994
15 years 6 months ago
1994
Most recent research in trainable part of speech taggers has explored stochastic tagging. While these taggers obtain high accuracy, linguistic information is captured indirectly, ...
158
Voted
SODA
1996
ACM
15 years 6 months ago
1996
ACM
Emerging high speed networks will carry tra c for services such as video-on-demand and video teleconferencing that require resource reservation along the path on which the tra c i...
131
click to vote
AIPS
2009
15 years 6 months ago
2009
Current state-of-the-art planners solve problems, easy and hard alike, by search, expanding hundreds or thousands of nodes. Yet, given the ability of people to solve easy problems...
156
click to vote
ESORICS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We introduce a novel remotely-mounted attack that can expose the network identity of an anonymous client, hidden service, and anonymizing proxies. To achieve this, we emp...