Sciweavers

5775 search results - page 214 / 1155
» A Rationale-based Analysis Tool
Sort
View
ICECCS
2007
IEEE
154views Hardware» more  ICECCS 2007»
16 years 27 days ago
A light-weight static approach to analyzing UML behavioral properties
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
Lijun Yu, Robert B. France, Indrakshi Ray, Kevin L...
ISCAPDCS
2003
15 years 8 months ago
Performance Monitoring of N-tier Client/Server Systems
Despite the widespread deployment of client/server technology, there seem to be no tools currently available that are adequate for analyzing and tuning the performance of client/s...
Christoph Steigner, Jürgen Wilke
CADE
2009
Springer
16 years 7 months ago
Termination Analysis by Dependency Pairs and Inductive Theorem Proving
Current techniques and tools for automated termination analysis of term rewrite systems (TRSs) are already very powerful. However, they fail for algorithms whose termination is ess...
Carsten Fuhs, Jürgen Giesl, Michael Parting, ...
ICDM
2006
IEEE
158views Data Mining» more  ICDM 2006»
16 years 19 days ago
A Probability Distribution Of Functional Random Variable With A Functional Data Analysis Application
Probability distributions are central tools for probabilistic modeling in data mining, and they lack in functional data analysis (FDA). In this paper we propose a probability dist...
Etienne Cuvelier, Monique Noirhomme-Fraiture
PVM
2005
Springer
16 years 2 days ago
A Scalable Approach to MPI Application Performance Analysis
A scalable approach to performance analysis of MPI applications is presented that includes automated source code instrumentation, low overhead generation of profile and trace data...
Shirley Moore, Felix Wolf, Jack Dongarra, Sameer S...