IINFCOM

Derniers ajouts

• 2017-07-19
  13:02
  E. Bugnion, J. Nieh and D. Tsafrir, M. Martonosi (Ed.). Hardware and Software Support for Virtualization. Mogan & Claypool, 9781627056939, Synthesis Lectures on Computer Architecture 38, 2017.

  Notice détaillée
• 2017-07-18
  16:17
  M. Mayer, V. Kuncak and J. Hamza. Proactive Synthesis of Recursive Tree-to-String Functions from Examples. European Conference on Object-Oriented Programming, Barcelona, Spain, Sun 18 - Fri 23 June 2017.

  Notice détailléeTexte intégral
• 2017-07-14
  20:17
  N. Voirol, R. Kandhadai Madhavan and V. Kuncak. Termination of Open Higher-Order Programs, 2017.

  Notice détailléeTexte intégral
• 2017-07-13
  11:53
  S. U. Stich, A. Raj and M. Jaggi. Approximate Steepest Coordinate Descent. International Conference on Machine Learning (ICML 2017), Sydney, Australia, Aug 6-11, 2017.

  Notice détailléeTexte intégral
• 2017-07-12
  22:11
  K. Clancy and H. Miller. Monotonicity Types for Distributed Dataflow. 2nd Workshop on Programming Models and Languages for Distributed Computing, Barcelona, Spain, June 20, 2017.

  Notice détailléeTexte intégral
• 2017-07-11
  22:18
  M. Lehmann, H. Xu, V. Liakoni, M. Herzog and W. Gerstner et al. Evidence for eligibility traces in human learning, 2017.

  Notice détaillée
• 2017-07-11
  20:23
  T. Tina Fang, M. Jaggi and K. Argyraki. Generating Steganographic Text with LSTMs. ACL Student Research Workshop 2017, Vancouver, Canada, July 30-August 4, 2017.

  Notice détailléeTexte intégral
• 2017-07-11
  15:17
  M. Odersky, A. Biboudis, F. Liu, O. Blanvillain and H. Miller. Simplicitly.

  Notice détailléeTexte intégral
• 2017-07-10
  17:34
  A. Ghasemi, M. Vetterli and A. J. Scholefield (Dirs.). Bound and Conquer: Properties, Algorithms, and Applications of Multi-Camera Imaging. Thèse EPFL, n° 7586 (2017)

  Notice détailléeTexte intégral
• 2017-07-10
  13:42
  R. Madhavan, S. Kulal and V. Kuncak. Contract-Based Resource Verification for Higher-Order Functions with Memoization, in Acm Sigplan Notices, vol. 52, num. 1, p. 330-343, 2017.

  Notice détailléeTexte intégral