120 search results - page 12 / 24 » Polyhedral Analysis for Synchronous Languages |
LCPC
2005
Springer
14 years 6 days ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
SRDS
1997
IEEE
13 years 11 months ago
1997
IEEE
Hazard situations in safety-critical systems are typically complex, so there is a need for means to detect complex hazards and react in a timely and meaningful way. This paper add...
PPOPP
2005
ACM
14 years 8 days ago
2005
ACM
In this paper, we develop a new language construct to address one of the pitfalls of parallel programming: precise handling of events across parallel components. The construct, te...
DOCENG
2011
ACM
12 years 6 months ago
2011
ACM
In this paper, we explore different ways to publish multimedia documents on the web. We propose a solution that takes advantage of the new multimedia features of web standards, n...
DATE
2005
IEEE
14 years 10 days ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...