Search

Search Funnelback University

Search powered by Funnelback
10 results 20 results 50 results
Relevance Date (Newest first) Date (Oldest first) Title (A-Z) Title (Z-A) Distance URL (A-Z) URL (Z-A) Shuffle
Did you mean economiespast |u:www.syslog.cl.cam.ac.uk?
51 - 60 of 90 search results for Economics test |u:www.syslog.cl.cam.ac.uk where 22 match all words and 68 match some words.

  1. Results that match 1 of 2 words

  2. quick summary of afternoon sessions « syslog

    https://www.syslog.cl.cam.ac.uk/2012/01/19/quick-summary-of-afternoon-sessions/
    5 Nov 2023: 19Jan/121. social science is nearly as dismal as economics. a) they couldn't predict the arab spring.

  3. ICFP 2014: Day 2 « syslog

    https://www.syslog.cl.cam.ac.uk/2014/09/02/icfp-2014-day-2/
    5 Nov 2023: We can use the contract exercise function to generate random functions to test monitors. ... 3) Creating code templates from types, fill in the template. 4) Test, review and re-factor.

  4. HotCloud 2012 — Day 1 « syslog

    https://www.syslog.cl.cam.ac.uk/2012/06/12/hotcloud-2012-day-1/
    5 Nov 2023: All kinds of economic implications (trade resources on "futures" market etc.).

  5. workshop « syslog

    https://www.syslog.cl.cam.ac.uk/tag/workshop-2/
    5 Nov 2023: We can use the contract exercise function to generate random functions to test monitors. ... 3) Creating code templates from types, fill in the template. 4) Test, review and re-factor.

  6. syslog

    https://www.syslog.cl.cam.ac.uk/2013/11/05/1694/
    5 Nov 2023: diagnostic tests, and reset parameters of the device.â  - the approach is somewhat novel, however described in our work and in my opinion needs proper attribution as well.

  7. ML Family Workshop « syslog

    https://www.syslog.cl.cam.ac.uk/2014/09/05/ml-family-workshop/
    5 Nov 2023: Cryptosense Workflow. Testing -> Learning -> Model-checking ->. We will focus on Testing, we automatically test API's using QuickCheck (a combinator library to generate test case in Haskell), But to generate tests ... Example of how we would test an

  8. Conference « syslog

    https://www.syslog.cl.cam.ac.uk/tag/conference/
    5 Nov 2023: We can use the contract exercise function to generate random functions to test monitors. ... 3) Creating code templates from types, fill in the template. 4) Test, review and re-factor.

  9. Liveblogging CUFP 2013 « syslog

    https://www.syslog.cl.cam.ac.uk/2013/09/22/liveblogging-cufp-2013/
    5 Nov 2023: Let-it-crash leads to shorter, less defensive code with fewer branch points and test cases. ... It had unclear ownership, complex dependencies, lengthy test cycles, and unexpected performance impacts from small changes.

  10. Live-blog from SOSP 2013 « syslog

    https://www.syslog.cl.cam.ac.uk/2013/11/04/live-blog-from-sosp-2013/
    5 Nov 2023: 99% of the test cases are conflict-free in sv6. Speedy Transactions in Multicore In-Memory Databases. ... 4) Simple locks are powerfull. - in 25/32 out of the test cases single spin locks perform the best.

  11. Energy « syslog

    https://www.syslog.cl.cam.ac.uk/category/energy/page/2/
    5 Nov 2023: Evaluation through test-bed experiments show 6 to 20% improvement in Goodput. ... We show through several micro-benchmark tests that the adaptive sampling scheme adjusts the sampling rate of sensors dynamically based on the user's context and balances

Refine your results

clear all

Date

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.