1226 search results - page 221 / 246 » Proofs, Programs and Abstract Complexity |
144
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
Scientific workflows are a powerful programming technique for specifying complex computations using a number of otherwise independent components. When used in a Grid environment, ...
150
click to vote
NCA
2006
IEEE
15 years 10 months ago
2006
IEEE
Geant4 is a very large, highly accurate toolkit for Monte Carlo simulation of particle-matter interaction. It has been applied to high-energy physics, cosmic ray modeling, radiati...
113
click to vote
MSWIM
2005
ACM
15 years 10 months ago
2005
ACM
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...
151
click to vote
EDCC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
127
click to vote
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...