678 search results - page 19 / 136 » A core flight software system |
73
Voted
INFSOF
2007
14 years 9 months ago
2007
Software clustering algorithms presented in the literature rarely incorporate in the clustering process dynamic information, such as the number of function invocations during runt...
ECBS
2007
IEEE
15 years 3 months ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
113
Voted
WAC
2004
Springer
15 years 2 months ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
IPPS
2010
IEEE
14 years 7 months ago
2010
IEEE
Performance prediction is valuable in different areas of computing. The popularity of lease-based access to high performance computing resources particularly benefits from accurate...
SEFM
2005
IEEE
15 years 3 months ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...