Sciweavers

468 search results - page 80 / 94
» Spreadsheet Engineering: A Research Framework
Sort
View
TCAD
2010
102views more  TCAD 2010»
14 years 4 months ago
Functional Test Generation Using Efficient Property Clustering and Learning Techniques
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
Mingsong Chen, Prabhat Mishra
ICDE
2011
IEEE
235views Database» more  ICDE 2011»
14 years 1 months ago
Fast data analytics with FPGAs
—The rapidly increasing amount of data available for real-time analysis (i.e., so-called operational business intelligence) is creating an interesting opportunity for creative ap...
Louis Woods, Gustavo Alonso
ECMDAFA
2011
Springer
246views Hardware» more  ECMDAFA 2011»
14 years 1 months ago
Incremental Updates for View-Based Textual Modelling
Abstract. Model-Driven Engineering (MDE) aims at improving the development of software systems. Within this context textual concrete syntaxes for models are beneficial for many re...
Thomas Goldschmidt, Axel Uhl
WWW
2006
ACM
15 years 10 months ago
Time-dependent semantic similarity measure of queries using historical click-through data
It has become a promising direction to measure similarity of Web search queries by mining the increasing amount of clickthrough data logged by Web search engines, which record the...
Qiankun Zhao, Steven C. H. Hoi, Tie-Yan Liu, Soura...
IPSN
2010
Springer
14 years 11 months ago
Real-time burst event detection in water distribution systems
tract: Real-time Burst Event Detection in Water Distribution Systems Seshan Srirangarajan 1 , Mudasser Iqbal 1 , Michael Allen 2 , Ami Preis 2 , Cheng Fu 1 , Lewis Girod 3 , Kai-Ju...
Seshan Srirangarajan, Mudasser Iqbal, Michael Alle...