1362 search results - page 194 / 273 » Model Checking Large Network Protocol Implementations |
206
click to vote
ICDCSW
2011
IEEE
14 years 2 months ago
2011
IEEE
Datacenter workload modeling has become a necessity in recent years due to the emergence of large-scale applications and cloud data-stores, whose implementation remains largely un...
168
click to vote
IPTPS
2004
Springer
15 years 8 months ago
2004
Springer
— Peer-to-peer computing, the harnessing of idle compute cycles throughout the Internet, offers exciting new research challenges in the converging domains of networking and distr...
110
click to vote
DSN
2005
IEEE
15 years 8 months ago
2005
IEEE
Continuous-time Markov chains (CTMCs) have been used successfully to model the dependability and performability of many systems. Matrix diagrams (MDs) are known to be a space-ef...
141
click to vote
DSN
2005
IEEE
15 years 5 months ago
2005
IEEE
In general, decision support is one of the main purposes of model-based analysis of systems. Response surface methodology (RSM) is an optimization technique that has been applied ...
133
click to vote
ANSS
2005
IEEE
15 years 8 months ago
2005
IEEE
Wireless Sensor Networks (WSNs) have gained considerable attention in the past few years. As such, there has been an increasing need for defining and developing simulation framew...