2520 search results - page 152 / 504 » Model-checking behavioral programs |
127
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
Scratch-pad memories (SPMs) enable fast access to time-critical data. While prior research studied both static and dynamic SPM management strategies, not being able to keep all ho...
121
click to vote
CODES
2009
IEEE
15 years 12 months ago
2009
IEEE
– There has been a recent shift in design paradigms, with many turning towards yield-driven approaches to synthesize and design systems. A major cause of this shift is the contin...
148
click to vote
MICRO
2006
IEEE
15 years 11 months ago
2006
IEEE
We present and evaluate the idea of adaptive processor cache management. Specifically, we describe a novel and general scheme by which we can combine any two cache management alg...
128
click to vote
UM
2010
Springer
15 years 10 months ago
2010
Springer
The effectiveness of support provided to virtual communities depends strongly on what we know about a particular community of people and in what areas the community needs support....
152
click to vote
CHI
2008
ACM
15 years 7 months ago
2008
ACM
In recent years, the software engineering community has begun to study program navigation and tools to support it. Some of these navigation tools are very useful, but they lack a ...