Sciweavers

592 search results - page 60 / 119
» Static analysis of XML processing with data values
Sort
View
VISSYM
2004
14 years 11 months ago
TimeHistograms for Large, Time-Dependent Data
Histograms are a very useful tool for data analysis, because they show the distribution of values over a data dimension. Many data sets in engineering (like computational fluid dy...
Robert Kosara, Fabian Bendix, Helwig Hauser
SIBGRAPI
1999
IEEE
15 years 2 months ago
Interpolation of Scattered Data: Investigating Alternatives for the Modified Shepard Method
Many scientific applications use scattered data originated from samples. Interpolation techniques are necessary to estimate the values on non-sampled regions. In a previous work, t...
Karen Basso, Paulo Ricardo de Ávila Zingano...
KBSE
1998
IEEE
15 years 2 months ago
An Automated Framework for Structural Test-Data Generation
Structural testing criteria are mandated in many software development standards and guidelines. The process of generating test-data to achieve 100 coverage of a given structural c...
Nigel Tracey, John A. Clark, Keith Mander, John A....
PEPM
2009
ACM
15 years 6 months ago
Guided model checking for programs with polymorphism
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
Neha Rungta, Eric G. Mercer
SIGMOD
2008
ACM
162views Database» more  SIGMOD 2008»
15 years 10 months ago
Event queries on correlated probabilistic streams
A major problem in detecting events in streams of data is that the data can be imprecise (e.g. RFID data). However, current state-ofthe-art event detection systems such as Cayuga ...
Christopher Ré, Dan Suciu, Julie Letchner, ...