Sciweavers

68 search results - page 1 / 14
» delta 2008
Sort
View
SIAMSC
2008
167views more  SIAMSC 2008»
13 years 4 months ago
High Order Numerical Quadratures to One Dimensional Delta Function Integrals
Abstract. We study high order numerical quadratures to one dimensional delta function integrals in this paper. This is motivated by the fact that traditional numerical quadratures ...
Xin Wen
DKE
2006
157views more  DKE 2006»
13 years 4 months ago
XML structural delta mining: Issues and challenges
Recently, there is an increasing research efforts in XML data mining. These research efforts largely assumed that XML documents are static. However, in reality, the documents are ...
Qiankun Zhao, Ling Chen 0002, Sourav S. Bhowmick, ...
TSE
2008
146views more  TSE 2008»
13 years 4 months ago
Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...
Marcelo d'Amorim, Steven Lauterburg, Darko Marinov