713 search results - page 107 / 143 » Saving Space by Algebraization |
78
Voted
WAIM
2004
Springer
15 years 5 months ago
2004
Springer
A top-N selection query against a relation is to find the N tuples that satisfy the query condition the best but not necessarily completely. In this paper, we propose a new method ...
CHI
2010
ACM
15 years 5 months ago
2010
ACM
We propose a cooking system that operates in an open environment. The system cooks a meal by pouring various ingredients into a boiling pot on an induction heating cooker and adju...
ACSD
2003
IEEE
15 years 5 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
115
click to vote
CODES
2003
IEEE
15 years 5 months ago
2003
IEEE
the level of abstraction in system design promises to enable faster exploration of the design space at early stages. While scheduling decision for embedded software has great impa...
112
Voted
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper presents a on-chip stack based memory organization that effectively reduces the energy dissipation in programmable embedded system architectures. Most embedded systems ...