Sciweavers

4074 search results - page 110 / 815
» Hardware Modelling and Simulation Using an Object-Oriented M...
Sort
View
70
Voted
GLVLSI
2000
IEEE
92views VLSI» more  GLVLSI 2000»
15 years 2 months ago
SPARTA: Simulation of Physics on a Real-Time Architecture
Abstract - In this paper, we discuss hardware acceleration for real-time physical modeling that would allow for realistic virtual environments. Additionally, we propose algorithms ...
Benjamin Bishop, Thomas P. Kelliher, Mary Jane Irw...
WSC
2008
15 years 4 days ago
The use of simulation for process improvement in metal industry - case HT-Lasertekniikka
Companies in the metal industry want to find solutions for increasing the quality of service and productivity of the operation, but it is not an easy task to do, especially if the...
Toni Ruohonen, Mikko Kamppila, Antti Jokitalo
ANSS
2004
IEEE
15 years 1 months ago
Cache Simulation Based on Runtime Instrumentation for OpenMP Applications
To enable optimizations in memory access behavior of high performance applications, cache monitoring is a crucial process. Simulation of cache hardware is needed in order to allow...
Jie Tao, Josef Weidendorfer
WSC
2008
15 years 4 days ago
A review of scheduling theory and methods for semiconductor manufacturing cluster tools
Cluster tools, which combine several single-wafer processing modules with wafer handling robots in a closed environment, have been increasingly used for most wafer fabrication pro...
Tae-Eog Lee
CAV
1998
Springer
100views Hardware» more  CAV 1998»
15 years 2 months ago
Mechanising BAN Kerberos by the Inductive Method
The version of Kerberos presented by Burrows et al. [5] is fully mechanised using the Inductive Method. Two models are presented, allowing respectively the leak of any session keys...
Giampaolo Bella, Lawrence C. Paulson