Zoekresultaten - information push concurrent programming ((((arrays using) OR (array format))) OR (array profiling))

Alternatieven:
concurrent programming » constraint programming , concurrent programs
information push » information plus , information part , information pt
push concurrent » use concurrent , csp concurrent , pge concurrent
array profiling » array processing , microarray profiling

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Gepubliceerd in 2015

Inhoudsopgave: “... for Concurrent Reactive Programs with Partial Information -- Shield Synthesis: Runtime Enforcement for Reactive...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken