7167 search results - page 1258 / 1434 » A Technique for Invariant Generation |
223
click to vote
DAC
2004
ACM
16 years 8 months ago
2004
ACM
Efficient energy and performance estimation of embedded software is a critical part of any system-level design flow. Macromodeling based estimation is an attempt to speed up estim...
210
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
In this paper, we present a methodology for low-cost and rapid context switch for multithreaded embedded processors with realtime guarantees. Context-switch, which involves saving...
212
click to vote
MICCAI
2005
Springer
16 years 8 months ago
2005
Springer
Abstract. We develop a general approach that uses holomorphic 1forms to parameterize anatomical surfaces with complex (possibly branching) topology. Rather than evolve the surface ...
220
click to vote
ICML
2005
IEEE
16 years 8 months ago
2005
IEEE
Naive Bayes is an effective and efficient learning algorithm in classification. In many applications, however, an accurate ranking of instances based on the class probability is m...
184
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
In this paper, we propose a technique for leveraging historical field failure records in conjunction with automated static analysis alerts to determine which alerts or sets of ale...