6274 search results - page 161 / 1255 » Proofs, Programs, Processes |
173
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
Component-based software engineering (CBSE) spans a range of technologies and engineering practices. Engineering practices for component-based systems (e.g., design, integrate, te...
196
click to vote
DICS
2006
15 years 8 months ago
2006
Achieving software reliability takes many complementary techniques, directed at the process or at the products. This survey summarizes some of the most fruitful ideas. 1 OVERVIEW ...
168
click to vote
APLAS
2006
ACM
16 years 11 days ago
2006
ACM
XML transformations are most naturally defined as recursive functions on trees. Their direct implementation, however, causes inefficient memory usage because the input XML tree is...
138
click to vote
AIPS
1994
15 years 7 months ago
1994
This paper describes work on the Multimission VICARPlanner (MVP) system to automatically construct executable imageprocessing procedures for custom image processing requests for t...
187
click to vote
PVM
2010
Springer
15 years 4 months ago
2010
Springer
Parallel programming models on large-scale systems require a scalable system for managing the processes that make up the execution of a parallel program. The process-management sys...