2662 search results - page 103 / 533 » Objects-early tools: a demonstration |
FPL
2005
Springer
15 years 7 months ago
2005
Springer
This article presents a power estimation tool integrated with an FPGA design flow. It is able to estimate total and individual-node average power consumption for combinational blo...
108
click to vote
MMMACNS
2001
Springer
15 years 6 months ago
2001
Springer
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...
106
click to vote
ISVC
2010
Springer
15 years 1 days ago
2010
Springer
We present an interactive visualization tool that provides users with the capability of cutting away the surfaces of enclosing objects to reveal interior or occluded objects. This ...
SIGMETRICS
1997
ACM
15 years 5 months ago
1997
ACM
Benchmarks are important because they provide a means for users and researchers to characterize how their workloads will perform on different systems and different system architec...
110
click to vote
CLUSTER
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract--Developing and tuning computational science applications to run on extreme scale systems are increasingly complicated processes. Challenges such as managing memory access...