Sciweavers

1158 search results - page 123 / 232
» Software is discrete mathematics
Sort
View
DATE
1999
IEEE
134views Hardware» more  DATE 1999»
15 years 2 months ago
Verifying Imprecisely Working Arithmetic Circuits
If real number calculations are implemented as circuits, only a limited preciseness can be obtained. Hence, formal verification can not be used to prove the equivalence between th...
Michaela Huhn, Klaus Schneider, Thomas Kropf, Geor...
VISUALIZATION
1999
IEEE
15 years 2 months ago
Visualizing Multivalued Data from 2D Incompressible Flows Using Concepts from Painting
We present a new visualization method for 2d flows which allows us to combine multiple data values in an image for simultaneous viewing. We utilize concepts from oil painting, art...
Robert M. Kirby, H. Marmanis, David H. Laidlaw
FOCS
1997
IEEE
15 years 2 months ago
Beyond the Flow Decomposition Barrier
We introduce a new approach to the maximum flow problem. This approach is based on assigning arc lengths based on the residual flow value and the residual arc capacities. Our appro...
Andrew V. Goldberg, Satish Rao
SP
1989
IEEE
160views Security Privacy» more  SP 1989»
15 years 2 months ago
The Chinese Wall Security Policy
Everyone who has seen the movie Wall Street will have seen a commercial security policy in action. The recent work of Clark and Wilson and the WIPCIS initiative (the Workshop on I...
D. F. C. Brewer, M. J. Nash
AB
2007
Springer
15 years 2 months ago
Prefix Reversals on Binary and Ternary Strings
Given a permutation , the application of prefix reversal f(i) to reverses the order of the first i elements of . The problem of Sorting By Prefix Reversals (also known as pancake ...
Cor A. J. Hurkens, Leo van Iersel, Judith Keijsper...