3994 search results - page 307 / 799 » A Linear Logical Framework |
144
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
— In this paper, we present a comprehensive energy estimation framework for software executing on Very Long Instruction Word (VLIW) processor cores. The proposed energy model is ...
145
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
—Connecting system-level performance models with circuit information has been a long-standing problem in analog/mixed-signal front-ends, like radios and high-speed links. High-sp...
183
click to vote
VISUALIZATION
2005
IEEE
16 years 9 days ago
2005
IEEE
Techniques in numerical simulation such as the finite element method depend on basis functions for approximating the geometry and variation of the solution over discrete regions ...
216
click to vote
APGV
2005
ACM
16 years 8 days ago
2005
ACM
Image processing often involves an image transformation into a domain that is better correlated with visual perception, such as the wavelet domain, image pyramids, multi-scale con...
156
click to vote
ACMACE
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we present a new entertainment adaptive framework AIRSF for stress free air travels. Based on the passenger's current and target comfort states, user entertain...