Source code level infeasibility detection on declarative timing constraints specified with rtsynchronizers

By Shangping Ren and Gul Agha. In ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, pp 1-10. 1997.

BibTeX

@inproceedings{wlctrts97,
    author = "Ren, Shangping and Agha, Gul",
    title = "Source Code Level Infeasibility Detection on Declarative
             Timing Constraints Specified with RTsynchronizers",
    booktitle = "ACM SIGPLAN Workshop on Languages, Compilers, and
                 Tools for Real-Time Systems, pp 1-10",
    keywords = "sensor networks, real-time systems",
    year = "1997",
}