Search results for: Thierry Gautier
Frontiers of Computer Science > 2019 > 13 > 4 > 677-697
Lecture Notes in Computer Science > FM’99 — Formal Methods > Co-design > 1364-1383
Synthesis of Embedded Software > 147-171
Parallel Computing > 2016 > 57 > C > 235-249
Molecular Cell > 2016 > 63 > 4 > 674-685
Lecture Notes in Computer Science > Euro-Par 2008 – Parallel Processing > Topic 12: Theory and Algorithms for Parallel Computation > 887-897
Lecture Notes in Computer Science > Functional Programming Languages and Computer Architecture > 257-277
Lecture Notes in Computer Science > Parallel Processing and Applied Mathematics > Tools and Environments for Parallel/Distributed/Grid Computing > 206-215
Lecture Notes in Computer Science > Euro-Par 2005 Parallel Processing > Topic 8 – Distributed Systems and Algorithms > 675-684
Lecture Notes in Computer Science > Euro-Par 2010 - Parallel Processing > Topic 11: Multicore and Manycore Programming > 235-246
Lecture Notes in Computer Science > Recent Advances in Parallel Virtual Machine and Message Passing Interface > Special Session: ParSim 3 > 663-666
Lecture Notes in Computer Science > Mathematical Software – ICMS 2010 > Computer Algebra (Invited) > 77-83
Lecture Notes in Computer Science > Euro-Par’99 Parallel Processing > Topic 23 > 1466-1475
Lecture Notes in Computer Science > Euro-Par 2010 Parallel Processing Workshops > Forth Workshop on Highly Parallel Processing on a Chip (HPPC 2010) > 99-107
Lecture Notes in Computer Science > Euro-Par 2011 Parallel Processing > Topic 9: Parallel and Distributed Programming > 1-1