769 search results - page 143 / 154 » A publishing system based on fluency coding method |
AMAST
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
SMI
2003
IEEE
15 years 3 months ago
2003
IEEE
A lot of techniques have been developed for the encoding of triangular meshes as this is a widely used representation for the description of surface models. Although methods for t...
ICCAD
2000
IEEE
15 years 2 months ago
2000
IEEE
A high accuracy system for transistor-level static timing analysis is presented. Accurate static timing verification requires that individual gate and interconnect delays be accu...
SC
1995
ACM
15 years 1 months ago
1995
ACM
A parallel time-dependent incompressible flow solver and a parallel multigrid elliptic kernel are described. The flow solver is based on a second-order projection method applied...
MM
2010
ACM
14 years 10 months ago
2010
ACM
An Embedded Media Marker (EMM) is a transparent mark printed on a paper document that signifies the availability of additional media associated with that part of the document. Use...