| Document Date: 2015-02-17 11:40:06 Open Document File Size: 348,22 KBShare Result on Facebook
City Boston / / Country United States / / Currency USD / / / Facility MPI library / Olle Fredriksson Dan R. Ghica Bertram Wheen University of Birmingham / / IndustryTerm static networks / function applications / printing results / client server / asynchronous network / asynchronous networks / run-time infrastructure / synchronous and asynchronous networks / degenerate network / heartbeat network / distributed computing / simpler synchronous networks / communication protocols / computing / synchronous network / transition systems / helpful tool / similar solutions / / Organization U.S. Securities and Exchange Commission / University of Birmingham / / Person Floskel / Agda / Dan R. Ghica Bertram / / / Position interactive proof assistant / model / proof assistant / programmer / General / / ProgrammingLanguage Haskell / Erlang / C / ML / / Technology functional programming / load balancing / simulation / communication protocols / / URL http /
SocialTag |