9110 search results - page 56 / 1822 » Formally-Based Design Evaluation |
ICN
2009
Springer
14 years 7 months ago
2009
Springer
It is essential that a monitoring system is being designed with performance and scalability in mind. But due to the diversity and complexity of both the monitoring and the monitore...
CCGRID
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper presents a new low-level communication subsystem called Nemesis. Nemesis has been designed and implemented to be scalable and efficient both in the intranode communica...
ISCAS
2006
IEEE
15 years 3 months ago
2006
IEEE
—According to former results from [1] in this paper we summarize the design principles from the general approach and introduce extended experimental test results of a Voice-over-...
ROBOCUP
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. In this paper we present the hard- and software architecture of the robots of the T-Team Tuebingen, which participated in the RoboCup'98. This paper describes how we...
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper we present a methodology that is based on SystemC [1] for rapid prototyping to greatly enhance and accelerate the exploration of complex systems to optimize the syst...