Sciweavers

2607 search results - page 330 / 522
» Complete Functional Synthesis
Sort
View
120
Voted
TMI
2008
91views more  TMI 2008»
15 years 4 months ago
System Calibration and Statistical Image Reconstruction for Ultra-High Resolution Stationary Pinhole SPECT
For multi-pinhole SPECT, iterative reconstruction algorithms are preferred over analytical methods, because of the often complex multi-pinhole geometries and the ability of iterat...
Frans van der Have, Brendan Vastenhouw, Marc Rentm...
FAC
2000
124views more  FAC 2000»
15 years 4 months ago
Algebraic Models of Correctness for Microprocessors
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
Anthony C. J. Fox, Neal A. Harman
CCR
1998
128views more  CCR 1998»
15 years 3 months ago
OSI distributed transaction processing commitment optimizations
: This paper briefly summarizes the work towards the final version of ‘Distributed Transaction Processing’ (OSI TP). Several well-known optimizations of the presumed abort prot...
Richard Banks, Peter Furniss, Klaus Heien, Hans-R&...
116
Voted
DM
1998
54views more  DM 1998»
15 years 3 months ago
On the structure of a random sum-free set of positive integers
Cameron introduced a natural probability measure on the set S of sum-free sets, and asked which sets of sum-free sets have a positive probability of occurring in this probability m...
Neil J. Calkin
110
Voted
NAR
1998
76views more  NAR 1998»
15 years 3 months ago
The Database of Ribosomal Cross links (DRC)
The Database of Ribosomal Cross-links (DRC) provides a complete collection of all the published data produced by cross-linking studies on the Escherichia coli ribosome, as well as...
Pavel V. Baranov, Petr V. Sergiev, Olga A. Dontsov...