9110 search results - page 216 / 1822 » Formally-Based Design Evaluation |
147
Voted
ISQED
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper proposes a reliability-centric hardware/ software co-design framework. This framework operates with a component library that provides multiple alternates for a given ta...
193
click to vote
ESTIMEDIA
2003
Springer
15 years 11 months ago
2003
Springer
— The constant increase in levels of integration and the reduction of the time-to-market have led to the definition of new methodologies stressing reuse. This involves not only ...
163
Voted
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes the design and evaluation of SouthamptonSCM, the runner-up in the 2005 International Trading Agent Supply Chain Management Competition (TAC SCM). In particula...
160
click to vote
WSC
1997
15 years 7 months ago
1997
Evaluating, analyzing and predicting the performance of a parallel system is challenging due to the complex inter-play between the application characteristics and architectural fe...
144
click to vote
CE
2008
15 years 4 months ago
2008
This study aimed to design and evaluate multimedia games which were based on the theories of children's development of taxonomic concepts. Factors that might affect children&...