Filtrer vos résultats
- 13
- 6
- 15
- 2
- 2
- 1
- 1
- 19
- 1
- 2
- 2
- 3
- 4
- 5
- 2
- 19
- 12
- 7
- 7
- 6
- 4
- 3
- 1
- 1
- 10
- 7
- 6
- 6
- 5
- 4
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
19 résultats
|
|
triés par
|
|
Refinement Types for Incremental Computational Complexity24th European Symposium on Programming (ESOP), Apr 2015, London, United Kingdom. pp.406-431, ⟨10.1007/978-3-662-46669-8_17⟩
Communication dans un congrès
hal-01245888v1
|
||
|
Database Queries that Explain their WorkPPDP 2014: 16th International Symposium on Principles and Practice of Declarative Programming, Sep 2014, Canterbury, United Kingdom. ⟨10.1145/2643135.2643143⟩
Communication dans un congrès
hal-01100324v1
|
||
Functional Programming for Dynamic and Large Data with Self-Adjusting ComputationICFP 2014: 19th ACM SIGPLAN International Conference on Functional Programming, Sep 2014, Gothenburg, Sweden. ⟨10.1145/2628136.2628150⟩
Communication dans un congrès
hal-01100337v1
|
|||
|
Brief Announcement: Parallel Dynamic Tree Contraction via Self-Adjusting ComputationThe 29th Annual ACM Symposium on Parallelism in Algorithms and Architectures (SPAA '17), Jul 2017, Washington, United States. ⟨10.1145/3087556.3087595⟩
Communication dans un congrès
hal-01664903v1
|
||
|
Oracle-Guided Scheduling for Controlling Granularity in Implicitly Parallel LanguagesJournal of Functional Programming, 2016, 26, ⟨10.1017/S0956796816000101⟩
Article dans une revue
hal-01409069v1
|
||
|
Contention in Structured Concurrency: Provably Efficient Dynamic Non-Zero Indicators for Nested Parallelism22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Feb 2017, Austin, United States. ⟨10.1145/3018743.3018762⟩
Communication dans un congrès
hal-01416531v1
|
||
|
Poster: Performance challenges in modular parallel programsPPoPP 2018 - 23rd ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, Feb 2018, Vienna, Austria. ⟨10.1145/3178487.3178516⟩
Communication dans un congrès
hal-01887717v1
|
||
Slider: Incremental Sliding Window AnalyticsMiddleware 2014: Proceedings of the 15th International Middleware Conference, Dec 2014, Bordeaux, France. ⟨10.1145/2663165.2663334⟩
Communication dans un congrès
hal-01100350v1
|
|||
|
Scheduling Parallel Programs by Work Stealing with Private DequesPPOPP - 18th ACM SIGPLAN symposium on Principles and practice of parallel programming, Feb 2013, Shenzhen, China. pp.219-228
Communication dans un congrès
hal-00863028v1
|
||
|
Fast Parallel Graph-Search with Splittable and Catenable Frontiers[Technical Report] Inria. 2015
Rapport
hal-01089125v2
|
||
|
A Work-Efficient Algorithm for Parallel Unordered Depth-First SearchProceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, Nov 2015, Austin, Texas, United States. ⟨10.1145/2807591.2807651⟩
Communication dans un congrès
hal-01245837v1
|
||
|
Atomic Read-Modify-Write Operations are Unnecessary for Shared-Memory Work Stealing[Research Report] 2013
Rapport
hal-00910130v1
|
||
|
Theory and Practice of Chunked SequencesEuropean Symposium on Algorithms, Sep 2014, Wrocław, Poland. pp.25 - 36, ⟨10.1007/978-3-662-44777-2_3⟩
Communication dans un congrès
hal-01087245v1
|
||
|
Dag-calculus: a calculus for parallel computationProceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP), Sep 2016, Nara, Japan. pp.18 - 32, ⟨10.1145/2951913.2951946⟩
Communication dans un congrès
hal-01409022v1
|
||
iThreads: A Threading Library for Parallel Incremental ComputationProceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, Mar 2015, Istanbul, Turkey. pp.645--659, ⟨10.1145/2694344.2694371⟩
Communication dans un congrès
hal-01245884v1
|
|||
Implicit self-adjusting computation for purely functional programsJournal of Functional Programming, 2014, 24 (1), pp.56-112
Article dans une revue
hal-01100346v1
|
|||
|
Heartbeat scheduling: provable efficiency for nested parallelismPLDI’18 - 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2018, Philadelphia, United States. ⟨10.1145/3192366.3192391⟩
Communication dans un congrès
hal-01937946v1
|
||
|
Provably and Practically Efficient Granularity ControlPPoPP 2019 - Principles and Practice of Parallel Programming, Feb 2019, Washington DC, United States. ⟨10.1145/3293883.3295725⟩
Communication dans un congrès
hal-01973285v2
|
||
|
Hierarchical Memory Management for Parallel ProgramsProceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. ⟨10.1145/3022670.2951935⟩
Communication dans un congrès
hal-01416237v1
|