48 search results - page 8 / 10 » A characterization and analysis of PTX kernels |
RAID
1999
Springer
15 years 4 months ago
1999
Springer
We approached this line of inquiry by questioning the conventional wisdom that audit logs are too large to be analyzed and must be reduced and filtered before the data can be anal...
SSDBM
2006
IEEE
15 years 5 months ago
2006
IEEE
A variety of real-world applications requires a meaningful online analysis of transient data streams. An important building block of many analysis tasks is the characterization of...
116
click to vote
NIPS
2007
15 years 1 months ago
2007
Stimulus selectivity of sensory neurons is often characterized by estimating their receptive field properties such as orientation selectivity. Receptive fields are usually deriv...
130
click to vote
POPL
2011
ACM
14 years 2 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
106
click to vote
IISWC
2009
IEEE
15 years 6 months ago
2009
IEEE
In many areas such as e-commerce, mission-critical N-tier applications have grown increasingly complex. They are characterized by non-stationary workloads (e.g., peak load several...