Sciweavers

4810 search results - page 276 / 962
» Modeling Value Speculation
Sort
View
MICRO
2006
IEEE
84views Hardware» more  MICRO 2006»
16 years 19 days ago
Reunion: Complexity-Effective Multicore Redundancy
To protect processor logic from soft errors, multicore redundant architectures execute two copies of a program on separate cores of a chip multiprocessor (CMP). Maintaining identi...
Jared C. Smolens, Brian T. Gold, Babak Falsafi, Ja...
193
Voted
ACMICEC
2005
ACM
175views ECommerce» more  ACMICEC 2005»
16 years 6 days ago
A theoretic discussion of tourism e-commerce
This paper presents the model of e-market structure and process analysis of tourism e-commerce. First the tourism e-commerce status quo is given clearly; secondly e-commerce and i...
Si-qing Liu
ICTCS
2005
Springer
16 years 4 days ago
A Typed Semantics of Higher-Order Store and Subtyping
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
Jan Schwinghammer
IPMI
2005
Springer
16 years 4 days ago
Linearization of Mammograms Using Parameters Derived from Noise Characteristics
A method is proposed for converting digitized mammograms to a normalized representation, in which pixel values are linearly related to the logarithm of x-ray exposure. This method ...
Nico Karssemeijer, Peter R. Snoeren, Wei Zhang
FSE
1998
Springer
102views Cryptology» more  FSE 1998»
15 years 11 months ago
Cryptanalytic Attacks on Pseudorandom Number Generators
In this paper we discuss PRNGs: the mechanisms used by real-world secure systems to generate cryptographic keys, initialization vectors, "random" nonces, and other values...
John Kelsey, Bruce Schneier, David Wagner, Chris H...