649 search results - page 80 / 130 » Sampling Algorithms in a Stream Operator |
146
click to vote
CAV
2005
Springer
15 years 10 months ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
160
click to vote
CGF
2007
15 years 4 months ago
2007
We propose a mesh segmentation algorithm via recursive bisection where at each step, a sub-mesh embedded in 3D is first spectrally projected into the plane and then a contour is ...
159
click to vote
CGO
2007
IEEE
15 years 8 months ago
2007
IEEE
In profiling, a tradeoff exists between information and overhead. For example, hardware-sampling profilers incur negligible overhead, but the information they collect is consequen...
147
click to vote
CVPR
1998
IEEE
16 years 6 months ago
1998
IEEE
We have designed and implemented a system for real-time detection of 2-D features on a reconfigurable computer based on Field Programmable Gate Arrays (FPGA `s). We envision this ...
134
click to vote
EUROPAR
2009
Springer
15 years 8 months ago
2009
Springer
We consider a multi-processor system-on-chip destined for streaming applications. An application is composed of one input and one output queue and in-between, several levels of ide...