1799 search results - page 117 / 360 » Design considerations for MRAM |
126
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
To have impact, a grand challenge should provide a way for diverse research to be integrated in a synergistic fashion. Synergy in the JML project comes from a shared specification...
136
click to vote
FSKD
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, an intelligent power management scheme for embedded systems with wireless applications is proposed to reduce the power consumption of the overall system. The propose...
131
click to vote
CIVR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents a task-based user evaluation of two contentbased image database browsing systems. The performance of the two systems is compared to that of a commerci...
120
click to vote
POLICY
2004
Springer
15 years 9 months ago
2004
Springer
Recently, there has been a considerable interest in policy-based, goal-oriented service management and autonomic computing. Much work is still required to investigate designs and ...
112
click to vote
APLAS
2003
ACM
15 years 9 months ago
2003
ACM
We present a method for automatic program inversion in a first-order functional programming language. We formalize the transformation and illustrate it with several examples inclu...