1040 search results - page 154 / 208 » Resource Usage Verification |
132
Voted
IEEEPACT
2007
IEEE
15 years 9 months ago
2007
IEEE
Loop nest optimization is a combinatorial problem. Due to the growing complexity of modern architectures, it involves two increasingly difficult tasks: (1) analyzing the profita...
ISCAS
2007
IEEE
15 years 9 months ago
2007
IEEE
— Many application-specific wireless sensor network (WSN) systems require small size and low power features due to their limited resources, and their use in distributed, wireles...
136
Voted
MOBIQUITOUS
2007
IEEE
15 years 9 months ago
2007
IEEE
—ZigBee is popular for Wireless Sensor Network (WSN) devices because of its low power consumption, built-in security method and ratified specifications. With these features, it...
CALCO
2007
Springer
15 years 9 months ago
2007
Springer
Besides functional correctness, specifications must describe other properties of permissible implementations. We want to use simple algebraic techniques to specify resource usage ...
111
click to vote
CHES
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper presents a design-space exploration of the Galois/Counter Mode (GCM) algorithm with Advanced Encryption Standard (AES) as underlying block cipher for high thro...