2414 search results - page 99 / 483 » Computing Normal Subgroups |
ISPAN
2000
IEEE
14 years 1 months ago
2000
IEEE
We present an adaptive fault-tolerant wormhole routing algorithm for 2D meshes. The main feature is that with the algorithm, a normal routing message, when blocked by some faulty ...
ECOOPW
1998
Springer
14 years 1 months ago
1998
Springer
: This paper describes the development of a model for the reflective treatment of both application and environmentally sourced exceptions. We show how a variety of exception models...
APLAS
2007
ACM
14 years 1 months ago
2007
ACM
Abstract. Assertions test expected properties of run-time values without disrupting the normal computation of a program. We present a library for enriching Haskell programs with as...
3DPVT
2004
IEEE
14 years 23 days ago
2004
IEEE
The computation of curvature and other differential properties of surfaces is essential for many techniques in analysis and rendering. We present a finite-differences approach for...
CAV
2008
Springer
13 years 11 months ago
2008
Springer
This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexi...