3169 search results - page 194 / 634 » A General Framework for Large Scale Systems Development |
155
click to vote
CF
2005
ACM
15 years 7 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
134
click to vote
ICMCS
2009
IEEE
15 years 2 months ago
2009
IEEE
Peer-to-peer content distribution provides high network throughput with relatively low server cost and scales better than traditional content distribution networks with respect to...
145
Voted
MM
2003
ACM
15 years 10 months ago
2003
ACM
We present an approach to video editing where movie sequences are treated as spatio-temporal volumes that can be sheered and warped under user control. This simple capability enab...
138
click to vote
ICDM
2009
IEEE
15 years 2 months ago
2009
IEEE
Scientists increasingly use ensemble data sets to explore relationships present in dynamic systems. Ensemble data sets combine spatio-temporal simulation results generated using mu...
150
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The stochastic simulation of biological systems is an increasingly popular technique in bioinformatics. It often is an enlightening technique, which may however result in being com...