INFOVIS
1998
IEEE
13 years 8 months ago
1998
IEEE
We propose a methodology for automatically realizing communicative goals in graphics. It features a task model that mediates the communicative intent and the selection of graphica...
HPDC
1998
IEEE
13 years 8 months ago
1998
IEEE
We describe a methodology that enables the real-time diagnosis of performance problems in complex high-performance distributed systems. The methodology includes tools for generati...
DATE
1998
IEEE
13 years 8 months ago
1998
IEEE
As the "system-on-a-chip" concept is rapidly becoming a reality, time-to-market and product complexity push the reuse of complex macromodules. Circuits combining a varie...
IPPS
1999
IEEE
13 years 8 months ago
1999
IEEE
In this study, we introduce an evaluation methodology for advanced memory systems. This methodology is based on statistical factorial analysis. It is two fold: it first determines...
AGENTS
1999
Springer
13 years 8 months ago
1999
Springer
This paper presents a methodology for agent-oriented analysis and design. The methodology is general, in that it is applicable to a wide range of multi-agent systems, and comprehe...
AOSE
2000
Springer
13 years 9 months ago
2000
Springer
This paper describes a methodology that is being developed for designing and building agent-based systems for the domain of production control. In particular, this paper deals with...
ASPDAC
2000
ACM
13 years 9 months ago
2000
ACM
- This paper presents a new aged timing simulation methodology that can be used for hot-carrier reliability assurance of VLSI. This methodology consists of a compact model and a un...
IEEEICCI
2002
IEEE
13 years 9 months ago
2002
IEEE
There are already many projects focusing on Computer Aided Software Engineering (CASE) tools for object-oriented analysis and design. However, at this moment, there are certain li...
EDOC
2002
IEEE
13 years 9 months ago
2002
IEEE
Thispaper describes a set of modeling techniquesfor developing vertical applications in specific domains. Previous approaches are mainly focused on obtaining final applications. W...
DSD
2002
IEEE
13 years 9 months ago
2002
IEEE
In this paper we describe a methodology for the formal verification of a DSP chip using the HOL theorem prover. We used an iterative method to specify both the behavioral and stru...