16518 search results - page 389 / 3304 » A New Approach to Splitting-Off |
182
click to vote
IFIP
2003
Springer
16 years 19 hour ago
2003
Springer
Abstract. This position paper introduces the motivation and preliminary implementation issues of a distributed simulation middleware designed to increase the performance and speed-...
139
click to vote
DANCE
2002
IEEE
15 years 11 months ago
2002
IEEE
Active networking is a powerful technology to insert new functionality into the networking. In this paper we look at how active networking technology can be used to customize netw...
165
click to vote
DSD
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we describe a methodology for the formal verification of a DSP chip using the HOL theorem prover. We used an iterative method to specify both the behavioral and stru...
122
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Research suggests that in order for GSS to be deployed successfully over the long term, it must be integrated into the daily work practices of an organization, in support of repea...
178
click to vote
PAAMS
2010
Springer
15 years 11 months ago
2010
Springer
In this paper, we introduce a new heuristic search algorithm based on mean values for anytime planning, called MHSP. It consists in associating the principles of UCT, a bandit-base...