4763 search results - page 362 / 953 » On the Execution of Deep Models |
175
click to vote
SPAA
2005
ACM
16 years 12 days ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
181
click to vote
SPAA
2003
ACM
16 years 3 days ago
2003
ACM
Recent research on processor microarchitecture suggests using instruction criticality as a metric to guide hardware control policies. Fields et al. [3, 4] have proposed a directed...
194
click to vote
CHARME
2003
Springer
16 years 2 days ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
204
click to vote
HPCA
2000
IEEE
15 years 11 months ago
2000
IEEE
We consider a variety of dynamic, hardware-based methods for exploiting load/store parallelism, including mechanisms that use memory dependence speculation. While previous work ha...
177
click to vote
WSC
2008
15 years 9 months ago
2008
Distributed simulation is desired in many industries to support analysis and decision making for complex and integrated problems. Interoperating commercial simulation packages usi...