1982 search results - page 331 / 397 » Designing Efficient Distributed Algorithms Using Sampling Te... |
158
Voted
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
128
click to vote
CGF
2008
15 years 2 months ago
2008
We present a new method for rapidly computing shadows from semi-transparent objects like hair. Our deep opacity maps method extends the concept of opacity shadow maps by using a d...
108
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
This project describes the electricity demand and energy consumption management system and its application to Southern Peru smelter. It is composted of an hourly demand-forecastin...
127
Voted
CONEXT
2009
ACM
15 years 3 months ago
2009
ACM
Networking researchers have been using tools like wireshark and tcpdump to sniff packets on physical links that use different types of datalink protocols, e.g. Ethernet or 802.11,...
131
Voted
SASO
2007
IEEE
15 years 8 months ago
2007
IEEE
With the rapidly falling price of hardware, and increasingly available bandwidth, the storage technology is seeing a paradigm shift from centralized and managed mode to distribute...