5064 search results - page 766 / 1013 » Recent Developments in Gridsolve |
156
click to vote
SERP
2003
15 years 8 months ago
2003
Different advances have been made in the development of software process improvement (SPI) standards and models, e.g. capability maturity model (CMM), more recently CMMI, and ISO...
186
click to vote
SPIESR
1998
15 years 8 months ago
1998
Abstract. Imaging applications such as filtering, image transforms and compression/decompression require vast amounts of computing power when applied to large data sets. These appl...
156
click to vote
CASCON
1996
15 years 8 months ago
1996
Framework design begins with domain analysis. Either the problem domain is analyzed to create a new design, or the solution domain is analyzed to understand how the problem has al...
190
click to vote
SODA
1996
ACM
15 years 8 months ago
1996
ACM
Emerging high speed networks will carry tra c for services such as video-on-demand and video teleconferencing that require resource reservation along the path on which the tra c i...
193
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...