6409 search results - page 1073 / 1282 » A Computational Algorithm for Origami Design |
154
click to vote
DAC
2010
ACM
15 years 5 months ago
2010
ACM
We present a methodology for off-chip memory bandwidth minimization through application-driven L2 cache partitioning in multicore systems. A major challenge with multi-core system...
117
click to vote
GLVLSI
2007
IEEE
15 years 3 months ago
2007
IEEE
We present a vector selection methodology for estimating the peak power dissipation in a CMOS logic circuit. The ultimate goal is to combine the speed of RT-level simulation with ...
126
click to vote
CPHYSICS
2006
15 years 2 months ago
2006
A modification of the standard Simulated Annealing (SA) algorithm is presented for finding the global minimum of a continuous multidimensional, multimodal function. We report resu...
143
click to vote
JSA
2010
14 years 8 months ago
2010
During the past few years, embedded digital systems have been requested to provide a huge amount of processing power and functionality. A very likely foreseeable step to pursue th...
136
click to vote
DAC
2003
ACM
16 years 2 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...