28497 search results - page 5494 / 5700 » Improving experiences of computation |
142
click to vote
CODES
2007
IEEE
15 years 8 months ago
2007
IEEE
Energy consumption is a major issue in dynamically reconfigurable systems because of the high power requirements during repeated configurations. Hardware designs employ low power ...
150
click to vote
EUROCAST
2007
Springer
15 years 8 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
142
click to vote
SOUPS
2010
ACM
15 years 8 months ago
2010
ACM
Effective privacy management requires that mobile systems‟ users be able to make informed privacy decisions as their experience and knowledge of a system progresses. Prior work ...
144
click to vote
EMSOFT
2009
Springer
15 years 8 months ago
2009
Springer
This paper addresses the question of producing modular sequential imperative code from synchronous data-flow networks. Precisely, given a system with several input and output flow...
126
click to vote
ICCCN
2007
IEEE
15 years 8 months ago
2007
IEEE
Wireless mesh networks (WMN) have attracted considerable interest in recent years as a convenient, flexible and low-cost alternative to wired communication infrastructures in many ...