Sciweavers

2756 search results - page 255 / 552
» Parallel Mesh Generation
Sort
View
117
Voted
IPPS
2007
IEEE
15 years 8 months ago
A Probabilistic Approach to Measuring Robustness in Computing Systems
System builders are becoming increasingly interested in robust design. We believe that a methodology for generating robustness metrics will help the robust design research efforts...
Behdis Eslamnour, Shoukat Ali
DAPSYS
2004
Springer
15 years 7 months ago
glogin - Interactive Connectivity for the Grid
Todays computational grids are used mostly for batch processing and throughput computing, where jobs are submitted to a queue, processed, and finally delivered for post-mortem an...
Herbert Rosmanith, Jens Volkert
SAC
2009
ACM
15 years 9 months ago
Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore
Parallel architectures are the way of the future, but are notoriously difficult to program. In addition to the low-level constructs they often present (e.g., locks, DMA, and non-...
Nalini Vasudevan, Stephen A. Edwards
PDCAT
2005
Springer
15 years 7 months ago
Chocolat/SMV: A Translator from CafeOBJ into SMV
Chocolat/SMV is a translator that takes a CafeOBJ specification of a transition system called an OTS and generates an SMV specification of a finite version of the OTS. The prim...
Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, ...
92
Voted
IPPS
2000
IEEE
15 years 6 months ago
Gray Codes for Torus and Edge Disjoint Hamiltonian Cycles
Lee distance Gray codes for -ary Ò-cubes and torus networks are presented. Using these Lee distance Gray codes, it is further shown how to directly generate edge disjoint Hamilto...
Myung M. Bae, Bella Bose