Sciweavers

12753 search results - page 2369 / 2551
» is 2002
Sort
View
151
Voted
SDM
2009
SIAM
164views Data Mining» more  SDM 2009»
16 years 29 days ago
Exact Discovery of Time Series Motifs.
Time series motifs are pairs of individual time series, or subsequences of a longer time series, which are very similar to each other. As with their discrete analogues in computat...
Abdullah Mueen, Eamonn J. Keogh, M. Brandon Westov...
239
Voted

Lab
667views
16 years 27 days ago
Digital Systems and Media Computing Laboratory - DSMC
The Digital Systems and Media Computing Laboratory (DSMC Lab) was established in the end of 2002 and is located in Patras, Greece. DSMC operates under the School of Sciences and Te...
153
Voted
ICCD
2002
IEEE
257views Hardware» more  ICCD 2002»
16 years 20 days ago
Requirements for Automotive System Engineering Tools
The requirements to system and software development tools brought up by the automotive industry differ from the requirements that other customers have. The important catchwords he...
Joachim Schlosser
157
Voted
ICCD
2002
IEEE
141views Hardware» more  ICCD 2002»
16 years 20 days ago
Embedded Operating System Energy Analysis and Macro-Modeling
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signifi...
Tat Kee Tan, Anand Raghunathan, Niraj K. Jha
148
Voted
ICCAD
2002
IEEE
142views Hardware» more  ICCAD 2002»
16 years 19 days ago
SAT and ATPG: Boolean engines for formal hardware verification
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
Armin Biere, Wolfgang Kunz
« Prev « First page 2369 / 2551 Last » Next »