2954 search results - page 367 / 591 » Beyond |
168
click to vote
CAV
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
176
click to vote
CCGRID
2001
IEEE
15 years 10 months ago
2001
IEEE
The global computational grids bring together distributed computation/communication resources. Beyond this, we envision the emergence of global `service grids', which provide...
201
click to vote
FPGA
2000
ACM
15 years 10 months ago
2000
ACM
With the expiration of the Data Encryption Standard (DES) in 1998, the Advanced Encryption Standard (AES) development process is well underway. It is hoped that the result of the ...
163
click to vote
ISSTA
2000
ACM
15 years 10 months ago
2000
ACM
ions for concise and precise specification of such control, but balance this with visualization support to help users also obtain intuitive insights. The underlying complexhese con...
149
click to vote
MICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
While technology is delivering increasingly sophisticated and powerful chip designs, it is also imposing alarmingly high energy requirements on the chips. One way to address this ...