7103 search results - page 504 / 1421 » Program Generation and Components |
134
Voted
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. SymGrid-Par is a new framework for executing large computer algebra problems on computational Grids. We present the design of SymGrid-Par, which supports multiple compute...
178
click to vote
ASAP
2004
IEEE
15 years 8 months ago
2004
IEEE
Dynamic programming for approximate string matching is a large family of different algorithms, which vary significantly in purpose, complexity, and hardware utilization. Many impl...
126
Voted
CLUSTER
2004
IEEE
15 years 8 months ago
2004
IEEE
We describe the use of component architecture in an area to which this approach has not been classically applied, the area of cluster system software. By "cluster system soft...
148
click to vote
TACAS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
186
click to vote
AADEBUG
2005
Springer
15 years 7 months ago
2005
Springer
Increased reuse of software components has led to a software mishmash as existing packages are used as building blocks for new systems. Current debuggers cannot cope with the intr...