1631 search results - page 249 / 327 » Observing Functional Logic Computations |
CONEXT
2008
ACM
14 years 11 months ago
2008
ACM
Today, a large body of research exists regarding the correctness of routing protocols. However, many reported global disruptions of Internet connectivity, e.g., inter-AS persisten...
ISLPED
2007
ACM
14 years 11 months ago
2007
ACM
Increases in peak current draw and reductions in the operating voltages of processors continue to amplify the importance of dealing with voltage fluctuations in processors. One a...
CASCON
1996
14 years 11 months ago
1996
The performance of host communication subsystems is an important research topic in computer networks.1 Performance metrics such as throughput, delay, and packet loss are important...
101
click to vote
ECAI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
SIGCOMM
2010
ACM
14 years 10 months ago
2010
ACM
Data centers are a major consumer of electricity and a significant fraction of their energy use is devoted to cooling the data center. Recent prototype deployments have investigat...