2746 search results - page 190 / 550 » Behavioral Simulations in MapReduce |
167
click to vote
NCA
2007
IEEE
15 years 11 months ago
2007
IEEE
The assessment of routing protocols for wireless networks is a difficult task, because of the networks’ highly dynamic behavior and the absence of benchmarks. However, some of ...
142
click to vote
DAC
1994
ACM
15 years 9 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
134
click to vote
CODES
2001
IEEE
15 years 8 months ago
2001
IEEE
We introduce the foundation of a system modeling environment targeted at capturing the anticipated interactions of hardware and software behaviors -- not just their co-execution. ...
143
click to vote
WSC
2007
15 years 7 months ago
2007
Agent-based models (ABMs) are powerful in describing structured epidemiological processes involving human behavior and local interaction. The joint behavior of the agents can be v...
132
click to vote
ICIS
2000
15 years 6 months ago
2000
Even as they enjoy impressive growth, one of the major challenges facing providers of online services is a high rate of customer turnover. It has adverse impacts on business perfo...