6329 search results - page 1184 / 1266 » Detection of Stochastic Processes |
213
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Testing and debugging database system applications is often challenging and time consuming. A database tester (or DB tester for short) has to detect a problem, determine why it ha...
229
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
With large amounts of correlated probabilistic data being generated in a wide range of application domains including sensor networks, information extraction, event detection etc.,...
124
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
167
click to vote
ICCAD
2003
IEEE
16 years 1 months ago
2003
IEEE
Transient Signal Analysis (TSA) is a parametric device testing technique based on the analysis of dynamic (transient) current (iDDT) drawn by the core logic from the power supply ...
123
Voted
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
As semantic web technologies are increasingly used to empower knowledge management systems (KMSs), there is a growing need for mechanisms and automated tools for checking content ...