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

Search alternatives:
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...

Published 2015

Table of Contents: “... for Concurrent Reactive Programs with Partial Information -- Shield Synthesis: Runtime Enforcement for Reactive...”
View full text

Electronic eBook

Narrow Search