7430 search results - page 1333 / 1486 » Programming Applications in CIFF |
120
Voted
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...
135
Voted
ECOOPW
1998
Springer
15 years 7 months ago
1998
Springer
Enterprise Java Beans (EJB), a specification for a Java component framework recently released by Sun Microsystems, immediately attracted attention of several major software vendor...
145
Voted
ESA
1998
Springer
15 years 7 months ago
1998
Springer
In this paper, we study a class of optimal path problems with the following phenomenon: The space complexity of the algorithms for reporting the lengths of single-source optimal pa...
152
Voted
IFL
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
115
Voted
LCPC
1998
Springer
15 years 7 months ago
1998
Springer
Techniques for aggressive optimization and parallelization of applications can have the side-effect of introducing copy instructions, register-to-register move instructions, into t...