Sciweavers

21437 search results - page 79 / 4288
» Hardware
Sort
View
PDP
2010
IEEE
15 years 8 months ago
hwloc: A Generic Framework for Managing Hardware Affinities in HPC Applications
The increasing numbers of cores, shared caches and memory nodes within machines introduces a complex hardware topology. High-performance computing applications now have to carefull...
François Broquedis, Jérôme Cle...
FMCAD
2006
Springer
15 years 7 months ago
Post-reboot Equivalence and Compositional Verification of Hardware
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Z...
TOG
2002
112views more  TOG 2002»
15 years 3 months ago
Ray tracing on programmable graphics hardware
Recently a breakthrough has occurred in graphics hardware: fixed function pipelines have been replaced with programmable vertex and fragment processors. In the near future, the gr...
Timothy J. Purcell, Ian Buck, William R. Mark, Pat...
DAC
1998
ACM
16 years 5 months ago
Automated Composition of Hardware Components
James Smith, Giovanni De Micheli
DAC
1999
ACM
16 years 5 months ago
Description and Simulation of Hardware/Software Systems with Java
Tommy Kuhn, Wolfgang Rosenstiel, Udo Kebschull