( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Logical Time for Reactive Software.

, , , и . CPS-IoT Week Workshops, стр. 313-318. ACM, (2023)

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.

Jeffrey Edwards

Christopher Edwards

James Edwards

Oliver Edwards

Elisabeth Edwards

 

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

Design of embedded systems: formal models, validation, and synthesis., , , и . Proc. IEEE, 85 (3): 366-390 (1997)Buffer Sharing in Rendezvous Programs., и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 29 (10): 1471-1480 (2010)SHIM: a deterministic model for heterogeneous embedded systems., и . IEEE Trans. Very Large Scale Integr. Syst., 14 (8): 854-867 (2006)Experiences teaching an FPGA-based embedded systems class.. SIGBED Review, 2 (4): 56-62 (2005)From functional programs to pipelined dataflow circuits., , и . CC, стр. 76-86. ACM, (2017)Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore., и . SAC, стр. 1626-1631. ACM, (2009)Compositional deadlock detection for rendezvous communication., , и . EMSOFT, стр. 59-66. ACM, (2009)Concurrency and Communication: Lessons from the SHIM Project.. SEUS, том 5860 из Lecture Notes in Computer Science, стр. 276-287. Springer, (2009)VIS., , , , , , , , , и 6 other автор(ы). FMCAD, том 1166 из Lecture Notes in Computer Science, стр. 248-256. Springer, (1996)Porting a Network Cryptographic Service to the RMC2000., , и . Embedded Software for SoC, Kluwer / Springer, (2003)