5325 search results - page 429 / 1065 » Effective Computation for Nonlinear Systems |
212
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
The objective of private authentication for Radio Frequency Identification (RFID) systems is to allow valid readers to explicitly authenticate their dominated tags without leaking...
178
click to vote
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
Significant power savings can be achieved on voltage/frequency configurable platforms by dynamically adapting the frequency and voltage according to the workload (complexity). Vid...
188
click to vote
CAV
2005
Springer
16 years 13 days 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 ...
187
click to vote
ESTIMEDIA
2006
Springer
15 years 10 months ago
2006
Springer
Parallelization of embedded software is often desirable for power/performance-related considerations for computation-intensive applications that frequently occur in the signal-pro...
189
click to vote
CATA
2009
15 years 8 months ago
2009
The invention of the Internet has ushered in advances in information era which has revolutionized the way we conduct business, advances our knowledge and promote life long learning...