16190 search results - page 425 / 3238 » Applicative programming with effects |
139
click to vote
ICPP
1996
IEEE
15 years 9 months ago
1996
IEEE
The ability to automatically parallelize standard programming languages results in program portability across a wide range of machine architectures. It is the goal of the Polaris ...
147
click to vote
EUROPAR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Complex software systems use many shared libraries frequently composed of large off-the-shelf components. Only a limited number of functions are used from these shared li...
141
click to vote
COMPSAC
1999
IEEE
15 years 9 months ago
1999
IEEE
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...
154
click to vote
VLDB
1991
ACM
15 years 8 months ago
1991
ACM
: This paper presents database programming language constructs that. can be used to realize a variety of different semantics for rule application in active database syst.ems. The p...
139
click to vote
CCE
2004
15 years 4 months ago
2004
This contribution deals with scheduling problems of flexible chemical batch processes with a special emphasis on their real-time character. This implies not only the need for suff...