2634 search results - page 170 / 527 » Faster Than Uppaal |
177
click to vote
WSC
2007
15 years 8 months ago
2007
Simulation optimization (SO) is the process of finding the optimum design of a system whose performance measure(s) are estimated via simulation. We propose some ideas to improve o...
162
Voted
WSC
2008
15 years 8 months ago
2008
We consider discrete stochastic optimization problems where the objective function can only be estimated by a simulation oracle; the oracle is defined only at the discrete points....
159
click to vote
ADMA
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we study the maintenance of frequent patterns in the context of the generator representation. The generator representation is a concise and lossless representation o...
150
click to vote
ARC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper we present a networked lightweight and partially reconfigurable platform assisted by a remote bitstreams server. We propose a software and hardware architec...
130
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
It has been shown that Binary Decision Diagram (BDD) based logic synthesis enjoys faster runtime than the classic logic synthesis systems based on Sum of Product (SOP) form. Howev...