119 search results - page 4 / 24 » Synchronization abstraction in the BETA programming language |
137
Voted
TPHOL
1998
IEEE
15 years 8 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
138
Voted
POPL
2011
ACM
14 years 6 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
144
Voted
ICALP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...
118
Voted
DAGSTUHL
2004
15 years 5 months ago
2004
Abstract. Synchronous programs may contain cyclic signal interdependencies. This prohibits a static scheduling, which limits the choice of available compilation techniques for such...
124
Voted
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Parallel programming on distributed memory systems is one of the most challenging research areas in parallel computingtoday. Objectbased parallel programming languages are an impor...