Sciweavers

2756 search results - page 255 / 552
» Parallel Mesh Generation
Sort
View
IPPS
2007
IEEE
16 years 27 days 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
16 years 4 hour 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
16 years 1 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
16 years 2 days 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, ...
IPPS
2000
IEEE
15 years 11 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