7195 search results - page 126 / 1439 » On Computing Power |
106
Voted
IPPS
2005
IEEE
15 years 6 months ago
2005
IEEE
The next generation of mobile systems with multimedia processing capabilities and wireless connectivity will be increasingly deployed in highly dynamic and distributed environment...
105
Voted
CAV
2006
Springer
15 years 4 months ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
116
click to vote
DAC
2010
ACM
15 years 4 months ago
2010
ACM
The level of security provided by digital rights management functions and cryptographic protocols depend heavily on the security of an embedded secret key. The current practice of...
125
Voted
DAC
2005
ACM
15 years 2 months ago
2005
ACM
On-chip supply networks are playing an increasingly important role for modern nanometer-scale designs. However, the ever growing sizes of power grids make the analysis problem ext...
113
Voted
ICPADS
2010
IEEE
14 years 10 months ago
2010
IEEE
Control decisions of intelligent devices in critical infrastructure can have a significant impact on human life and the environment. Insuring that the appropriate data is availabl...