7430 search results - page 257 / 1486 » Programming Applications in CIFF |
148
click to vote
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
137
Voted
EMSOFT
2001
Springer
15 years 9 months ago
2001
Springer
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
135
click to vote
TACS
2001
Springer
15 years 9 months ago
2001
Springer
We give a logic programming language based on Fiore, Plotkin and Turi’s binding algebras. In this language, we can use not only first-order terms but also terms involving variab...
143
Voted
SRDS
1999
IEEE
15 years 8 months ago
1999
IEEE
Production of reliable and flexible distributed applications is a growing area of interest and research. Various middleware technologies are often used as the communication infras...
148
click to vote
SAS
1999
Springer
15 years 8 months ago
1999
Springer
This paper presents and evaluates a set of analyses designed to reduce synchronization overhead in Java programs. Monitor-based synchronization in Java often causes significant ove...