Sciweavers

5775 search results - page 398 / 1155
» A Rationale-based Analysis Tool
Sort
View
ISPASS
2003
IEEE
16 years 4 days ago
Complete instrumentation requirements for performance analysis of Web based technologies
In this paper we present the eDragon environment, a research platform created to perform complete performance analysis of new Web-based technologies. eDragon enables the understan...
David Carrera, Jordi Guitart, Jordi Torres, Eduard...
182
Voted
FM
2001
Springer
108views Formal Methods» more  FM 2001»
15 years 11 months ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer
184
Voted
SIGMOD
1998
ACM
145views Database» more  SIGMOD 1998»
15 years 11 months ago
AutoAdmin 'What-if' Index Analysis Utility
As databases get widely deployed, it becomes increasingly important to reduce the overhead of database administration. An important aspect of data administration that critically i...
Surajit Chaudhuri, Vivek R. Narasayya
157
Voted
CVRMED
1997
Springer
15 years 11 months ago
Geometric constraint analysis and synthesis: methods for improving shape-based registration accuracy
Shape-based registration is a process for estimating the transformation between two shape representations of an object. It is used in many image-guided surgical systems to establis...
David A. Simon, Takeo Kanade
253
Voted
CPE
1994
Springer
170views Hardware» more  CPE 1994»
15 years 11 months ago
Automatic Scalability Analysis of Parallel Programs Based on Modeling Techniques
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
Allen D. Malony, Vassilis Mertsiotakis, Andreas Qu...