Showing cs.PLShow all
2 papers · 1 filter
cs.PL2021
Normalising Lustre Preserves Security
Sanjiva Prasad, R. Madhukar Yerraguntla
The synchronous reactive data flow language LUSTRE is an expressive language, equipped with a suite of tools for modelling, simulating and model-checking a wide variety of safety-c…
cs.PL2016
Program Execution on Reconfigurable Multicore Architectures
Sanjiva Prasad
Based on the two observations that diverse applications perform better on different multicore architectures, and that different phases of an application may have vastly different r…