7890 search results - page 177 / 1578 » The MathSAT 3 System |
143
click to vote
OSDI
2000
ACM
15 years 6 months ago
2000
ACM
This paper describes an asynchronous state-machine replication system that tolerates Byzantine faults, which can be caused by malicious attacks or software errors. Our system is t...
120
Voted
ADCM
2010
15 years 5 months ago
2010
We present a new family of compactly supported and symmetric biorthogonal wavelet systems, which extend and unify the Biorthogonal Coifman wavelet system. The refinement mask has ...
117
Voted
MP
2008
15 years 5 months ago
2008
Let A be a 0 - 1 matrix with precisely two 1's in each column and let 1 be the all-one vector. We show that the problems of deciding whether the linear system Ax 1, x 0 (1)...
145
Voted
PC
2006
15 years 5 months ago
2006
Generative parallel design patterns is a proven technique to improve the productivity of parallel program development. However many of the generative design-pattern systems are de...
215
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...