9110 search results - page 127 / 1822 » Formally-Based Design Evaluation |
PDP
1996
IEEE
15 years 2 months ago
1996
IEEE
A case study of performance and dependability evaluation of fault-tolerant multiprocessors is presented. Two specific architectures are analyzed taking into account system functio...
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
Masev12 (MAs Software engineering EValuation framework) is an online application that allows analyzing and comparing methods, techniques and environments for developing MAS. Moreo...
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
—With the deployment of IPTV reliability for multicast is becoming an important research topic again. Even though it has been intensively investigated before, there is now an und...
IROS
2006
IEEE
15 years 4 months ago
2006
IEEE
— In order to guide the design of a new multi-robot system, we seek to evaluate two different designs of audio direction sensor. We have implemented a simple but useful audio pro...
ISCAS
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper presents a new family of architectures for multi-cycle area-efficient evaluation of elementary and composite functions, and an exploration of the design tradeoffs for i...