Sciweavers

1840 search results - page 23 / 368
» time 2002
Sort
View
SIGMETRICS
2002
ACM
13 years 7 months ago
Toward reducing processor simulation time via dynamic reduction of microarchitecture complexity
As processor microarchitectures continue to increase in complexity, so does the time required to explore the design space. Performing cycle
Jeanine Cook, Richard L. Oliver, Eric E. Johnson
AUTOMATICA
2002
83views more  AUTOMATICA 2002»
13 years 7 months ago
A time aggregation approach to Markov decision processes
We propose a time aggregation approach for the solution of in
Xi-Ren Cao, Zhiyuan Ren, Shalabh Bhatnagar, Michae...
DAC
2002
ACM
14 years 8 months ago
False-path-aware statistical timing analysis and efficient path selection for delay testing and timing validation
We propose a false-path-aware statistical timing analysis framework. In our framework, cell as well as interconnect delays are assumed to be correlated random variables. Our tool ...
Jing-Jia Liou, Angela Krstic, Li-C. Wang, Kwang-Ti...
TSE
2002
95views more  TSE 2002»
13 years 7 months ago
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation
Peter Frey, Radharamanan Radhakrishnan, Harold W. ...
TCS
2002
13 years 7 months ago
Augmenting the discrete timed automaton with other data structures
We describe a general automata-theoretic approach for analyzing the veri
Oscar H. Ibarra, Jianwen Su