5707 search results - page 142 / 1142 » Symbolic Simulation - Techniques and Applications |
153
click to vote
PDP
2007
IEEE
16 years 24 days ago
2007
IEEE
In the process of developing P2P systems simulation has proved to be an essential tool for the evaluation of existing and conceived P2P systems. So far, in practice there has been...
171
click to vote
CONCUR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
156
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—We present a set of modeling constructs accompanied by a high performance simulation kernel for accuracy adaptive transaction level models. In contrast to traditional, ...
146
click to vote
PADS
1998
ACM
15 years 10 months ago
1998
ACM
In message passing environments, the message send time is dominated by overheads that are relatively independent of the message size. Therefore, fine-grained applications (such a...
170
click to vote
ANSS
2001
IEEE
15 years 10 months ago
2001
IEEE
Simulation software has made great advances in recent years along the dimensions of modeling capabilities, animated graphics, and ease of use. There have also been real improvemen...