11 |
The modelling of temporal properties in a process algebra framework /Cowie, Alexander James Unknown Date (has links)
Thesis (PhD)--University of South Australia, 1999
|
12 |
Using parallel computation to apply the singular value decomposition (SVD) in solving for large Earth gravity fields based on satellite dataHinga, Mark Brandon, Tapley, Byron D., January 2004 (has links) (PDF)
Thesis (Ph. D.)--University of Texas at Austin, 2004. / Supervisor: Byron D. Tapley. Vita. Includes bibliographical references. Also available from UMI.
|
13 |
Virtual links for multicomputers /Wai, Siu-kit. January 1996 (has links)
Thesis (M. Phil.)--University of Hong Kong, 1996. / Includes bibliographical references (leaves 70-71).
|
14 |
A multiprocessor for the finite difference solution of field equationsHolme, John January 1987 (has links)
No description available.
|
15 |
Optimizing parallel simulation of multi-core systemDong, Zhenjiang 27 May 2016 (has links)
Multi-core design for CPU is the recent trend and we believe the trend will continue in near future. Researchers and industry architects utilize simulation to evaluate their designs and gain a certain level of confidence before manufacturing the actual products. Due to the fact that modern multi-core systems are complex, traditional sequential simulation can hit the bottlenecks in terms of execution time. To handle the complexity, Parallel Discrete Event Simulation (PDES) programs are employed. PDES program with well-designed partitioning schemes, synchronization algorithm and other optimizations can take advantage of the parallel hardware and achieve scalability for the simulation of multi-core systems. The objective of this dissertation is to design, develop, test and evaluate a variety of technologies to improve the performance and efficiency of parallel simulation of multi-core systems. The technologies include a general guide for partitioning schemes, an efficient front-end for timing-directed simulation, and a new conservative synchronization algorithm.
|
16 |
A structural approach to the mapping problem in parallel discrete event logic simulationsDavoren, Mark January 1989 (has links)
No description available.
|
17 |
A distributed compilation systemWei, Mian January 1990 (has links)
No description available.
|
18 |
Program analysis and scheduling for a synchronous multiprocessor machineWaters, Andrew Philip January 1996 (has links)
No description available.
|
19 |
Electrical power system load flow using a distributed array processorAmira, Sihem January 1997 (has links)
No description available.
|
20 |
Performance evaluation of an associative processor array for computer vision tasksPout, Mike January 1992 (has links)
No description available.
|
Page generated in 0.053 seconds