120 search results - page 12 / 24 » Polyhedral Analysis for Synchronous Languages |
135
click to vote
LCPC
2005
Springer
15 years 7 months 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 ...
104
Voted
SRDS
1997
IEEE
15 years 6 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...
122
click to vote
PPOPP
2005
ACM
15 years 7 months 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...
208
Voted
DOCENG
2011
ACM
14 years 1 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...
110
click to vote
DATE
2005
IEEE
15 years 7 months 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...