2452 search results - page 193 / 491 » On Reduction of Lagrange Systems |
190
click to vote
ISQED
2008
IEEE
16 years 19 days ago
2008
IEEE
—Power and energy consumption has emerged as the premier and most constraining aspect in modern computational systems. Dynamic Voltage Scheduling (DVS) has been provably one of t...
165
click to vote
ICC
2007
IEEE
16 years 17 days ago
2007
IEEE
—Opportunistic scheduling in random beamforming maximizes the sum-rate by allocating resources to the users with the best channel condition, thus leveraging on multiuser diversit...
195
click to vote
NCA
2007
IEEE
16 years 15 days ago
2007
IEEE
Increasing traffic and the necessity of stateful analyses impose strong computational requirements on network intrusion detection systems (NIDS), and motivate the need of distrib...
170
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
189
click to vote
ESTIMEDIA
2005
Springer
15 years 11 months ago
2005
Springer
Portable embedded systems require diligence in managing their energy consumption. Thus, power efficient processors coupled with onchip memories (e.g. caches, scratchpads) are the...