339 search results - page 1 / 68 » An Experimental Framework for the Analysis and Validation of... |
SEUS
2009
IEEE
13 years 11 months ago
2009
IEEE
SRDS
2010
IEEE
13 years 2 months ago
2010
IEEE
IPPS
2007
IEEE
13 years 11 months ago
2007
IEEE
Performing experimental evaluation of fault tolerant distributed systems is a complex and tedious task, and automating as much as possible of the execution and evaluation of exper...
ICFEM
2004
Springer
13 years 10 months ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
TCAD
2010
12 years 11 months ago
2010
Clock mesh networks are well known for their variation tolerance. But their usage is limited to high-end designs due to the significantly high resource requirements compared to clo...