Search
Search Funnelback University
- Refined by:
- Date: 2007
1 -
7 of
7
search results for `download our`
Fully-matching results
-
7.1 Obtaining & Installing Condor
https://www.cl.cam.ac.uk/manuals/condor-V6_8_3-Manual/7_1Obtaining.html10 Jan 2007: When I click to download Condor, it sends me back to the downloads page!. ... Our web site uses the referring page'' as you navigate through our download menus in order to give you the right version of Condor, but sometimes proxies block this information -
Floating-Point Verification using TheoremProving John Harrison Intel…
https://www.cl.cam.ac.uk/~jrh13/papers/sfm.pdf6 Jan 2007: For more on the fundamentals of the HOL logic, see the appendix of our PhDdissertation [25], or actually download the system and its documentation from:. ... While this separation is not quite faithful to the letter of theStandard, we consider our -
MunWebWei06JoS_final.dvi
https://www.dpmms.cam.ac.uk/~rrw1/research/MunWebWei06JoS_final.pdf4 Apr 2007: Our motivation for revisiting the broadcasting problem is the performance analysis ofsuch systems. ... Our optimal algorithm for thesimultaneous send/receive broadcasting problem is presented in Section 3. -
Translating HOL functions to hardware
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-682.pdf17 Apr 2007: We analyse thestrengths and weaknesses of our compilation method revealed by the case studies. ... Chapter 7 summarises our work and discusses the limitations and contributions ofour approach. -
pen.PDF
https://www.cl.cam.ac.uk/research/dtg/archived/files/publications/public/files/tr.2000.15.pdf29 Jun 2007: HARDWARE FEATURES APPLICATIONS. No connections Beacon Logger. Serial connection Download station General PC/internet connectivity. ... A download node is attached to a controlling PC by its serial port. -
Using camera-phones to interact with context-aware mobile services
https://www.cl.cam.ac.uk/research/dtg/archived/files/publications/public/djs55/UCAM-CL-TR-609.pdf29 Jun 2007: an interactive map in a shopping mall).The benefits of our approach are:. ... This software toolkit, which incorporates a fast and ro-bust camera-phone-based tag reader, is available for download [1] and we present designguidelines for applying it, based -
mc2rarticle.dvi
https://www.cl.cam.ac.uk/research/dtg/archived/files/publications/public/dnc25/sigmobileMIPjournal.pdf29 Jun 2007: Section IV describes our network testbed usedto study the feasibility of the handoff mechanism. ... Table 1: The handoff latency during a 25Mb file download from a web server performed over 10 runs.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.