Sciweavers

15792 search results - page 13 / 3159
» Computational Abstraction Steps
Sort
View
PLSA
1994
13 years 12 months ago
Technological Steps toward a Software Component Industry
A machine_independent abstract program representation is presented that is twice as compact as machine code for a CISC processor. It forms the basis of an implementation, in which ...
Michael Franz
ASIACRYPT
2009
Springer
14 years 2 months ago
Preimages for Step-Reduced SHA-2
Abstract. In this paper, we present a preimage attack for 42 step
Kazumaro Aoki, Jian Guo, Krystian Matusiewicz, Yu ...
MICCAI
2008
Springer
14 years 9 months ago
Efficient Computation of PDF-Based Characteristics from Diffusion MR Signal
Abstract. We present a general method for the computation of PDFbased characteristics of the tissue micro-architecture in MR imaging. The approach relies on the approximation of th...
David Tschumperlé, Haz-Edine Assemlal, Luc ...
COMPUTER
2010
75views more  COMPUTER 2010»
13 years 7 months ago
Proxying: The Next Step in Reducing IT Energy Use
Bruce Nordman, Kenneth J. Christensen
CORR
2007
Springer
103views Education» more  CORR 2007»
13 years 7 months ago
Interactive Small-Step Algorithms I: Axiomatization
Abstract. In earlier work, the Abstract State Machine Thesis — that arbitrary algore behaviorally equivalent to abstract state machines — was established for several classes of...
Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Ben...