2662 search results - page 444 / 533 » Tools Demonstrations |
171
click to vote
SIGCOMM
2012
ACM
13 years 7 months ago
2012
ACM
As live streaming networks grow in scale and complexity, they are becoming increasingly difficult to evaluate. Existing evaluation methods including lab/testbed testing, simulati...
130
click to vote
SIGMOD
2003
ACM
16 years 4 months ago
2003
ACM
The Aurora system [1] is an experimental data stream management system with a fully functional prototype. It includes both a graphical development environment, and a runtime syste...
144
click to vote
VISUALIZATION
1992
IEEE
15 years 8 months ago
1992
IEEE
algorithms as networks of modules. The data flow architecture is popular because of the flexibility of mixing calculation modules with display modules, and because of its easy grap...
144
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
137
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
There are now a number of bidirectional programming languages, where every program can be read both as a forward transformation mapping one data structure to another and as a reve...