( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards Formally Verifiable WCET Analysis for a Functional Programming Language

, , , , , , , , , , , и . (2006)6th Intl WORKSHOP ON WORST-CASE EXECUTION TIME (WCET) ANALYSIS Dresden, Germany, July 4, 2006 http://moss.csc.ncsu.edu/~mueller/wcet06 in conjunction with the 18th Euromicro Intl Conference on Real-Time Systems Dresden, Germany, July 5 - 7, 2006 http://moss.csc.ncsu.edu/~mueller/wcet06/accepted/1.html.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Jocelyn Heer

Jocelyn Braun

Jocelyn Benoist

Jocelyn Buisson

Jocelyn Nembé

 

Другие публикации лиц с тем же именем

CAMLFLOW: a CAML to data-flow graph translator.. Scottish Functional Programming Workshop, том 2 из Trends in Functional Programming, стр. 129-144. Intellect, (2000)Dataflow-Functional High-Level Synthesis for Coarse-Grained Reconfigurable Accelerators., , , , , , , и . IEEE Embed. Syst. Lett., 11 (3): 69-72 (2019)Fast prototyping of parallel-vision applications using functional skeletons., , , и . Mach. Vis. Appl., 12 (6): 271-290 (2001)Work-in-Progress: mixing computation and interaction on FPGA., , и . EMSOFT, стр. 5-6. ACM / IEEE, (2023)Fast Prototyping of Image Processing Applications Using Functional Skeletons on a MIMD-DM Architecture., , и . MVA, стр. 468-471. (1998)The CAPH Language, Ten Years After., и . SAMOS, том 11733 из Lecture Notes in Computer Science, стр. 336-347. Springer, (2019)Explicit Parallelism.. Research Directions in Parallel Functional Programming, Springer, (1999)A New High-Level Methodology for Programming FPGA-Based Smart Camera., , , и . DSD, стр. 573-578. IEEE Computer Society, (2010)Hardware, Design and Implementation Issues on a Fpga-Based Smart Camera., , , и . ICDSC, стр. 20-26. IEEE, (2007)Embodying Parallel Functional Skeletons: An Experimental Implementation on Top of MPI.. Euro-Par, том 1300 из Lecture Notes in Computer Science, стр. 629-633. Springer, (1997)