2875 search results - page 542 / 575 » Using separation of concerns for embedded systems design |
78
Voted
DAC
2009
ACM
15 years 10 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
102
click to vote
CODES
2010
IEEE
14 years 7 months ago
2010
IEEE
This paper describes PowerBooter, an automated power model construction technique that uses built-in battery voltage sensors and knowledge of battery discharge behavior to monitor...
KDD
2004
ACM
15 years 10 months ago
2004
ACM
This paper describes a prototype that predicts the shopping lists for customers in a retail store. The shopping list prediction is one aspect of a larger system we have developed ...
101
click to vote
CSL
2006
Springer
14 years 9 months ago
2006
Springer
Support vector machines (SVMs) have proven to be a powerful technique for pattern classification. SVMs map inputs into a high dimensional space and then separate classes with a hy...
AIPR
2002
IEEE
15 years 2 months ago
2002
IEEE
Light spectroscopic methods are critical to advances in molecular characterization of disease processes. However, these methods have been limited to in-vitro or cell culture studi...