3082 search results - page 579 / 617 » Deviation Analysis: A New Use of Model Checking |
100
click to vote
KDD
2003
ACM
16 years 7 days ago
2003
ACM
In this paper we study the problem of constructing accurate decision tree models from data streams. Data streams are incremental tasks that require incremental, online, and any-ti...
102
click to vote
ISLPED
2009
ACM
15 years 6 months ago
2009
ACM
In this paper, we observe that minimum energy Emin of subthreshold logic dramatically increases when reaching 45 nm node. We demonstrate by circuit simulation and analytical model...
119
click to vote
ADAEUROPE
2008
Springer
15 years 6 months ago
2008
Springer
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...
CODES
2007
IEEE
15 years 6 months ago
2007
IEEE
There is a strong need now for compilers of embedded systems to find effective ways of optimizing series of loop-nests, wherein majority of the memory references occur in the fo...
RE
2007
Springer
15 years 6 months ago
2007
Springer
Customer-reported field failures provide valuable information for the requirements of the next release. Without a systematic approach, the requirements of the next release may not...