9110 search results - page 471 / 1822 » Formally-Based Design Evaluation |
167
Voted
ICCD
2007
IEEE
16 years 3 months ago
2007
IEEE
The deployment of future deep submicron technology calls for a careful review of existing cache organizations and design practices in terms of yield and performance. This paper pr...
197
Voted
DATE
1997
IEEE
15 years 11 months ago
1997
IEEE
In modern computer systems the performance is dominated by the memory performance. Currently, there is neither a systematic design methodology nor a tool for the design of memory ...
213
click to vote
CCGRID
2011
IEEE
14 years 10 months ago
2011
IEEE
—Large, reliable and efficient storage systems are becoming increasingly important in enterprise environments. Our research in storage system design is oriented towards the expl...
191
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Active reading, involving acts such as highlighting, writing notes, etc., is an important part of knowledge workers’ activities. Most computer-based active reading support seeks...
216
click to vote
SAC
2011
ACM
14 years 9 months ago
2011
ACM
We propose a novel approach and tool for collaborative software engineering and development. In model-based software engineering, the underlying data structure is a complex, direc...