Search
Search Funnelback University
- Refined by:
- Date: 2007
111 -
120 of
825
search results for TALK:ZA31 24 /
where 0
match all words and 825
match some words.
Results that match 1 of 2 words
-
Floating-Point Verification using TheoremProving John Harrison Intel…
https://www.cl.cam.ac.uk/~jrh13/papers/sfm.pdf6 Jan 2007: Format name p Emin EmaxSingle 24 -126 127Double 53 -1022 1023Double-extended 64 -16382 16383Register 64 -65534 65535. ... Perhaps in the future a more declarative style forproof scripts will prove to be more effective, but the procedural approach has -
Computer LaboratoryDigital Technology Group Evaluating…
https://www.cl.cam.ac.uk/~acr31/pubs/rice-positioning-talk.pdf7 Nov 2007: Location error is correlated with position. INLR 0.03 0.05RANSAC 0.05 0.1NLR 0.24 0.41LLS 9.57 24.69ToM 0.63 0.63. -
The Engineer Online - [Design Engineering, engineering design...
www-g.eng.cam.ac.uk/nms/highlights-press/CNT-matches.pdf24 May 2007: The Engineer Online - [Design Engineering, engineering design, aero. http://www.theengineer.co.uk/Articles/299626/Watchthemgrow.htm. 1 of 3 5/24/2007 3:18 PM. ... The Engineer Online. Thursday - 24 May 2007. Watch them growPublished: 09 May 2007 11:12 -
Programming Language Design and Analysismotivated by Hardware…
https://www.cl.cam.ac.uk/~am21/papers/sas07final.pdf5 Jun 2007: The RAMP (Research Accelerator for Multiple Processors) consortium de-scribe [24] an FPGA emulator for a range of new processors, and Asanovic etal. ... Tech-nical Report UCB/EECS-2006-158, EECS Department, University of California,Berkeley, November 24 -
Anti-Omega: the weakest failure detector for set agreement
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-694.pdf17 Jul 2007: Set agreement isnot wait-free implementable in a purely asynchronous system [2, 18, 24]. ... Springer. [24] Saks and Zaharoglou. Wait-free k-set agreement is impossible: The topology of publicknowledge. -
ESO Public Surveys Proposal Form Phase 1 1 Title: ...
https://people.ast.cam.ac.uk/~rgm/vhs/v4/PS-VHS-v4p2.pdf5 Jun 2007: To demonstrate the power of adding the VISTA IR data to the planned DESoptical data, we have constructed mock magnitude-limited galaxy samples (with 20 < i < 24 and redshifts0 < z < 2) -
Lazy Susan: dumb waiting as proof of work
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-703.pdf15 Nov 2007: the 24-bit value H24(session, T ) of the sessionparameters (client & server address, client & server port) and T. ... 24 bits using a block cypher E24[K, ], such as RC6 [21] parameterised to24-bit block length, with a key K which the server keeps private. -
Correlation Effectsin Super-Arrhenius Diffusion Vanessa de…
https://www-wales.ch.cam.ac.uk/Telluride/Souza.pdf19 Apr 2007: Changes in colour show disconnected branches – highly disconnected. Correlation Effects in Super-Arrhenius Diffusion – p.24/27. ... 220. 225. 230. Correlation Effects in Super-Arrhenius Diffusion – p.24/27. Diffusive Connections. -
Jones Optimality and Hardware VirtualizationA Report on Work in ...
https://www.cl.cam.ac.uk/~am21/papers/pepm08.pdf2 Dec 2007: Virtualization. The landmark paper of Popek and Goldberg [20](see also discussion of same in [24, ch. ... InProceedings of POPL, pages 71–76, 2007. [24] James E. Smith and Ravi Nair. -
CHOICE OF NEIGHBOUR ORDER FOR NEAREST-NEIGHBOUR CLASSIFICATION RULE…
https://www.statslab.cam.ac.uk/~rjs57/HPSLV.pdf28 Aug 2007: consistent with the theoretical value 44/(24) = 2.52. To obtain similar empirical. ... IEEE Trans.Inform. Theory 24, 512–514. GYÖRFI, L., KOHLER, M., KRZYŻAK, A.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.