17680 search results - page 348 / 3536 » Simulation of Computer Systems and Applications |
146
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
120
Voted
IMSCCS
2007
IEEE
15 years 11 months ago
2007
IEEE
TOPSAW program was developed by Dr. S. Chang and his team and has been successfully used in the replication of sawmill cutting to determine the optimal cutting pattern for a log t...
120
Voted
ISCA
2000
IEEE
15 years 9 months ago
2000
IEEE
Spatial-lattice computations with finite-range interactions are an important class of easily parallelized computations. This class includes many simple and direct algorithms for ...
154
click to vote
CG
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The Monte-Carlo Tree Search algorithm has been successfully applied in various domains. However, its performance heavily depends on the Monte-Carlo part. In this paper, w...
112
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— In this paper, two problems related to the simulation of virtual environments for haptic systems are considered. The first problem is how to simulate, in discrete time...