2468 search results - page 449 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
213
click to vote
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
With large amounts of correlated probabilistic data being generated in a wide range of application domains including sensor networks, information extraction, event detection etc.,...
125
click to vote
SRDS
2008
IEEE
15 years 9 months ago
2008
IEEE
Firewalls are the mainstay of enterprise security and the most widely adopted technology for protecting private networks. As the quality of protection provided by a firewall dire...
125
click to vote
ASPDAC
1995
ACM
15 years 6 months ago
1995
ACM
- In this paper, we present a new scheduling algorithms that generates area-efficient register transfer level datapaths with multiport memories. The proposed scheduling algorithm a...
106
click to vote
JPDC
2006
15 years 3 months ago
2006
We present provably efficient parallel algorithms for sweep scheduling, which is a commonly used technique in Radiation Transport problems, and involves inverting an operator by i...
121
click to vote
MSWIM
2005
ACM
15 years 8 months ago
2005
ACM
The performance of mobile ad hoc networks can be influenced by numerous factors, including protocol design at every layer; parameter settings such as retransmission limits and ti...