7557 search results - page 681 / 1512 » Modeling Timed Concurrent Systems |
196
click to vote
ASPLOS
2010
ACM
16 years 16 days ago
2010
ACM
Symbiotic job scheduling boosts simultaneous multithreading (SMT) processor performance by co-scheduling jobs that have ‘compatible’ demands on the processor’s shared resour...
193
click to vote
ENTCS
2006
15 years 7 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
170
click to vote
HICSS
1996
IEEE
15 years 11 months ago
1996
IEEE
Simulation of landscape ecosystems with high realism demands computing power greatly exceeding that of current workstation technology. However, the prospects are excellent that mo...
197
click to vote
WSC
2008
15 years 9 months ago
2008
This paper investigates the effects of demand risk on the performance of supply chain in continuous time setting. The inventory level has been modeled as a jump-diffusion process ...
218
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
The focus of the work in this paper is the evaluation of a model of human decision making relative to experimental data. In sequential two-alternative forced choice decision tasks,...