2145 search results - page 198 / 429 » Architectural Specifications in CASL |
161
click to vote
FAC
2002
15 years 6 months ago
2002
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. More...
157
click to vote
MICRO
2010
IEEE
15 years 4 months ago
2010
IEEE
We propose an architectural design methodology for designing formally verifiable cache coherence protocols, called Fractal Coherence. Properly designed to be fractal in behavior, t...
156
click to vote
AISS
2010
15 years 1 months ago
2010
This paper has focused on the integration of Hybrid Renewable Energy, specifically the solar energy resources into conventional electric grid and deployment of smart architecture ...
173
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
This paper presents the first in-depth study on applying dual Vdd buffers to buffer insertion and multi-sink buffered tree construction for power minimization under delay constrai...
159
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
As graph models are applied to more widely varying fields, researchers struggle with tools for exploring and analyzing these structures. We describe GUESS, a novel system for grap...