9387 search results - page 1105 / 1878 » An Optimal Process Model for a Real Time Process |
172
click to vote
AMC
2005
15 years 7 months ago
2005
In most public companies in China, there are two thirds of shares that cannot be traded freely in the secondary market. These illiquid shares, however, may be allowed to circulate...
239
click to vote
AAAI
2011
14 years 7 months ago
2011
Sustainable resource management in many domains presents large continuous stochastic optimization problems, which can often be modeled as Markov decision processes (MDPs). To solv...
199
click to vote
DAC
2007
ACM
16 years 8 months ago
2007
ACM
Programming multi-processor systems-on-chip (MPSoC) involves partitioning and mapping of sequential reference code onto multiple parallel processing elements. The immense potentia...
197
click to vote
APN
2005
Springer
16 years 1 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
229
click to vote
LCPC
2009
Springer
16 years 4 days ago
2009
Springer
PC grids represent massive computation capacity at a low cost, but are challenging to employ for parallel computing because of variable and unpredictable performance and availabili...