Programming Languages and Theory of Computing

Read more
71 - 80 out of 269Page size: 10
  1. 2022
  2. Published

    Reversible programming: a case study of two string-matching algorithms

    Glück, Robert & Yokoyama, T., 2022, Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation. Hamilton, G. W., Kahsai, T. & Proietti, M. (eds.). arXiv.org, p. 1-13 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 373).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  3. Published

    Temporal vectorization: a compiler approach to automatic multi-pumping

    Johnsen, Carl-Johannes, De Matteis, T., Ben-Nun, T., De Fine Licht, J. & Hoefler, T., 2022, Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2022. Institute of Electrical and Electronics Engineers Inc., p. 1-9 85

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  4. Published

    VLDB 2021: Designing a Hybrid Conference.

    Tözün, P., Naumann, F., Bonnet, Philippe & Dong, X. L., 2022, In: SIGMOD Record. abs/2202.08069

    Research output: Contribution to journal › Journal article › Research › peer-review

  5. Published

    When is a DAO Decentralized?

    Axelsen, Henrik Bjørn, Jensen, J. R. & Ross, O., 2022, In: Complex Systems Informatics and Modeling Quarterly. 2022, 31, p. 51-75

    Research output: Contribution to journal › Journal article › Research › peer-review

  6. 2021
  7. Published

    Can Workplace Tracking Ever Empower? Collective Sensemaking for the Responsible Use of Sensor Data at Work

    Møller, Naja Holten, Neff, G., Simonsen, Jakob Grue, Villumsen, J. C. & Bjorn, Pernille, Jul 2021, In: Proceedings of the ACM on Human-Computer Interaction. 5, GROUP, 21 p., 219.

    Research output: Contribution to journal › Journal article › Research › peer-review

  8. Published

    A Functional Approach to Accelerating Monte Carlo based American Option Pricing

    Pawlak, W. M., Elsman, Martin & Oancea, Cosmin Eugen, 2021, IFL 2019: Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages. Association for Computing Machinery, p. 1-12 5

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  9. Published

    Accelerated Financial Algorithms: Derivative Pricing and Risk Management Applications

    Pawlak, W. M., 2021, Department of Computer Science, Faculty of Science, University of Copenhagen. 184 p.

    Research output: Book/Report › Ph.D. thesis › Research

  10. Published

    Accelerating Molecular Dynamics with the Lennard-Jones potential for FPGAs

    Thegler, A., Johnsen, Carl-Johannes, Skovhede, K. & Vinter, B., 2021, Proceedings - 2021 Concurrent Processes Architectures and Embedded Systems Conference, COPA 2021. IEEE, 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  11. Published

    Acceleration of lattice models for pricing portfolios of fixed-income derivatives

    Pawlak, W. M., Hlava, M., Metaksov, M. & Oancea, Cosmin Eugen, 2021, ARRAY 2021 - Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, co-located with PLDI 2021. Low, T. M. & Gibbons, J. (eds.). Association for Computing Machinery, Inc., p. 27-38 12 p. 3464309

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  12. Published

    An Introduction to Decentralized Finance (DeFi)

    Jensen, J. R., von Wachter, Carl Victor & Ross, Omry, 2021, In: Complex Systems Informatics and Modeling Quarterly. 26, 26, p. 46-54 150.

    Research output: Contribution to journal › Journal article › Research › peer-review

Previous 1...4 5 6 7 8 9 10 11 ...27 Next