4757 search results - page 161 / 952 » A Unique |
126
click to vote
MFCS
1997
Springer
15 years 8 months ago
1997
Springer
It is important for programs to have modular correctness properties. We look at non-deterministic programs expressed as termrewriting systems which compute normal forms of input t...
136
click to vote
RTA
1997
Springer
15 years 8 months ago
1997
Springer
Series-parallel orders are de ned as the least class of partial orders containing the one-element order and closed by ordinal sum and disjoint union. From this inductive de nition,...
133
click to vote
DFT
1994
IEEE
15 years 8 months ago
1994
IEEE
The 1: track model for fault tolerant 2 0 processor arrays is extended to 30 mesh architectures. Non-intersecting, continuous, straight and non-near miss compensation paths are co...
136
click to vote
MM
1993
ACM
15 years 8 months ago
1993
ACM
The design and implementation of a software decoder for MPEG video bitstreams is described. The software has been ported to numerous platforms including PC’s, workstations, and ...
116
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract-- The subject area of this paper is discrete-time linear time-invariant systems composed of subsystems whose state updating is asynchronous due to the clock signal arrivin...