2392 search results - page 36 / 479 » Performance modeling from software components |
ICC
2009
IEEE
14 years 2 months ago
2009
IEEE
—We consider a new generation of COTS Software Routers (SRs), able to effectively exploit multi-Core/CPU HW platforms. Our main objective is to evaluate and to model the impact o...
DSN
2000
IEEE
14 years 9 days ago
2000
IEEE
We describe and test a software approach to overcoming radiation-induced errors in spaceborne applications running on commercial off-the-shelf components. The approach uses checks...
FMCO
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a...
SIGSOFT
2009
ACM
14 years 8 months ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
MIDDLEWARE
2005
Springer
14 years 1 months ago
2005
Springer
Sensor-based services propose to gather, manage, analyze, access and react to sensor data. These services are distributed over heterogeneous platforms. The complexity of the imple...