Sciweavers

53390 search results - page 397 / 10678
» Computer Systems Analysis
Sort
View
LCPC
2005
Springer
16 years 8 days ago
Code Transformations for One-Pass Analysis
With the growing popularity of streaming data model, processing queries over streaming data has become an important topic. Streaming data has received attention in a number of comm...
Xiaogang Li, Gagan Agrawal
TACAS
2005
Springer
120views Algorithms» more  TACAS 2005»
16 years 7 days ago
Symbolic Test Selection Based on Approximate Analysis
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu,...
CLUSTER
2002
IEEE
15 years 11 months ago
I/O Analysis and Optimization for an AMR Cosmology Application
In this paper, we investigate the data access patterns and file I/O behaviors of a production cosmology application that uses the adaptive mesh refinement (AMR) technique for it...
Jianwei Li, Wei-keng Liao, Alok N. Choudhary, Vale...
DSN
2002
IEEE
15 years 11 months ago
Performability Analysis of Guarded-Operation Duration: A Successive Model-Translation Approach
When making an engineering design decision, it is often necessary to consider its implications on both system performance and dependability. In this paper, we present a performabi...
Ann T. Tai, William H. Sanders, Leon Alkalai, Savi...
HAPTICS
2002
IEEE
15 years 11 months ago
The Role of Force Feedback in Surgery: Analysis of Blunt Dissection
Force feedback is widely assumed to enhance performance in robotic surgery, but its benefits have not yet been systematically assessed. In this study we examine the effects of for...
Christopher R. Wagner, Nicholas Stylopoulos, Rober...
« Prev « First page 397 / 10678 Last » Next »