140
Voted
CHARME
2003
Springer
15 years 7 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
145
Voted
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
Most research to date on energy minimization in DSP processors has focuses on hardware solution. This paper examines the software-based factors affecting performance and energy co...
113
Voted
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
99
Voted
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
84
Voted
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE