3256 search results - page 383 / 652 » Applications of Formal Methods to System Design and Verifica... |
183
click to vote
FSKD
2005
Springer
16 years 1 days 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...
169
click to vote
ET
2010
15 years 5 months ago
2010
—Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. For the class of static affine program...
171
click to vote
HCI
2007
15 years 8 months ago
2007
Abstract. This paper proposed a new visual tag system for enhancing realworld media interaction using handheld camera devices. This paper also described performance evaluations of ...
178
click to vote
ECBS
2007
IEEE
16 years 29 days ago
2007
IEEE
Architectural quality constitutes a critical factor for contemporary software systems, especially because of their size and the needs for frequent, quick changes. For success-crit...
170
Voted
SC
2009
ACM
15 years 11 months ago
2009
ACM
Reconfigurable computing (RC) is rapidly becoming a vital technology for many applications, from high-performance computing to embedded systems. The inherent advantages of custom-...