9110 search results - page 130 / 1822 » Formally-Based Design Evaluation |
TRIDENTCOM
2005
IEEE
15 years 3 months ago
2005
IEEE
Wireless mobile ad hoc network experimentation is subjected to stochastic factors from the radio environment and node mobility. To achieve test repeatability and result reproducib...
DATE
2010
IEEE
15 years 3 months ago
2010
IEEE
Aggressive technology scaling has an ever-increasing adverse impact on the lifetime reliability of microprocessors. This paper proposes a novel simulation framework for evaluating...
DATE
2010
IEEE
15 years 3 months ago
2010
IEEE
Today, due to the increasing demand for more and more complex applications in the consumer electronic market segment, Systems-on-Chip consist of many processing elements and becom...
IPPS
1999
IEEE
15 years 2 months ago
1999
IEEE
Parallel programming models should attempt to satisfy two conflicting goals. On one hand, they should hide architectural details so that algorithm designers can write simple, port...
DIAGRAMS
2006
Springer
15 years 1 months ago
2006
Springer
This paper describes the evaluation of ERST, an adaptive system which is designed to improve its users' external representation (ER) selection accuracy on a range of database ...