13041 search results - page 147 / 2609 » Simulating space and time |
111
click to vote
WSC
1998
15 years 3 months ago
1998
This paper presents the application of real-time simulation to assign due dates on logistic-manufacturing networks. Information from the manufacturing, transportation, and supplie...
158
click to vote
FASE
2006
Springer
15 years 5 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
117
click to vote
ICCAD
2000
IEEE
15 years 6 months ago
2000
IEEE
A high accuracy system for transistor-level static timing analysis is presented. Accurate static timing verification requires that individual gate and interconnect delays be accu...
ICCS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We describe, devise, and augment dynamic data-driven application simulations (DDDAS). DDDAS offers interesting computational and mathematically unsolved problems. In thi...
126
click to vote
ATVA
2009
Springer
15 years 6 months ago
2009
Springer
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verifica...