COMPSAC
1999
IEEE
14 years 8 days ago
1999
IEEE
As the complexity of software systems increases, so need for a good mechanism of abstraction. architecture design is an abstraction, hiding an immense amount of details about the ...
COMPSAC
1999
IEEE
14 years 8 days ago
1999
IEEE
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...
COMPSAC
1999
IEEE
14 years 8 days ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...
COMPSAC
1999
IEEE
14 years 8 days ago
1999
IEEE
In this paper, we study the optimal software release problem considering cost, reliability and testing eficiency. We first propose a generalized logistic testing-effort function t...
COMPSAC
1999
IEEE
14 years 8 days ago
1999
IEEE
The Brooks' Law says that adding manpower to a late software project makes it later. Brooks developed the law through observation of many projects and derived the generalizat...
COMPSAC
1999
IEEE
14 years 8 days ago
1999
IEEE
This paper presents an initial design of the "Plug-nAnalyze" framework for the tradeoff analysisin determining architecture alternatives that have different strength and...
CODES
1999
IEEE
14 years 8 days ago
1999
IEEE
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
CODES
1999
IEEE
14 years 8 days ago
1999
IEEE
CODES
1999
IEEE
14 years 8 days ago
1999
IEEE
raction levels of communication models to allow designers to trade off between performance and accuracy. Contrary to [2][3], we present an optimization method which preserves the a...
CODES
1999
IEEE
14 years 8 days ago
1999
IEEE
With the growth of System on a Chip (SoC), the functionality of analog components must also be considered in the design process. This paper describes some of the design implementa...