Sciweavers

592 search results - page 60 / 119
» Static analysis of XML processing with data values
Sort
View
VISSYM
2004
13 years 9 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
13 years 12 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
13 years 12 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
14 years 4 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»
14 years 7 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, ...