7103 search results - page 981 / 1421 » Program Generation and Components |
131
Voted
SIGADA
1999
Springer
15 years 9 months ago
1999
Springer
Representing interdependencies between the objects of an object-oriented software application requires designtime mechanisms for specifying object interrelationships, as well as s...
148
Voted
POPL
1998
ACM
15 years 9 months ago
1998
ACM
We present a formal specification of unCurrying for a higher-order, functional language with ML-style let-polymorphism. This specification supports the general unCurrying of func...
138
click to vote
ICALP
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We study entailment of structural and nonstructural recursive subtyping constraints. Constraints are formal inequalities between type expressions, interpreted over an ord...
129
click to vote
OOPSLA
1998
Springer
15 years 9 months ago
1998
Springer
Dynamic information collected as a software system executes can help software engineers perform some tasks on a system more effectively. To interpret the sizable amount of data ge...
179
click to vote
HPDC
1996
IEEE
15 years 9 months ago
1996
IEEE
Load balancing involves assigning to each processor, work proportional to its performance, minimizing the execution time of the program. Althoughstatic load balancing can solve ma...