9110 search results - page 220 / 1822 » Formally-Based Design Evaluation |
146
click to vote
HPCA
2000
IEEE
15 years 10 months ago
2000
IEEE
Growth and usage trends for large decision support databases indicate that there is a need for architectures that scale the processing power as the dataset grows. To meet this nee...
202
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents three contributions to research on middleware load balancing. First, it describes the design of Cygnus, which is an extensible open-source middleware framework...
153
click to vote
ASSETS
2009
ACM
16 years 20 days ago
2009
ACM
In this paper, we compare alternative techniques for evaluating a software system for simplifying the readability of texts for adults with mild intellectual disabilities (ID). We ...
175
click to vote
MOBICOM
2006
ACM
16 years 3 days ago
2006
ACM
High-speed wireless backbones have the potential to replace or complement wired connections. This paper provides a comprehensive network and transport layer performance evaluation...
172
click to vote
ISCA
2005
IEEE
15 years 11 months ago
2005
IEEE
: The theoretical study of quantum computation has yielded efficient algorithms for some traditionally hard problems. Correspondingly, experimental work on the underlying physical...