5015 search results - page 853 / 1003 » Model Checking a Path |
EDBT
2006
ACM
14 years 10 months ago
2006
ACM
We present a novel framework for comprehensive exploration of OLAP data by means of user-defined dynamic hierarchical visualizations. The multidimensional data model behind the OLA...
ICCD
2001
IEEE
14 years 7 months ago
2001
IEEE
Dynamic power is the main source of power consumption in CMOS circuits. It depends on the square of the supply voltage. It may significantly be reduced by scaling down the supply ...
ICCAD
2005
IEEE
14 years 7 months ago
2005
IEEE
— Although the LUT (look-up table) size of FPGAs has been optimized for general applications, complicated designs may contain a large number of cascaded LUTs between flip-flops...
EUROGRAPHICS
2010
Eurographics
14 years 6 months ago
2010
Eurographics
Recent proliferation of camera phones, photo sharing and social network services has significantly changed how we process our photos. Instead of going through the traditional dow...
SI3D
2010
ACM
14 years 5 months ago
2010
ACM
Volume caustics are intricate illumination patterns formed by light first interacting with a specular surface and subsequently being scattered inside a participating medium. Alth...