5434 search results - page 335 / 1087 » Tool support for MOLA |
194
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
1 -- As the scale and complexity of data-driven computational science grows, so grows the burden on the scientists and students in managing the data products used and generated dur...
178
click to vote
ENTCS
2007
15 years 6 months ago
2007
Debugging by observing the evaluation of expressions and functions is a useful approach for finding bugs in lazy functional and functional logic programs. However, adding and rem...
194
click to vote
ETS
2000
IEEE
15 years 6 months ago
2000
IEEE
A significant opportunity presented by the availability of high-speed network access in the classroom is the ability to collaborate with remote students and mentors. To be success...
166
click to vote
FGCS
2000
15 years 6 months ago
2000
With a heavy emphasis on distribution and reuse, web-based simulation portends a dramatic shift in the application of simulation as a problem-solving technique and decision-suppor...
186
Voted
FMSD
2000
15 years 6 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...