865 search results - page 16 / 173 » Software Architectural Specification for Optimal Object Dist... |
ISSRE
2002
IEEE
14 years 26 days ago
2002
IEEE
In this paper, based on software reliability growth models with generalized logistic testing-effort function, we study three optimal resource allocation problems in modular softwa...
ISORC
1998
IEEE
14 years 5 days ago
1998
IEEE
Component-based software development would allow application software be largely constructed, rather than programmed. This approach would dramatically improve the productivity of ...
ISOLA
2010
Springer
13 years 5 months ago
2010
Springer
Safety-critical distributed real-time systems, such as networked medical devices, must operate according to their specification, because incorrect behaviour can have fatal conseque...
FSTTCS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We study the synthesis problem for external linear or branching specifications and distributed, synchronous architectures with arbitrary delays on processes. External mea...
ICS
1999
Tsinghua U.
14 years 6 days ago
1999
Tsinghua U.
—This paper explores the use of compiler optimizations which optimize the layout of instructions in memory. The target is to enable the code to make better use of the underlying ...