2470 search results - page 258 / 494 » Liveness-Preserving Simulation Relations |
174
click to vote
SC
2004
ACM
15 years 11 months ago
2004
ACM
In petabyte-scale distributed file systems that decouple read and write from metadata operations, behavior of the metadata server cluster will be critical to overall system perfo...
217
click to vote
ACRI
2004
Springer
15 years 11 months ago
2004
Springer
Cellular automata (CA) are highly parallel and discrete dynamical systems, whose behavior is completely specified in terms of a local relation. They were successfully applied for s...
127
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
The paper presents a highly optimized implementation of a multifrontal solver for linear systems arising in the FEM simulation of multi-physics problems related to the behaviour of...
138
click to vote
PATMOS
2004
Springer
15 years 11 months ago
2004
Springer
The main result is the development, and delay comparison based on Logical Effort, of a number of high speed circuits for common arithmetic and related operations using threshold l...
135
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
We present Vote-O-Graph, an experimental touchscreen voting system designed to simulate reported interface issues in existing electronic voting systems. Touchscreen miscalibration...